Logika 1 (HS)
Osnove iskazne logike i logike prvoga reda (s istovjetnošću). Formalizirani jezik, semantika te metode istinitosnoga stabla i naravne dedukcije.
Teacher: Srećko Kovač
Osnove iskazne logike i logike prvoga reda (s istovjetnošću). Formalizirani jezik, semantika te metode istinitosnoga stabla i naravne dedukcije.