MISANU

PROGRAM

Plan rada Seminara za logiku za JUN 2022.

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.

Predavanja na Logičkom seminaru možete uživo pratiti preko linka https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a.
Ukoliko želite i da učestvujete u diskusiji, to možete preko linka https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N na kome prethodno treba napraviti nalog, t.j. popuniti registracioni formular koji se pojavi nakon klika.

PETAK, 17.06.2022. u 16:15, sala 301f, Knez Mihajlova 36 i On-line
Boris Šobot, PMF Novi Sad
DELJIVOST ULTRAFILTERA
Sa betaN označavamo skup ultrafiltera na skupu prirodnih brojeva N. Po uzoru na standardne ekstenzije funkcija iz N na betaN, definišemo ekstenziju relacije deljivosti na ultrafiltere. Time se dobija kvaziuređenje koje je podeljeno na dva dela. "Donji" deo se ponaša veoma pravilno, slično poretku relacije deljivosti: svaki ultrafilter u njemu može se (u nekom smislu) rastaviti na proste činioce. "Gornji" deo je znatno složeniji, ne može se podeliti na nivoe i, recimo, sadrži kopiju uređenja realnih brojeva. Pored topoloških metoda i algebre na ultrafilterima, da bismo dobili rezultate o njihovoj deljivosti koristimo i metode nestandardne analize, koji će biti ukratko uvedeni tokom predavanja.

PETAK, 24.06.2022. u 14:15, sala 301f, Knez Mihajlova 36 i On-line
Igor Dolinka, PMF Novi Sad
PROBLEM REČI ZA SLOBODNE IDEMPOTENTNO GENERISANE SEMIGRUPE: PREGLED I RAZRADA ZA T_n
Glavni cilj ovog predavanja je da pruži pregled rezultata dobijenih od 2017. naovamo u nizu radova (u saradnji sa V. Gould-om, D. Yang-om, R.D. Gray-em i N. Ruškucem) koji, uzeti zajedno, daju značajan uvid u teorijsku osnovu problema reči za slobodne idempotentno generisane polugrupe nad konačnim biuređenjima. Specijalno, pokazaćemo kako se ovi problemi reči potpuno svode na algoritamski problem CSP tipa u teoriji grupa, zapravo na izračunavanje jednog niza podgrupa određenih konačno generisanih grupa. U završnom delu predavanja ilustrovaćemo kako cela ova teorija funkcioniše u slučaju biuređenja konačnih punih monoida transformacija.
Zajednicki sastanak sa Odeljenjem za matematiku

Na MI SANU važe kovid mere:
Obavezno je nošenje maski i održavanje distance. Broj prisutnih na predavanju ograničen na najviše 10 (uključujući i predavača).

OBAVEŠTENJA:

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

Beograd,
Srdacan pozdrav,

rukovodilac seminara Predrag Tanovic