Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za oktobar 2013.
Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 15h, pod rukovodstvom Profesora Miodraga Raskovica.
ČETVRTAK, 3.10.2013. U 15:00
Angelina Ilic-Stepic
PREDSTAVLJANJE RADA:
GLAUBER DE BONA, FABIO GAGLIARDI COZMAN, MARCELO FINGER TOWARDS CLASSIFYING PROPOSITIONAL PROBABILISTIC LOGIC
(THE SIXTH WORKSHOP ON COMBINING PROBABILITY AND LOGIC PROGIC 2013
ČETVRTAK, 10.10.2013. U 15:00
Miodrag Raskovic
O JEDNOJ KLASI FUNKCIONALNIH JEDNACINA
ČETVRTAK, 17.10.2013. U 15:00
Miodrag Raskovic
LOGIKE SA $\SIGMA$-KONACNOM MEROM
ČETVRTAK, 24.10.2013. U 15:00
Miodrag Raskovic
LOGIKE SA $\sigma$-KONACNOM MEROM (nastavak predavanja koje je odrzano 17.10.2013.)
ČETVRTAK, 31.10.2013. U 15:00
Marija Boricic
MODELI VEROVATNOSNOG RACUNA SEKVENATA
Definisacemo pojam neprotivrecne teorije u verovatnosnom racunu sekvenata, kao i modele u odnosu na koje je taj racun potpun.
Beograd, 2013.