Semestar: 1
ECTS: 5
Status: Obavezan
Fond: 2+1+0
Duplikat: Ne
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
VLADIMIR IVANOVIĆ1x1

Pregled radova ZI

Pregled radova ZI

Kolokvijum 5.12.2023

Termin predavanja i vježbi

Prijava na DL anketa

Rezultati

Slajdovi sa predavanja

Materijali za ispit