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.