izvor podataka: crosbi
!
Uvod u logiku (CROSBI ID 770415)
Druge vrste radova | rukopis
Kovač, Srećko
Uvod u logiku // https://moodle.carnet.hr/course/view.php?id=1108. 2012.
Podaci o odgovornosti
Kovač, Srećko
hrvatski
Uvod u logiku
Izlaže se klasična iskazna i priročna logika s istovjetnošću: jezik, semantika, istinitosno stablo, dedukcija, pouzdanost i potpunost, odlučljivost, poučci o nepotpunosti, osnove logike višega reda.
logika; iskaz; formula; model; dedukcija; pouzdnost; potpunost; nepotpunost
Prerada skripta "Uvod u elementarnu logiku".
engleski
Introduction to Logic
nije evidentirano
logic; proposition; formula; model; deduktion; soundness; completeness; incompleteness
nije evidentirano
Podaci o izdanju
https://moodle.carnet.hr/course/view.php?id=1108
2012.
nije evidentirano
objavljeno
Povezanost rada
Povezane osobe
Povezane ustanove
Povezani projekti