Seminar for Mathematical Logic
PROGRAM Program Seminara za logiku za februar 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, 22. feb. 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, 29. feb. 2008.G. U 15.15 SATI
Aleksandar Perovic (Saobracajni fakultet Univerziteta u Beogradu)
Pregled konferencija FSTA 2008 i FoIKS 2008
(Report of two recent conferences: FSTA008 and FoIKS 2008)
Predavac je tokom februara ove godine ucestvovao na konferencijama FSTA 2008 (9th international conference on fuzzy set theory and applications), Liptovsky Jan, 4-8. februar, Slovacka i FoIKS 2008 (5th international conference on foundations of information and knowledge systems), Pisa, 11-15. februar, Italija. Pored kratkog pregleda radova koje je predavac izlozio na pomenutim konferencijama, bice reci i o problemima razmatranim na konferencijama.
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
Ovo je pocetak rada Seminara u 2008.g.
Beograd, 18. februara 2008.g.
Rukovodioci Seminara: Kosta Dosen i Djordje Vukomanovic