Kalkulator klasične logike sudova

završni rad

• Naslov (engleski): A Calculator for Classical Propositional Logic
• Autor: Petar Martinović
• Mentor: Marcel Maretić (mentor); MBZ: 253492
• Član povjerenstva: Damir Horvat (član povjerenstva); MBZ: 264435
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet organizacije i informatike; (Katedra za kvantitativne metode); Varaždin
• Datum i država obrane: 2023-09-22, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: DRUŠTVENE ZNANOSTI; Informacijske i komunikacijske znanosti; Organizacija i informatika

Sažetak

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.

• Ključne riječi: python logika kalkulator
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:211:233327
• Studijski program: Naziv: Informacijski sustavi; Vrsta studija: sveučilišni; Stupanj studija: preddiplomski; Akademski / stručni naziv: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike (univ.bacc.inf.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Otvoreni pristup
• Datum i vrijeme pohrane: 2023-09-25 04:01:05