UVOD U MATEMATIČKU LOGIKU


Semestar: 1
ECTS: 4
Status: Obavezan
Fond: 2+1+0
Duplikat: Da
ECTS katalog

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
8B+2P
VLADIMIR IVANOVIĆ1x0
8B+2P

Završni ispit

Termin popravnog kolokvijuma

Rezultati prvog kolokvijuma

Kolokvijum 3.12.

Pregled radova ZI

Pregled radova ZI

materijali