Pregled bibliografske jedinice broj: 544011
Rezolucija za logiku prvog reda
Rezolucija za logiku prvog reda, 2010., diplomski rad, preddiplomski, Fakultet organizacije i informatike, Varaždin
CROSBI ID: 544011 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Rezolucija za logiku prvog reda
(Resolution for first-order logic)
Autori
Cikač, Sebastijan
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, preddiplomski
Fakultet
Fakultet organizacije i informatike
Mjesto
Varaždin
Datum
28.09
Godina
2010
Stranica
44
Mentor
Lovrenčić, Sandra
Ključne riječi
formalne metode; logika prvog reda; formalni dokaz; rezolucija
(formal methods; first-order logic; formal proof; resolution)
Sažetak
Definicija i opis rezolucije kao metode izvođenja formalnih dokaza u logici prvog reda. Usporedba različitih tipova rezolucije. Primjeri primjene i korisnosti rezolucije.
Izvorni jezik
Hrvatski
Znanstvena područja
Informacijske i komunikacijske znanosti
POVEZANOST RADA
Projekti:
016-0161741-1739 - Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba (Čubrilo, Mirko, MZOS ) ( CroRIS)
016-0361935-1728 - Semantičko modeliranje višeagentnih sustava (Maleković, Mirko, MZOS ) ( CroRIS)
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Sandra Lovrenčić
(mentor)
