University of Belgrade
Faculty of Mathematics
Department of Algebra and Logic

Studentski trg 16
11000 Belgrade
Serbia




Slavko Moconja
e-mail:   x@y   where   x = slavko   and   y = matf.bg.ac.rs


UML TI ZM OPML Konsultacije





Uvod u matematičku logiku

Informacije o kursu

Nebojša Ikodinović: Uvod u matematičku logiku - skripta
Zoran Petrić: Uvod u matematičku logiku - skripta
Slavko Moconja: Uvod u matematičku logiku - vežbe

Stranica Mateja Milićevića

Studenti kojima sam dozvolio da rade nadoknadu testova, nadoknadu će raditi u četvrtak, 9. januara, u 11h u kabinetu 812.

Rezultati testova - grupe 1o1 i 1o2
Na šestom testu u petak, 13. decembra, jedan rad nije bio potpisan.



Teorija izračunljivosti

Informacije o kursu

Nebojša Ikodinović: Teorija izračunljivosti - skripta (kod Miše)
Irena Spasić & Predrag Janičić: Teorija algoritama, jezika i automata - zbirka zadataka
Slavko Moconja: Neodlučivost logike prvog reda

Prvi kolokvijum biće održan u kolokvijumskoj nedelji. Drugi kolokvijum biće održan u terminu pismenog ispita u ispitnom roku Januar 1.




Zasnivanje matematike

(nema podataka)



Odabrana poglavlja matematičke logike

(nema podataka)



Konsultacije

termin: sreda 10-11h i petak 10-11h
kabinet: 812