Pregled bibliografske jedinice broj: 450827
Metode kreiranja formalnih dokaza
Metode kreiranja formalnih dokaza, 2009., diplomski rad, preddiplomski, Fakultet organizacije i informatike, Varaždin
CROSBI ID: 450827 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Metode kreiranja formalnih dokaza
(Methods for creating formal proofs)
Autori
Belcar, Tomislav
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, preddiplomski
Fakultet
Fakultet organizacije i informatike
Mjesto
Varaždin
Datum
24.09
Godina
2009
Stranica
41
Mentor
Lovrenčić, Sandra
Ključne riječi
formalne metode; formalni dokaz; logičko zaključivanje
(formal methods; formal proof; logical reasoning)
Sažetak
Definicija formalnog sustava. Definicija formalnog dokaza. Opis i usporedbe osnovnih pravila različitih metoda za izvođenje formalnih dokaza (dedukcija, rezolucija, Davis-Putnam metoda). Modeliranje vlastitog primjera formalnog dokaza korištenjem različitih metoda. Usporedba praktične primjene metoda.
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)
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Sandra Lovrenčić
(mentor)
