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
Povezane osobe
Povezane ustanove