prikaz prve stranice dokumenta Metode kreiranja formalnih dokaza
Pristup korisnicima matične ustanove
završni rad
Metode kreiranja formalnih dokaza
Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2009. urn:nbn:hr:211:496261
Belcar, Tomislav
Sveučilište u Zagrebu
Fakultet organizacije i informatike

Institucijski repozitorij: Repozitorij Fakulteta organizacije i informatike

Citirajte ovaj rad

Belcar, T. (2009). Metode kreiranja formalnih dokaza (Završni rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, Tomislav. "Metode kreiranja formalnih dokaza." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2009. https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, Tomislav. "Metode kreiranja formalnih dokaza." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2009. https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, T. (2009). 'Metode kreiranja formalnih dokaza', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 26.11.2024., https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar T. Metode kreiranja formalnih dokaza [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2009 [pristupljeno 26.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:496261

T. Belcar, "Metode kreiranja formalnih dokaza", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2009. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:496261

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:211:496261
Podaci o radu
NaslovMetode kreiranja formalnih dokaza
Naslov (engleski)Methods for creating formal proofs
AutorTomislav Belcar
MentorSandra Lovrenčić (mentor)
MBZ: 229934
Član povjerenstvaMirko Čubrilo
MBZ: 135963
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet organizacije i informatike
Varaždin
Datum i država obrane2009-09-24, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		DRUŠTVENE ZNANOSTI
Informacijske i komunikacijske znanosti
Organizacija i informatika
Sažetak
Završni rad temeljit ce se na formalnom sustavu. Bit će opisana definicija formalnog dokaza. Opis i usporedbe osnovnih pravila različitih metoda za izvođenje formalnih dokaza, kao što su (dedukcija, rezolucija i Davis-Putnam metoda). Na kraju će biti napravljen model vlastitog primjera formalnog dokaza korištenjem različitih metoda, te usporedba praktične primjene metoda.
Ključne riječi
Jezikhrvatski
URN:NBNurn:nbn:hr:211:496261
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-Nekomercijalno-Bez prerada 3.0 (CC BY-NC-ND 3.0)
Datum i vrijeme pohrane2017-01-27 08:53:39