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

Institutional repository: Faculty of Organization and Informatics - Digital Repository

Cite this document

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

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

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

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

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

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

Metadata
TitleRezolucija za propozicijsku logiku
Title (english)Resolution in propositional calculus
AuthorPetra Smrk
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Committee memberMarkus Schatten (član povjerenstva)
MBZ: 291806
GranterUniversity of Zagreb
Faculty of Organization and Informatics
(Department of Theoretical and Applied Foundations of Information Sciences)
Varaždin
Defense date and country2021-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
Languagecroatian
URN:NBNurn:nbn:hr:211:569952
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 conditionsOpen access
Terms of useLicence Attribution-NoDerivs 3.0 Unported (CC BY-ND 3.0) icon
Created on2021-09-27 04:00:46