Pregled bibliografske jedinice broj: 544014
Prirodna dedukcija
Prirodna dedukcija, 2011., diplomski rad, preddiplomski, Fakultet organizacije i informatike, Varaždin
CROSBI ID: 544014 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Prirodna dedukcija
(Natural deduction)
Autori
Odeljan, Lucija
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, preddiplomski
Fakultet
Fakultet organizacije i informatike
Mjesto
Varaždin
Datum
06.10
Godina
2011
Stranica
35
Mentor
Lovrenčić, Sandra
Ključne riječi
formalni dokaz; logika; prirodna dedukcija
(formal proof; logic; natural deduction)
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Informacijske i komunikacijske znanosti
POVEZANOST RADA
Projekti:
016-0161741-1739 - Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba (Čubrilo, Mirko, MZOS ) ( CroRIS)
016-0361935-1728 - Semantičko modeliranje višeagentnih sustava (Maleković, Mirko, MZOS ) ( CroRIS)
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Sandra Lovrenčić
(mentor)
