izvor podataka: crosbi
!
Metode kreiranja formalnih dokaza (CROSBI ID 357514)
Ocjenski rad | sveučilišni preddiplomski završni rad
Belcar, Tomislav
Metode kreiranja formalnih dokaza / Lovrenčić, Sandra (mentor);
Varaždin, Fakultet organizacije i informatike, . 2009
Podaci o odgovornosti
Belcar, Tomislav
Lovrenčić, Sandra
hrvatski
Metode kreiranja formalnih dokaza
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.
formalne metode; formalni dokaz; logičko zaključivanje
nije evidentirano
engleski
Methods for creating formal proofs
nije evidentirano
formal methods; formal proof; logical reasoning
nije evidentirano
Podaci o izdanju
41
24.09.2009.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet organizacije i informatike
Varaždin
Povezanost rada
Povezane osobe
Povezane ustanove