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

Seminar for Mathematical Logic

 

PROGRAM Program Seminara za logiku za oktobar 2006

Sastanci Seminara za matematicku logiku Matematickog instituta SANU odrzavace se i u akademskoj 2006/2007. godini po pravilu petkom od 16:15 sati u sali 2 na I spratu zgrade SANU, Beograd, Kneza Mihaila 35.

PETAK, 20. oktobar 2006.G. U 15.15 SATI
Tatjana Timotijevic (Prirodno-matematicki fakultet Univerziteta u Kragujevcu)
Pregled deskriptivnih (opisnih) logika, I deo
(An overview of descriptive logics, I part )


Pregledno predavanje. Gostovanje prateceg Seminara iz verovatnosnih logika. Obratite paznju na vreme: predavanje ovaj put izuzetno pocinje jedan sat ranije.

PETAK, 27. oktobar 2006.G. U 16.15 SATI
Tatjana Timotijevic (Prirodno-matematicki fakultet Univerziteta u Kragujevcu)
Pregled deskriptivnih (opisnih) logika, II deo
(An overview of desciptive logics, II part)


Pregledno predavanje. Gostovanje prateceg Seminara iz verovatnosnih logika. Obratite paznju na vreme: predavanje ovaj put pocinje jedan sat ranije.

U Beogradu, 20.10.2006.

Rukovodioci seminara:
Dr. Djordje Vukomanovic i Dr. Kosta Dosen.

Azurirani programi svih seminara Matematickog instituta SANU mogu se naci na adresi www.mi.sanu.ac.yu.