prikaz prve stranice dokumenta Kalkulator klasične logike sudova
  Download
PDF 155.04 KB
undergraduate thesis
Kalkulator klasične logike sudova
2023. urn:nbn:hr:211:233327
Martinović, Petar
University of Zagreb
Faculty of Organization and Informatics
Department of Quantitative Methods

Cite this document

Martinović, P. (2023). Kalkulator klasične logike sudova (Undergraduate thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:233327

Martinović, Petar. "Kalkulator klasične logike sudova." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2023. https://urn.nsk.hr/urn:nbn:hr:211:233327

Martinović, Petar. "Kalkulator klasične logike sudova." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2023. https://urn.nsk.hr/urn:nbn:hr:211:233327

Martinović, P. (2023). 'Kalkulator klasične logike sudova', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 16 June 2024, https://urn.nsk.hr/urn:nbn:hr:211:233327

Martinović P. Kalkulator klasične logike sudova [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2023 [cited 2024 June 16] Available at: https://urn.nsk.hr/urn:nbn:hr:211:233327

P. Martinović, "Kalkulator klasične logike sudova", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2023. Available at: https://urn.nsk.hr/urn:nbn:hr:211:233327

Please login to the repository to save this object to your list.
Metadata
TitleKalkulator klasične logike sudova
Title (english)A Calculator for Classical Propositional Logic
AuthorPetar Martinović
MentorMarcel Maretić (mentor)
MBZ: 253492
Committee memberDamir Horvat (član povjerenstva)
MBZ: 264435
GranterUniversity of Zagreb
Faculty of Organization and Informatics
(Department of Quantitative Methods)
Varaždin
Defense date and country2023-09-22, Croatia
Scientific / art field,
discipline and subdiscipline		SOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
Abstract
U ovom radu bit će izrađen kalkulator za ovaj formalni sistem logike. Klasična logika sudova je grana formalne logike koja se bavi proučavanjem iskaza. U klasičnoj logici sudova, iskazi su složeni od logičkih veznika poput negacije, konjunkcije, disjunkcije, implikacije i ekvivalencije. U radu će biti obrađeni osnovni koncepti klasične logike sudova, uključujući konjuktivnu i disjunktivnu normalnu formu, kao i korisnost logike sudova u praksi. U praktičnom dijelu rada, bit će izrađen kalkulator za klasičnu logiku sudova koristeći parsere u Python programskom jeziku. Izrada kalkulatora za klasičnu logiku sudova omogućuje brzo i precizno računanje iskaza i ispitivanje njihove istinitosti. U konačnici, ovaj rad ima za cilj pružiti razumijevanje klasične logike sudova i njezine primjene kroz izradu kalkulatora koji može pomoći u različitim područjima istraživanja i primjene.
Keywords
Languagecroatian
URN:NBNurn:nbn:hr:211:233327
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 3.0 Unported (CC BY 3.0) icon
Created on2023-09-25 04:01:05