prikaz prve stranice dokumenta Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike
Access restricted to students and staff of home institution
undergraduate thesis
Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike
2018. urn:nbn:hr:211:844480
Dojder, Mario
University of Zagreb
Faculty of Organization and Informatics
Department of Quantitative Methods

Cite this document

Dojder, M. (2018). Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike (Undergraduate thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:844480

Dojder, Mario. "Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2018. https://urn.nsk.hr/urn:nbn:hr:211:844480

Dojder, Mario. "Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2018. https://urn.nsk.hr/urn:nbn:hr:211:844480

Dojder, M. (2018). 'Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 25 April 2024, https://urn.nsk.hr/urn:nbn:hr:211:844480

Dojder M. Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2018 [cited 2024 April 25] Available at: https://urn.nsk.hr/urn:nbn:hr:211:844480

M. Dojder, "Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2018. Available at: https://urn.nsk.hr/urn:nbn:hr:211:844480

Please login to the repository to save this object to your list.
Metadata
TitleAlgoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike
Title (english)Algorithm for computing truth tables and minimization of propositional logic formulas
AuthorMario Dojder
MentorBojan Žugec (mentor)
MBZ: 304171
Committee memberMarcel Maretić
MBZ: 253492
GranterUniversity of Zagreb
Faculty of Organization and Informatics
(Department of Quantitative Methods)
Varaždin
Defense date and country2018-07-20, Croatia
Scientific / art field,
discipline and subdiscipline		SOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
Abstract
Rad sadržava opis kako izgrađujemo propozicijsku logiku. Te implementaciju algoritma u programskom jeziku Python koji kao ulaz prima formulu algebre sudova (čiji su argumenti 3 suda) te kao izlaz daje semantičku tablicu formule, normalne forme te minimizaciju formule.
Keywords
Languagecroatian
URN:NBNurn:nbn:hr:211:844480
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 3.0 Unported (CC BY 3.0) icon
Created on2019-03-04 11:30:17