prikaz prve stranice dokumenta Modeliranje i rješavanje problema logikom prvog reda
Access restricted to students and staff of home institution
undergraduate thesis
Modeliranje i rješavanje problema logikom prvog reda
Varaždin: University of Zagreb, Faculty of Organization and Informatics Varaždin, 2013. urn:nbn:hr:211:665357
Varga, Matija
University of Zagreb
Faculty of Organization and Informatics
Department of Theoretical and Applied Foundations of Information Sciences

Cite this document

Varga, M. (2013). Modeliranje i rješavanje problema logikom prvog reda (Undergraduate thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:665357

Varga, Matija. "Modeliranje i rješavanje problema logikom prvog reda." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2013. https://urn.nsk.hr/urn:nbn:hr:211:665357

Varga, Matija. "Modeliranje i rješavanje problema logikom prvog reda." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2013. https://urn.nsk.hr/urn:nbn:hr:211:665357

Varga, M. (2013). 'Modeliranje i rješavanje problema logikom prvog reda', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 13 May 2024, https://urn.nsk.hr/urn:nbn:hr:211:665357

Varga M. Modeliranje i rješavanje problema logikom prvog reda [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2013 [cited 2024 May 13] Available at: https://urn.nsk.hr/urn:nbn:hr:211:665357

M. Varga, "Modeliranje i rješavanje problema logikom prvog reda", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2013. Available at: https://urn.nsk.hr/urn:nbn:hr:211:665357

Please login to the repository to save this object to your list.
Metadata
TitleModeliranje i rješavanje problema logikom prvog reda
Title (english)Modeling and solving problems with first-order logic
AuthorMatija Varga
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Committee memberMirko Čubrilo
MBZ: 135963
GranterUniversity of Zagreb
Faculty of Organization and Informatics
(Department of Theoretical and Applied Foundations of Information Sciences)
Varaždin
Defense date and country2013-09-30, Croatia
Scientific / art field,
discipline and subdiscipline		SOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
Abstract
modeliranje i rješavanje problema logikom prvog reda. Logika prvog reda je formalni logični sustav koji se koristi u matematici, filozofiji, lingvistici i računalnim znanostima. Može se koristiti za izradu računalnih programa i koristi se za istraživanje umjetne inteligencije
Keywords
Languagecroatian
URN:NBNurn:nbn:hr:211:665357
Study programmeTitle: Information 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 13:47:36