Seminar for Probability Logic

PROGRAM

Plan rada Seminara Verovatnosnih logika za jun 2010.

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, 03.06.2010. U 15:15
Miodrag Rašković
PREGLED U NAZAD (ISTORIJSKI PREGLED RAZVOJA LOGIKE U NAZAD)



PETAK, 10.06.2010. U 15:00
Petar Maksimović
AUTOMATSKO DOKAZIVANJE TEOREMA I DEO



ČETVRTAK, 17.06.2010. U 15:00
Petar Maksimović
AUTOMATSKO DOKAZIVANJE TEOREMA II DEO



PETAK, 24.06.2010. U 15:00
Petar Maksimović
AUTOMATSKO DOKAZIVANJE TEOREMA III DEO

Beograd, 2010.
Rukovodilac Seminara: Prof. dr Miodrag Rašković