Seminar for Mathematical Logic

PROGRAM

Plan rada Seminara za logiku za APRIL 2019.

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 12.04.2019. u 16:15, Matematicki institut SANU, sala 301f
Zoran Petric, MI SANU i Matematicki fakultet Beograd
DOKAZI I POVRSI
Na predavanju ce biti reci o sintaksi koja se zapisuje na razlicitim povrsima i koja poprima znacenje na prirodan nacin. Tako dobijamo istovremeno formulacije teorema incidencije u projektivnoj geometriji kao i njihove dokaze.

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