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