prikaz prve stranice dokumenta Metode kreiranja formalnih dokaza
Access restricted to students and staff of home institution
undergraduate thesis
Metode kreiranja formalnih dokaza
Varaždin: University of Zagreb, Faculty of Organization and Informatics, 2009. urn:nbn:hr:211:496261
Belcar, Tomislav
University of Zagreb
Faculty of Organization and Informatics

Cite this document

Belcar, T. (2009). Metode kreiranja formalnih dokaza (Undergraduate thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, Tomislav. "Metode kreiranja formalnih dokaza." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2009. https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, Tomislav. "Metode kreiranja formalnih dokaza." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2009. https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, T. (2009). 'Metode kreiranja formalnih dokaza', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 19 April 2024, https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar T. Metode kreiranja formalnih dokaza [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2009 [cited 2024 April 19] Available at: https://urn.nsk.hr/urn:nbn:hr:211:496261

T. Belcar, "Metode kreiranja formalnih dokaza", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2009. Available at: https://urn.nsk.hr/urn:nbn:hr:211:496261

Please login to the repository to save this object to your list.
Metadata
TitleMetode kreiranja formalnih dokaza
Title (english)Methods for creating formal proofs
AuthorTomislav Belcar
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Committee memberMirko Čubrilo
MBZ: 135963
GranterUniversity of Zagreb
Faculty of Organization and Informatics
Varaždin
Defense date and country2009-09-24, Croatia
Scientific / art field,
discipline and subdiscipline		SOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
Abstract
Završni rad temeljit ce se na formalnom sustavu. Bit će opisana definicija formalnog dokaza. Opis i usporedbe osnovnih pravila različitih metoda za izvođenje formalnih dokaza, kao što su (dedukcija, rezolucija i Davis-Putnam metoda). Na kraju će biti napravljen model vlastitog primjera formalnog dokaza korištenjem različitih metoda, te usporedba praktične primjene metoda.
Keywords
Languagecroatian
URN:NBNurn:nbn:hr:211:496261
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-27 08:53:39