prikaz prve stranice dokumenta Rezolucija i logičko programiranje
Access restricted to students and staff of home institution
master's thesis
Rezolucija i logičko programiranje
2015. urn:nbn:hr:211:332610
Kovačić, Franjo
University of Zagreb
Faculty of Organization and Informatics

Cite this document

Kovačić, F. (2015). Rezolucija i logičko programiranje (Master's thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:332610

Kovačić, Franjo. "Rezolucija i logičko programiranje." Master's thesis, University of Zagreb, Faculty of Organization and Informatics, 2015. https://urn.nsk.hr/urn:nbn:hr:211:332610

Kovačić, Franjo. "Rezolucija i logičko programiranje." Master's thesis, University of Zagreb, Faculty of Organization and Informatics, 2015. https://urn.nsk.hr/urn:nbn:hr:211:332610

Kovačić, F. (2015). 'Rezolucija i logičko programiranje', Master's thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 06 December 2024, https://urn.nsk.hr/urn:nbn:hr:211:332610

Kovačić F. Rezolucija i logičko programiranje [Master's thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2015 [cited 2024 December 06] Available at: https://urn.nsk.hr/urn:nbn:hr:211:332610

F. Kovačić, "Rezolucija i logičko programiranje", Master's thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2015. Available at: https://urn.nsk.hr/urn:nbn:hr:211:332610

Please login to the repository to save this object to your list.
Metadata
TitleRezolucija i logičko programiranje
Title (english)Resolution and logic programming
AuthorFranjo Kovačić
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Committee memberMirko Čubrilo
MBZ: 135963
GranterUniversity of Zagreb
Faculty of Organization and Informatics
Varaždin
Defense date and country2015-09-29, Croatia
Scientific / art field,
discipline and subdiscipline		SOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
Abstract
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.
Keywords
Languagecroatian
URN:NBNurn:nbn:hr:211:332610
Study programmeTitle: Database and Knowledge Base Studies
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra informatike (magistar/magistra informatike)
Type of resourceText
File originBorn digital
Access conditionsAccess restricted to students and staff of home institution
Terms of useLicence Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0) icon
Public noteZbog automatske konverzije u pdf moguće su manje nepodudarnosti između originalnog dokumenta i verzije pohranjene u repozitorij.
Created on2017-01-26 14:02:01