Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za mart 2014.
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, 6.3.2014. U 15:00
Miodrag Raskovic i Nebojsa Ikodinovic
PRIKAZ KNJIGE "Nestandardna analiza", autora Z. Mijajlovica, D. Arandjelovica, M. Raskovica i R. Djordjevica.
ČETVRTAK, 13.3.2014. U 15:00
Danijel Venus, Fakultet tehniih nauka, Univerzitet u Novom Sadu
SISTEMI DOKAZIVANJA NULTOG ZNANJA
Apstrakt. Predstavljanje i analiza nekoliko vrsta sistema dokazivanja nultog znanja. Ovakvi sistemi slue za dokazivanje tvrdnje usniku u interakciji bez otkrivanja dodatnih informacija osim validnosti same tvrdnje. Najznajnije teoretsko otkri u ovoj oblasti je da se svaki problem iz NP klase moe predstaviti interaktivnim sistemom dokazivanja nultog znanja. Razvoj u ovoj oblasti se kre ka defnisanju novih vrsta nultog znanja kao alternativnih formi, kao i ka raznim konstrukcijama protokola za konkretne namene.
ČETVRTAK, 20.3.2014. U 15:00
Sanvila Raskovic
PREGLED STANJA U RAZVOJU BAZE PACIJENATA PROJEKTA III44006
ČETVRTAK, 20.3.2014. U 15:00
Vladimir Stojanovic
ODLUCIVOST I SLOZENOST MODALNIH LOGIKA (I)
ČETVRTAK, 27.3.2014. U 15:00
Vladimir Stojanovic
ODLUCIVOST I SLOZENOST MODALNIH LOGIKA (II)
Beograd, 2014.