prikaz prve stranice dokumenta Prirodna dedukcija
Pristup korisnicima matične ustanove
završni rad
Prirodna dedukcija
2011. urn:nbn:hr:211:411108
Odeljan, Lucia
Sveučilište u Zagrebu
Fakultet organizacije i informatike
Katedra za teorijske i primijenjene osnove informacijskih znanosti

Citirajte ovaj rad

Odeljan, L. (2011). Prirodna dedukcija (Završni rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:411108

Odeljan, Lucia. "Prirodna dedukcija." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2011. https://urn.nsk.hr/urn:nbn:hr:211:411108

Odeljan, Lucia. "Prirodna dedukcija." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2011. https://urn.nsk.hr/urn:nbn:hr:211:411108

Odeljan, L. (2011). 'Prirodna dedukcija', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 12.04.2024., https://urn.nsk.hr/urn:nbn:hr:211:411108

Odeljan L. Prirodna dedukcija [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2011 [pristupljeno 12.04.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:411108

L. Odeljan, "Prirodna dedukcija", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2011. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:411108

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:211:411108
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovPrirodna dedukcija
Naslov (engleski)Natural deduction
AutorLucia Odeljan
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
(Katedra za teorijske i primijenjene osnove informacijskih znanosti)
Varaždin
Datum i država obrane2011-10-06, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		DRUŠTVENE ZNANOSTI
Informacijske i komunikacijske znanosti
Organizacija i informatika
Sažetak
Opis prirodne dedukcije kao metode izvođenja formalnih dokaza u propozicijskoj logici. Pravila izvoda i načini zapisa dokaza. Primjeri. Primjena i korisnost prirodne dedukcije.
Ključne riječi
Jezikhrvatski
URN:NBNurn:nbn:hr:211:411108
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-26 09:14:15