Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Prirodna dedukcija (CROSBI ID 368107)

Ocjenski rad | sveučilišni preddiplomski završni rad

Odeljan, Lucija Prirodna dedukcija / Lovrenčić, Sandra (mentor); Varaždin, Fakultet organizacije i informatike, . 2011

Podaci o odgovornosti

Odeljan, Lucija

Lovrenčić, Sandra

hrvatski

Prirodna dedukcija

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.

formalni dokaz; logika; prirodna dedukcija

nije evidentirano

engleski

Natural deduction

nije evidentirano

formal proof; logic; natural deduction

nije evidentirano

Podaci o izdanju

35

06.10.2011.

obranjeno

Podaci o ustanovi koja je dodijelila akademski stupanj

Fakultet organizacije i informatike

Varaždin

Povezanost rada

Informacijske i komunikacijske znanosti