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

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