prikaz prve stranice dokumenta Kalkulator klasične logike sudova
  Preuzmi
PDF 155.04 KB
završni rad
Kalkulator klasične logike sudova
Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2023. urn:nbn:hr:211:233327
Martinović, Petar
Sveučilište u Zagrebu
Fakultet organizacije i informatike
Katedra za kvantitativne metode

Institucijski repozitorij: Repozitorij Fakulteta organizacije i informatike

Citirajte ovaj rad

Martinović, P. (2023). Kalkulator klasične logike sudova (Završni rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:233327

Martinović, Petar. "Kalkulator klasične logike sudova." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2023. https://urn.nsk.hr/urn:nbn:hr:211:233327

Martinović, Petar. "Kalkulator klasične logike sudova." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2023. https://urn.nsk.hr/urn:nbn:hr:211:233327

Martinović, P. (2023). 'Kalkulator klasične logike sudova', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 22.12.2024., https://urn.nsk.hr/urn:nbn:hr:211:233327

Martinović P. Kalkulator klasične logike sudova [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2023 [pristupljeno 22.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:233327

P. Martinović, "Kalkulator klasične logike sudova", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2023. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:233327

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:211:233327
Podaci o radu
NaslovKalkulator klasične logike sudova
Naslov (engleski)A Calculator for Classical Propositional Logic
AutorPetar Martinović
MentorMarcel Maretić (mentor)
MBZ: 253492
Član povjerenstvaDamir 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 obrane2023-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
Jezikhrvatski
URN:NBNurn:nbn:hr:211:233327
Studijski programNaziv: 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 resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Imenovanje 3.0 (CC BY 3.0)
Datum i vrijeme pohrane2023-09-25 04:01:05