Accesibility Adjustments

Choose the right accessibility profile for you
OFF ON
Highlight Links Highlights all the links on the site!
OFF ON
Pause Animations Animations will be paused on the site!
OFF ON
Dyslexia Font Dyslexia Font will be applied on the site!
OFF ON
Hide Images All images will be hidden on the site!
Choose the right accessibility profile for you
Adjust Font Sizing
Default
High Saturation
High Contrast
Light Contrast
Dark Contrast
Adjust Letter Spacing
Default
Adjust Line Height
Default
Speak Mode
Align Center
Align Left
Align Right

UVOD U MATEMATIČKU LOGIKU


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

Pregled radova PZI

Rezultati popravnog kolokvijuma

Završni ispit

Termin popravnog kolokvijuma

Rezultati prvog kolokvijuma

Kolokvijum 3.12.

Slajdovi sa predavanja

Materijali za ispit

//