Seminar for
Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za decembar 2011.
Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u zimskom semestru 2009/2010.g. na novoj 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, 2.12.2011. U 16:15
Dragan Doder, Masinski fakultet, Beograd
TEMPORALNE LOGIKE SA DISKRETNIM PROTOKOM VREMENA
apstrakt: Predavanje ce sadrzati kratak prikaz sintakse i
semantike dve osnovne temporalne logike sa diskretnim vremenom:
$LTL$ (linear-time logic) i $CTL$ (computation tree logic - logika
sa razgranatim vremenom), kao i njihovog zajednickog
prosirenja, $CTL^*$ (full computation tree logic), koja ima vise
razmatranih semantika. Zatim ce biti izlozeni problemi
nekompaktnosti i postojanja jako potpunih aksiomatskih sistema. Na
kraju ce biti prikazana aksiomatizacija za jednu klasu modela
logike na jeziku $CTL^*$.
PETAK, 9.12.2011. U 16:15
Radmila Jovanovic, Filozofski fakultet, Beograd
REALIZAM U HINTIKINOJ FILOZOFIJI MATEMATIKE
apstrakt: U knjizi The Principles of Mathematics Revisited
i brojnim naknadnim tekstovima Hintika predlaze novi nacin
zasnivanja matematike. Njegov predlog je da se matematika
formalizuje uz pomoc nove logike, ciji je Hintika tvorac,
takozvane Independent Friendly Logic. Pozicija koju zastupa
je realizam i cak, kako Hintika tvrdi, specificna vrsta
logicizma - odnosno svojevrsna konceptualna redukcija matematike
na logiku. U ovom predavanju zelim da izlozim ovaj njegov
pokusaj i da prodiskutujem specificnost realisticke
pozicije do koje dolazi.
Seminar za opstu teoriju dokaza
PETAK, 16.12.2011. U 15:30
Novak Novakovic (Matematicki institut, Beograd)
ALGEBARSKA SEMANTIKA DOKAZA U KLASICNOJ LOGICI
Rezime. I pored nedavnih znacajnih proboja u oblasti, formulisanje uspesne
kategorijalne ili denotativne semantike za dokaze klasicne logike i dalje
predstavlja centralni otvoren problem opste teorije dokaza. Glavni deo
predavanja pokazuje vezu pojma Frobenijusovih algebri sa tim problemom.
Frobenijusove algebre su u novije vreme intenzivno izucavane u
matematickoj fizici zbog njihove veze sa topoloskim kvantnim teorijama
polja. U logici, ove algebarske strukture vode ka novom pristupu
standardnim pitanjima teorije dokaza i ka formulaciji pojma resursa za
sisteme Gencenovog tipa za klasicnu logiku.
Materija koja ce biti prikazana predstavlja deo doktorske disertacije
odbranjene proslog meseca na institutu INRIA u Nansiju u Francuskoj.
PETAK, 23.12.2011. U 16:15
Natasa Radeka, Matematicki fakultet, Beograd
INTERPOLACIONE TEOREME
apstrakt: Tema predavanja su interpolacione teoreme Krejga i
Lindona, kao i Robinsonova teorema.
OBAVESTENJA:
Ukoliko zelite mesecne programe ovog Seminara u elektronskom
obliku, obratite se: vdjordje@mi.sanu.ac.rs. Programi svih seminara
Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs
Beograd, 1. marta 2010.g.
Rukovodioci Seminara: Predrag Tanovic i Zoran Petric