Browsing by Author "Brunetto, Robert"
Now showing items 1-2 of 2
-
External sources of axioms in lean theorem proving
Defence status: DEFENDEDBrunetto, Robert (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 3. 9. 2012Automatické dokazovače vět lze upravit tak, aby mohly používat externí zdroje axiomů. To bylo nedávno zkoumáno v kombinaci se saturačním dokazovačem SPASS-XDB, který během saturační smyčky odesílá dotazy o externí axiomy ... -
Interpret a ladící prostředí pro Prolog
Defence status: DEFENDEDBrunetto, Robert (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 16. 9. 2010Obsahem této bakalářské práce je implementace prologu s debuggerem, který rozšiřuje možnosti klasického textového ladění, přidává možnost přehledného procházení call stacku, nahlížení do cílů, které prošli portem exit a ...