UVOD U MATEMATIČKU LOGIKU
Semestar: 1
ECTS: 4
Status: Obavezan
Fond: 2+1+0
Duplikat: Ne
ECTS katalog
Ishodi učenja:
Ishodi učenja:
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).
Angažovano osoblje
| Ime | Predavanja | Vježbe | Laboratorija |
|---|---|---|---|
| MILENKO MOSUROVIĆ | 2x1 40B+1P | ||
| VLADIMIR IVANOVIĆ | 1x1 40B+1P |
