prikaz prve stranice dokumenta Rezolucija za propozicijsku logiku
  Preuzmi
PDF 595.38 KB
završni rad
Rezolucija za propozicijsku logiku
Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2021. urn:nbn:hr:211:569952
Smrk, Petra
Sveučilište u Zagrebu
Fakultet organizacije i informatike
Katedra za teorijske i primijenjene osnove informacijskih znanosti

Institucijski repozitorij: Repozitorij Fakulteta organizacije i informatike

Citirajte ovaj rad

Smrk, P. (2021). Rezolucija za propozicijsku logiku (Završni rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:569952

Smrk, Petra. "Rezolucija za propozicijsku logiku." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2021. https://urn.nsk.hr/urn:nbn:hr:211:569952

Smrk, Petra. "Rezolucija za propozicijsku logiku." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2021. https://urn.nsk.hr/urn:nbn:hr:211:569952

Smrk, P. (2021). 'Rezolucija za propozicijsku logiku', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 09.11.2024., https://urn.nsk.hr/urn:nbn:hr:211:569952

Smrk P. Rezolucija za propozicijsku logiku [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2021 [pristupljeno 09.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:569952

P. Smrk, "Rezolucija za propozicijsku logiku", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2021. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:569952

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:211:569952
Podaci o radu
NaslovRezolucija za propozicijsku logiku
Naslov (engleski)Resolution in propositional calculus
AutorPetra Smrk
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Član povjerenstvaMarkus Schatten (član povjerenstva)
MBZ: 291806
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet organizacije i informatike
(Katedra za teorijske i primijenjene osnove informacijskih znanosti)
Varaždin
Datum i država obrane2021-09-23, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		DRUŠTVENE ZNANOSTI
Informacijske i komunikacijske znanosti
Organizacija i informatika
Sažetak
Tema ovog završnog rada je rezolucija za propozicijsku logiku. Kako bi se lakše objasnila rezolucija, na početku je pojašnjena propozicijska logika, objašnjene su njena sintaksa i semantika. Opisana je metoda rezolucije, kao i pojam klauzula koji se koristi u primjerima, dokazima i objašnjenjima. Metoda kojom se dolazi do logičkog izvoda pomoću rezolucije naziva se rezolucijsko pravilo koje je potrebno slijediti kako bi rješavanje rezolucijom bilo valjano. Valjanost formule opisuje njeno stanje odnosno je li formula istinita ili lažna.
Ključne riječi
Jezikhrvatski
URN:NBNurn:nbn:hr:211:569952
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-Bez prerada 3.0 (CC BY-ND 3.0)
Datum i vrijeme pohrane2021-09-27 04:00:46