ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

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ć