prikaz prve stranice dokumenta Prirodna dedukcija
Access restricted to students and staff of home institution
undergraduate thesis
Prirodna dedukcija
Varaždin: University of Zagreb, Faculty of Organization and Informatics Varaždin, 2011. urn:nbn:hr:211:411108
Odeljan, Lucia
University of Zagreb
Faculty of Organization and Informatics
Department of Theoretical and Applied Foundations of Information Sciences

Cite this document

Odeljan, L. (2011). Prirodna dedukcija (Undergraduate thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:411108

Odeljan, Lucia. "Prirodna dedukcija." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2011. https://urn.nsk.hr/urn:nbn:hr:211:411108

Odeljan, Lucia. "Prirodna dedukcija." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2011. https://urn.nsk.hr/urn:nbn:hr:211:411108

Odeljan, L. (2011). 'Prirodna dedukcija', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 25 April 2024, https://urn.nsk.hr/urn:nbn:hr:211:411108

Odeljan L. Prirodna dedukcija [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2011 [cited 2024 April 25] Available at: https://urn.nsk.hr/urn:nbn:hr:211:411108

L. Odeljan, "Prirodna dedukcija", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2011. Available at: https://urn.nsk.hr/urn:nbn:hr:211:411108

Please login to the repository to save this object to your list.
Metadata
TitlePrirodna dedukcija
Title (english)Natural deduction
AuthorLucia Odeljan
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 country2011-10-06, Croatia
Scientific / art field,
discipline and subdiscipline		SOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
Abstract
Opis prirodne dedukcije kao metode izvođenja formalnih dokaza u propozicijskoj logici. Pravila izvoda i načini zapisa dokaza. Primjeri. Primjena i korisnost prirodne dedukcije.
Keywords
Languagecroatian
URN:NBNurn:nbn:hr:211:411108
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 09:14:15