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, 22. feb. 2008.G. U 15.15 SATI
PETAK, 29. feb. 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 februar 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.
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.
Ovo je pocetak rada Seminara u 2008.g.
Beograd, 18. februara 2008.g.
Rukovodioci Seminara: Kosta Dosen i Djordje Vukomanovic