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

Institutional repository: Faculty of Organization and Informatics - Digital Repository

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 03 November 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 November 03] 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

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