Seminar for Mathematical Logic

PROGRAM

Plan rada Seminara za logiku za april 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, 06.04.2012. U 16:15
Aleksandar Perović, Saobraćajni fakultet, Beograd
KUREPINO DRVO

abstract: In this talk we will reminiscent the central part of the work of Djuro Kurepa in combinatorial Set Theory, which is related to trees

PETAK, 20.04.2012. U 15:30
Igor Dolinka, PMF, Novi Sad
FINITE HOMOMORPHISM-HOMOGENEOUS PERMUTATIONS VIA EDGE COLOURINGS OF CHAINS

abstract: A relational structure is homomorphism-homogeneous if any homomorphism between its nite substructures extends to an endomorphism of the structure in question. After providing a short survey of previous results, I will discuss the characterization of all permutations on a nite set enjoying this property, obtained recently by Éva Jungábel and myself. To this end, I will review the more traditional view of a permutation as a set endowed with two linear orders (which eventually led to the theory of permu- tation patterns), and then switch to a dierent representation by a single linear order (considered as a directed graph with loops) whose non-loop edges are coloured in two colours, thereby 'splitting' the linear order into two posets.

PETAK, 27.04.2012. U 16:15
Predrag Janičić, Matematički fakultet, Beograd
UNIFORMNO SVODJENJE NA SAT I SMT I IMPERATIVNO-DEKLARATIVNA PROGRAMSKA PARADIGMA

Apstrakt će biti naknadno objavljen.

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