prikaz prve stranice dokumenta Rezolucija za logiku prvog reda (slobodna tema)
Access restricted to students and staff of home institution
undergraduate thesis
Rezolucija za logiku prvog reda (slobodna tema)
Varaždin: University of Zagreb, Faculty of Organization and Informatics, 2010. urn:nbn:hr:211:781324
Cikač, Sebastijan
University of Zagreb
Faculty of Organization and Informatics

Cite this document

Cikač, S. (2010). Rezolucija za logiku prvog reda (slobodna tema) (Undergraduate thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:781324

Cikač, Sebastijan. "Rezolucija za logiku prvog reda (slobodna tema)." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2010. https://urn.nsk.hr/urn:nbn:hr:211:781324

Cikač, Sebastijan. "Rezolucija za logiku prvog reda (slobodna tema)." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2010. https://urn.nsk.hr/urn:nbn:hr:211:781324

Cikač, S. (2010). 'Rezolucija za logiku prvog reda (slobodna tema)', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 20 April 2024, https://urn.nsk.hr/urn:nbn:hr:211:781324

Cikač S. Rezolucija za logiku prvog reda (slobodna tema) [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2010 [cited 2024 April 20] Available at: https://urn.nsk.hr/urn:nbn:hr:211:781324

S. Cikač, "Rezolucija za logiku prvog reda (slobodna tema)", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2010. Available at: https://urn.nsk.hr/urn:nbn:hr:211:781324

Please login to the repository to save this object to your list.
Metadata
TitleRezolucija za logiku prvog reda (slobodna tema)
Title (english)Resolution for first order logic
AuthorSebastijan Cikač
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Committee memberMirko Čubrilo
MBZ: 135963
GranterUniversity of Zagreb
Faculty of Organization and Informatics
Varaždin
Defense date and country2010-09-28, Croatia
Scientific / art field,
discipline and subdiscipline		SOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
Abstract
Rezolucija za logiku prvog reda prošireni je način zapisa propozicijske logike. Upotreba kvantifikatora omogućuje opis formula na način bliži stvarnom svijetu. Usporedba različitih rezolucija na principu istog primjera. SLD rezolucija za Prolog.
Languagecroatian
URN:NBNurn:nbn:hr:211:781324
Study programmeTitle: Business Systems
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike (sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) 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
RepositoryFaculty of Organization and Informatics - Digital Repository
Created on2017-01-26 09:59:21