Seminar for
Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za mart 2012.
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, 02.03.2012. U 16:15
Boriša Kuzeljević, Matematički institut SANU
O ELEMENTARNIM PODMODELIMA SLUČAJNOG GRAFA
apstrakt: Slucajni graf je jedinstven prebrojiv, univerzalan i ultrahomogen
graf (Fraisseov limit klase svih konacnih grafova). Predavanje predstavlja
zajednicki rad sa Milosem Kurilicem u kom dajemo jednu karakterizaciju
maksimalnih lanaca elementarnih podmodela slucajnog grafa.
PETAK, 09.03.2012. U 16:15
Milos Kurilic, PMF Novi Sad
NASLOV I SADRZAJ PREDAVANJA BICE NAKNADNO DOSTAVLJENI
PETAK, 16.03.2012. U 15:30
Nece biti predavanja zbog
83.Arbeitstagung Allgemeine Algebra, konferencije od 15. do 18. marta
u Novom Sadu (http://sites.dmi.rs/events/2012/aaa83/)
PETAK, 23.03.2012. U 16:15
Slavko Moconja, PMF Beograd
CSP (CONSTRAINT SATISFACTION PROBLEM)
apstrakt: Za relacijsku strukturu $A$, $CSP(A)$ je klasa svih
relacijski struktura $B$, slicnih $A$, za koje vazi da
postoji homomorfizam iz $B$ u $A$. Mozemo posmatrati $CSP(A)$
kao problem odlucivosti: da li za relacijsku strukturu $B$,
koja je slicna $A$, postoji homomorfizam iz $B$ u $A$? Predmet
interesovanja je racunska slozenost ovog problema za datu
strukturu $A$. Hipoteza $CSP$ dihotomije tvrdi da je $CSP(A)$
NP-kompletan problem ili je resiv u polinomnom vremenu. U
predavanju ce biti predstavljene definicije i osnovni rezultati
vezani za ovu hipotezu.
PETAK, 30.03.2012. U 16:15
Michael Pinsker, Paris 7
REDUCTS OF THE RANDOM PARTIAL ORDER
Abstract:
I will present a recent result which states that up to first-order
interdefinability, there exist precisely 5 structures which are
first-order definable in the universal homogeneous partial order. I
will also outline the proof of this result, which is achieved by
finding all closed permutation groups which contain the automorphism
group of this order. The method for finding the groups
relies on a Ramsey-theoretic analysis of permutations acting on the
order, which makes it possible to find regular patterns in such
permutations and make them accessible to finite combinatorial
arguments.
Joint work with P. P. Pach, G. Pluhar, A. Pongracz, Cs. Szabo
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, 28. februara 2012.g.
Srdacan pozdrav,
rukovodioci seminara Zoran Petric i Predrag Tanovic