izvor podataka: crosbi
!
Modeliranje i rješavanje problema logikom prvog reda (CROSBI ID 384569)
Ocjenski rad | sveučilišni preddiplomski završni rad
Varga, Matija
Modeliranje i rješavanje problema logikom prvog reda / Lovrenčić, Sandra (mentor);
Varaždin, Fakultet organizacije i informatike, . 2013
Podaci o odgovornosti
Varga, Matija
Lovrenčić, Sandra
hrvatski
Modeliranje i rješavanje problema logikom prvog reda
Sintaksa i semantika logike prvog reda. Pojam logičke posljedice. Logika prvog reda kao metoda za modeliranje i rješavanje različitih problema. Prikaz poznatih primjera rješenja problema. Modeliranje i implementacija rješenja vlastitog primjera problema.
formalne metode; logika prvog reda; modeliranje problema
nije evidentirano
engleski
Modeling and solving problems with first-order logic
nije evidentirano
formal methods; first order logic; problem modelling
nije evidentirano
Podaci o izdanju
46
30.09.2013.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet organizacije i informatike
Varaždin
Povezanost rada
Povezane osobe
Povezane ustanove