https://github.com/borisavz/teorija_tipova/blob/master/teorija_tipova.pdf
Obaveštenje o predavanju
U petak, 23.1.2026. godine u terminu predavanja od 12:15 biće održno predavanje na temu teorije tipova i primene matematike u računarstvu.
Molim sve studente da u što većem broju prisustvujete predavanju, bez razgovora, gledanja u telefon i spavanja.
Predavanja 2025/26
Prvi deo
Drugi deo
Pravila polaganja ispita
Predavanja -drugi deo završnog ispita
Predavanja – prvi deo završnog ispita
Zadaci za vežbu
Zadaci ispod su ostavljeni samo kao zadaci za vežbu. To nisu primeri kolokvijuma i ispita kako sada izgledaju! O sadašnjem izgledu kolokvijuma i ispita morate se informisati kod mene ili kod kolega.