prikaz prve stranice dokumenta Rezolucija i logičko programiranje
Pristup korisnicima matične ustanove
diplomski rad
Rezolucija i logičko programiranje
2015. urn:nbn:hr:211:332610
Kovačić, Franjo
Sveučilište u Zagrebu
Fakultet organizacije i informatike

Citirajte ovaj rad

Kovačić, F. (2015). Rezolucija i logičko programiranje (Diplomski rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:332610

Kovačić, Franjo. "Rezolucija i logičko programiranje." Diplomski rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2015. https://urn.nsk.hr/urn:nbn:hr:211:332610

Kovačić, Franjo. "Rezolucija i logičko programiranje." Diplomski rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2015. https://urn.nsk.hr/urn:nbn:hr:211:332610

Kovačić, F. (2015). 'Rezolucija i logičko programiranje', Diplomski rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 16.04.2024., https://urn.nsk.hr/urn:nbn:hr:211:332610

Kovačić F. Rezolucija i logičko programiranje [Diplomski rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2015 [pristupljeno 16.04.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:332610

F. Kovačić, "Rezolucija i logičko programiranje", Diplomski rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2015. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:332610

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:211:332610
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovRezolucija i logičko programiranje
Naslov (engleski)Resolution and logic programming
AutorFranjo Kovačić
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Član povjerenstvaMirko Čubrilo
MBZ: 135963
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet organizacije i informatike
Varaždin
Datum i država obrane2015-09-29, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		DRUŠTVENE ZNANOSTI
Informacijske i komunikacijske znanosti
Organizacija i informatika
Sažetak
U radu je riječ o logičkom programiranju i njegovim teorijskim postavkama te o rezoluciji kao metodi 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.
Ključne riječi
Jezikhrvatski
URN:NBNurn:nbn:hr:211:332610
Studijski programNaziv: Baze podataka i baze znanja
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra informatike (mag.inf.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaPristup korisnicima matične ustanove
Uvjeti korištenjaIkona licence Imenovanje-Nekomercijalno-Bez prerada 3.0 (CC BY-NC-ND 3.0)
Javna napomenaZbog automatske konverzije u pdf moguće su manje nepodudarnosti između originalnog dokumenta i verzije pohranjene u repozitorij.
Datum i vrijeme pohrane2017-01-26 14:02:01