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

Seminar for Mathematical Logic

 

PROGRAM


Plan rada Seminara za logiku za decembar 2014.

Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u letnjem semestru 2011/2012.g. na ovoj adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Cetvrtkom posle podne, ali od 15:00 sati, odrzavace se predavanja na Seminaru 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, 12.12.2014. U 16:15 (MI SANU, 301f)
Miodrag Kapetanovic, Matematick institut SANU
TJURINGOVI STEPENI, PRIMERI KONSTRUKCIJA

Apstrakt: Kao podrska entuzijazmu i trudu Nedeljka Stefanovica, nudi se skroman doprinos u vidu skice nekoliko konstrukcija vezanih za stepene neresivosti, kao sto su one kojima se dokazuje postojanje neuporedivih stepena i minimalnog stepena nerevosti. Sve je u elegantnom stilu koji je promovisao Shoeneld.


UTORAK, 16.12.2014. U 15:15 (MI SANU, 301f)
Stevo Todorcevic, Paris VII i Matematicki institut SANU, Beograd
METODI GRUBIH KLASIFIKACIJA MATEMATICKIH STRUKTURA I

Apstrakt: U oblastima matematike koje ispituju strukture velike slozenosti cesto se primenjuju metode takozvanih "grubih" klasifikacija: da bi se razumela jedna klasa slozenih matematickih struktura, prvo se ide prema pronalazenju "kriticnih" clanova te klase. Da jedan takav pristup istrazivanju matematickih struktura moze biti jako koristan, po prvi put se jasno vidi u radu F.P. Ramsey-a koji je na taj nacin resio slucaj Entscheidungsproblem-a Hilberta i Ackermanna daleke 1930-te godine. Danas je taj pristup dosta rasprostranjen i dodiruje sirok spektar matematickih oblasti, od topologije do funkcionalne analize, a takodje je prisutan i u nekim oblastima informatike. Ovo ce biti pregled jednog visegodisnjeg naucnoistrazivackog rada gde se taj pristup koristi.

UTORAK, 23.12.2014. U 16:30 (MI SANU, 301f)
Stevo Todorcevic, Paris VII i Matematicki institut SANU, Beograd
METODI GRUBIH KLASIFIKACIJA MATEMATICKIH STRUKTURA II

UTORAK, 30.12.2014. U 16:30 (MI SANU, 301f)
Stevo Todorcevic, Paris VII i Matematicki institut SANU, Beograd
METODI GRUBIH KLASIFIKACIJA MATEMATICKIH STRUKTURA III








OBAVESTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: zpetric@mi.sanu.ac.rs ili tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs



Beograd,
Srdacan pozdrav,

rukovodioci seminara Zoran Petric i Predrag Tanovic