Seminar for
Mathematical Logic
PROGRAM
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
PETAK, 14. mart 2008.G. U 16.15 SATI
PETAK, 21. mart 2008.G. U 15.15 SATI
PETAK, 28. mart 2008.G. U 15.15 SATI
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
Program Seminara za logiku za mart 2008
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.
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
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.
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.
Rukovodioci Seminara: Kosta Dosen i Djordje Vukomanovic