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

Seminar for Mathematical Logic

 

PROGRAM


Plan rada Seminara za logiku za mart 2016.

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, 18.03.2016. U 16:15 (MI SANU, 301f)
Sonja Telebakovic, Matematicki fakultet, Beograd
FROBENIJUSOVE ALGEBRE I BRAUEROVI DIJAGRAMI

Rezime. Na predavanju ce biti predstavljena veza izmedju matricne Frobenijusove algebre, kod koje je Frobenijusova forma zadata kao trag matrice, i Brauerovih dijagrama. Objasnicemo kako se linearna preslikavanja, koja definisu Frobenijusovu strukturu, graficki mogu predstaviti pomocu Brauerovih dijagrama, pri cemu kompoziciji ovih linearnih preslikavanja odgovara novi dijagram koji je dobijen nadovezivanjem odgovarajucih dijagrama. Sve aksiome Frobenijusove algebre na ovaj nacin dobijaju interesantnu graficku reprezentaciju.

PETAK, 25.11.2015. U 16:15 (MI SANU, 301f)
Bojana Laskovic, Matematicki fakultet, Beograd
KOMPAKTNOST I AKSOVA TEOREMA

Rezime. U izlaganju ce biti skiciran dokaz teoreme kompaktnosti. Kao primenu, dokazacemo sledecu teoremu. Teorema (Ax, 1968.) Svako injektivno polinomno preslikavanje $f:C^n\to C^n$ je bijektivno.








OBAVESTENJA:

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