Pregled bibliografske jedinice broj: 576921
Uvod u logiku
Uvod u logiku, 2012. (rukopis).
CROSBI ID: 576921 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Uvod u logiku
(Introduction to Logic)
Autori
Kovač, Srećko
Izvornik
Https://moodle.carnet.hr/course/view.php?id=1108
Vrsta, podvrsta
Ostale vrste radova, rukopis
Godina
2012
Ključne riječi
logika; iskaz; formula; model; dedukcija; pouzdnost; potpunost; nepotpunost
(logic; proposition; formula; model; deduktion; soundness; completeness; incompleteness)
Sažetak
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
Napomena
Prerada skripta "Uvod u elementarnu logiku".
POVEZANOST RADA
Projekti:
191-1911111-2730 - Logičke strukture i intencionalnost (Kovač, Srećko, MZOS ) ( CroRIS)
Ustanove:
Institut za filozofiju, Zagreb
Profili:
Srećko Kovač
(autor)
