Hlavní stránka > Výsledky hledání: Jakubův, Jan
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Automated Theorem Proving using the Tableaux method
 Jakubův, Jan ; Štěpánek, Petr (vedoucí práce) ; Hric, Jan (oponent)
V této práci studujeme tableaux kalkul a podobné metody. Nejprve zavádíme obvyklé pojmy a poté představujeme tableaux kalkul pro logiku prvního řádu. Dále představujeme automatický dokazovač vět autorů Beckert a Possega [5]. Rozšiřujeme tento dokozovač o metodu, která má urychlit jeho práci. Výsledný program porovnáváme s jeho původní verzí. Dále představujeme deduktivní systém T autorů Degtyarev a Voronkov [3]. Hlavním přínosem této práce je implementace tohoto systému. Dále také vyvíjíme knihovnu pro práci s objekty logiky prvního řádu v programovacím jazyce Python.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English