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

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