izvor podataka: crosbi
✓
Rezolucija i logičko programiranje (CROSBI ID 420882)
Ocjenski rad | diplomski rad
Kovačić, Franjo
Rezolucija i logičko programiranje / Lovrenčić, Sandra (mentor);
Varaždin, Fakultet organizacije i informatike, . 2015
Podaci o odgovornosti
Kovačić, Franjo
Lovrenčić, Sandra
hrvatski
Rezolucija i logičko programiranje
U radu je obrađeno logičko programiranje i njegove teorijske postavkama te rezolucija kao metoda izvođenja formalnih dokaza uz poseban naglasak na SLD rezoluciju i njeno proširenje SLDNF. Upravo se SLDNF rezolucija koristi u programskom jeziku Prolog, što je potkrijepljeno primjerima izrađenim u tom jeziku uz detaljnu analizu procesa zaključivanja.
Prolog ; rezolucija ; logičko programiranje: SLD rezolucija
nije evidentirano
engleski
Resolution and logic programming
nije evidentirano
Prolog ; resolution ; logic programming ; SLD resolution
nije evidentirano
Podaci o izdanju
63
29.09.2015.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet organizacije i informatike
Varaždin
Povezanost rada
Povezane osobe
Povezane ustanove