Rezolucija za propozicijsku logiku

Smrk, Petra

prikaz prve stranice dokumenta Rezolucija za propozicijsku logiku

Download
PDF 595.38 KB

undergraduate thesis

Rezolucija za propozicijsku logiku

Varaždin: University of Zagreb, Faculty of Organization and Informatics, 2021. urn:nbn:hr:211:569952

Smrk, Petra

University of Zagreb
Faculty of Organization and Informatics
Department of Theoretical and Applied Foundations of Information Sciences

Cite this document

APA 6th Edition

Smrk, P. (2021). Rezolucija za propozicijsku logiku (Undergraduate thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:569952

MLA 8th Edition

Smrk, Petra. "Rezolucija za propozicijsku logiku." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2021. https://urn.nsk.hr/urn:nbn:hr:211:569952

Chicago 17th Edition

Smrk, Petra. "Rezolucija za propozicijsku logiku." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2021. https://urn.nsk.hr/urn:nbn:hr:211:569952

Harvard

Smrk, P. (2021). 'Rezolucija za propozicijsku logiku', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 19 April 2024, https://urn.nsk.hr/urn:nbn:hr:211:569952

Vancouver

Smrk P. Rezolucija za propozicijsku logiku [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2021 [cited 2024 April 19] Available at: https://urn.nsk.hr/urn:nbn:hr:211:569952

IEEE

P. Smrk, "Rezolucija za propozicijsku logiku", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2021. Available at: https://urn.nsk.hr/urn:nbn:hr:211:569952

Cite this item: https://urn.nsk.hr/urn:nbn:hr:211:569952

Please login to the repository to save this object to your list.

Metadata

Title	Rezolucija za propozicijsku logiku
Title (english)	Resolution in propositional calculus
Author	Petra Smrk
Mentor	Sandra Lovrenčić (mentor) MBZ: 229934
Committee member	Markus Schatten (član povjerenstva) MBZ: 291806
Granter	University of Zagreb Faculty of Organization and Informatics (Department of Theoretical and Applied Foundations of Information Sciences) Varaždin
Defense date and country	2021-09-23, Croatia
Scientific / art field, discipline and subdiscipline	SOCIAL SCIENCES Information and Communication Sciences Organization and Informatics
Abstract	Tema ovog završnog rada je rezolucija za propozicijsku logiku. Kako bi se lakše objasnila rezolucija, na početku je pojašnjena propozicijska logika, objašnjene su njena sintaksa i semantika. Opisana je metoda rezolucije, kao i pojam klauzula koji se koristi u primjerima, dokazima i objašnjenjima. Metoda kojom se dolazi do logičkog izvoda pomoću rezolucije naziva se rezolucijsko pravilo koje je potrebno slijediti kako bi rješavanje rezolucijom bilo valjano. Valjanost formule opisuje njeno stanje odnosno je li formula istinita ili lažna.
Keywords
Language	croatian
URN:NBN	urn:nbn:hr:211:569952
Study programme	Title: 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 resource	Text
File origin	Born digital
Access conditions	Open access
Terms of use
Repository	Faculty of Organization and Informatics - Digital Repository
Created on	2021-09-27 04:00:46

Nacionalna i sveučilišna knjižnica u Zagrebu

Dabar