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

Seminar for Mathematical Logic

 

PROGRAM Program Seminara za logiku za mart 2008

Posto je Matematicki institut SANU iz zgrade SANU preseljen u zgradu preko puta, Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u letnjem semestru 2007/2008. na novoj adresi: Kneza Mihaila 36/III sprat, soba 305 - Biblioteka instituta, jer zasad sala II na I spratu nove adrese nije u funkciji. U terminu Seminara, u petak, 22. i petak 29. februara 2008. posle podne, ali od 15:15 sati, gostovace prateci Seminar iz verovatnosnih logika pod rukovodstvom Profesora Miodraga Raskovica koji je u decembru 2007. dobio akreditaciju Naucnog veca Instituta. Na taj nacin, ponovo, kao pre vise decenija, postoje dva logicka seminara.

PETAK, 07. mart 2008.G. U 15.15 SATI
Dragan Doder (Masinski fakultet Univerziteta u Beogradu)
Prilozi resavanju problema nekonsistentnih iskaznih teorija
(Contributions to the problem of inconsistent propositional theories)


Prvi deo predavanja povezuje broj formula protivrecne iskazne teorije potrebnih za dokaz kontradikcije i mogucnost zadavanja odredjenih verovatnosnih mera na skupu iskaznih formula koje "podrzavaju" tu teoriju. Drugi deo predavanja odnosi se na primene na dva tipa default-a.

PETAK, 14. mart 2008.G. U 16.15 SATI
Predrag Tanovic (Matematicki institut SANU, Beograd)
O stabilnosti, slucajnom grafu i uredjenjima
(On stability, independence property and strict order property)


Predavanje se bavi aspektima stare Selahove teoreme: Svaka nestabilna teorija ima osobinu nezavisnosti ili osobinu strogog uredjenja. (We shall discuss some aspects of Shelah's theorem: Unstable theories have independence property or strict order property.

PETAK, 14. MART 2008.G. TACNO U 15 SATI
Miodrag Raskovic (Matematicki institut SANU, Beograd) Robinsonova konsistentnost

Nebojsa Ikodinovic (Prirodno-matematicki fakultet Univerziteta u Kragujevcu)
Craigova interpolaciona lema

PETAK, 21. mart 2008.G. U 15.15 SATI
Aleksandar Perovic (Saobracajni fakultet Univerziteta u Beogradu)
Prikaz clanka: PROBABILITY LOGIC by Douglas N. Hoover, Annals of Mathematical Logic 14(1978), pp. 287 - 313.

Opsti logicki seminar (Seminar za Matematicku logiku) ovog petka je bez predavanja. Planira se da od aprila 2008. ovaj seminar ponovo redovnije radi.

PETAK, 28. mart 2008.G. U 15.15 SATI
Aleksandar Perovic (Saobracajni fakultet Univerziteta u Beogradu)
Prikaz clanka: PROBABILITY LOGIC by Douglas N. Hoover, Annals of Mathematical Logic 14(1978), pp. 287 - 313. NASTAVAK

Opsti logicki seminar (Seminar za Matematicku logiku) i ovog petka je bez predavanja. Planira se da od aprila 2008. ovaj seminar ponovo redovnije radi.

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: vdjordje@mi.sanu.ac.yu. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.yu



Rukovodioci Seminara: Kosta Dosen i Djordje Vukomanovic