Razumevanje značaja jezika u matematici i nepohodnosti njene stroge formalizacije, razlikovanje semantike i sintakse, razlikovanje dokazivosti i istinitosti matematičkih tvrdjenja i znanje osnovnih svojstava logičkih sistema (neprotivrečnost, potpunost i odlučivost).
Ime | Predavanja | Vježbe | Laboratorija |
---|---|---|---|
MILENKO MOSUROVIĆ | 2x1 | ||
VLADIMIR IVANOVIĆ | 1x1 |