Hledat
Zobrazují se záznamy 1-1 z 1
Automated Theorem Proving using the Tableaux method
Automatické dokazování vět s použitím tableaux metod
Diplomová práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Petr
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
In this paper we are studying the Tableaux Calculus a related methods. We adopt basic notions and present the tableaux calculus for the First-Order Logic. Then we present the Beckert and Possega [5] prover. We extend this ...
In this paper we are studying the Tableaux Calculus a related methods. We adopt basic notions and present the tableaux calculus for the First-Order Logic. Then we present the Beckert and Possega [5] prover. We extend this ...