izvor podataka: crosbi
!
Rezolucija za logiku prvog reda (CROSBI ID 368105)
Ocjenski rad | sveučilišni preddiplomski završni rad
Cikač, Sebastijan
Rezolucija za logiku prvog reda / Lovrenčić, Sandra (mentor);
Varaždin, Fakultet organizacije i informatike, . 2010
Podaci o odgovornosti
Cikač, Sebastijan
Lovrenčić, Sandra
hrvatski
Rezolucija za logiku prvog reda
Definicija i opis rezolucije kao metode izvođenja formalnih dokaza u logici prvog reda. Usporedba različitih tipova rezolucije. Primjeri primjene i korisnosti rezolucije.
formalne metode; logika prvog reda; formalni dokaz; rezolucija
nije evidentirano
engleski
Resolution for first-order logic
nije evidentirano
formal methods; first-order logic; formal proof; resolution
nije evidentirano
Podaci o izdanju
44
28.09.2010.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet organizacije i informatike
Varaždin
Povezanost rada
Povezane osobe
Povezane ustanove