prikaz prve stranice dokumenta Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike
Pristup korisnicima matične ustanove
završni rad
Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike
2018. urn:nbn:hr:211:844480
Dojder, Mario
Sveučilište u Zagrebu
Fakultet organizacije i informatike
Katedra za kvantitativne metode

Citirajte ovaj rad

Dojder, M. (2018). Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike (Završni rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:844480

Dojder, Mario. "Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2018. https://urn.nsk.hr/urn:nbn:hr:211:844480

Dojder, Mario. "Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2018. https://urn.nsk.hr/urn:nbn:hr:211:844480

Dojder, M. (2018). 'Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 14.04.2024., https://urn.nsk.hr/urn:nbn:hr:211:844480

Dojder M. Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2018 [pristupljeno 14.04.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:844480

M. Dojder, "Algoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2018. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:844480

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:211:844480
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovAlgoritam za izradu semantiških tablica i minimizaciju formula propozicijske logike
Naslov (engleski)Algorithm for computing truth tables and minimization of propositional logic formulas
AutorMario Dojder
MentorBojan Žugec (mentor)
MBZ: 304171
Član povjerenstvaMarcel Maretić
MBZ: 253492
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 obrane2018-07-20, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		DRUŠTVENE ZNANOSTI
Informacijske i komunikacijske znanosti
Organizacija i informatika
Sažetak
Rad sadržava opis kako izgrađujemo propozicijsku logiku. Te implementaciju algoritma u programskom jeziku Python koji kao ulaz prima formulu algebre sudova (čiji su argumenti 3 suda) te kao izlaz daje semantičku tablicu formule, normalne forme te minimizaciju formule.
Ključne riječi
Jezikhrvatski
URN:NBNurn:nbn:hr:211:844480
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 pristupaPristup korisnicima matične ustanove
Uvjeti korištenjaIkona licence Imenovanje 3.0 (CC BY 3.0)
Datum i vrijeme pohrane2019-03-04 11:30:17