MISANU

PROGRAM

Plan rada Seminara za logiku za APRIL 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, 01.04.2022. u 14:15, sala 301f, Knez Mihajlova 36 i On-line
Slobodan Vujošević, Prirodno-matematički fakultet Podgorica
GEDEL I METAFIZIKA II
Gedel veruje u neograničeno širenje znanja. Ključni korak u takvom širenju, kada se radi o matematici, jeste podizanje nivoa apstrakcije. Veruje da se zasnivanjem intenzionalne matematike, kao opšte nauke o pojmovima, može prevazići njena ekstenzionalna nepotpunost.

PETAK, 15.04.2022. u 14:15, sala 301f, Knez Mihajlova 36 i On-line
Mladen Zekić, Matematički institut SANU
SIMETRIČNE MONOIDALNO ZATVORENE KATEGORIJE I LOGIKA
Na predavanju ćemo konstruisati simetričnu monoidalno zatvorenu kategoriju čije strelice kodiraju izvođenja u multiplikativnom konjuktivno-implikativnom fragmentu intuicionističke linearne logike. Kroz ovu kategoriju ćemo prikazati osnovna svojstva tog fragmenta. Rezultat koherencije za simetrične monoidalno zatvorene kategorije u ovom kontekstu nam daje odgovor na pitanje kada su u pomenutom fragmentu linearne logike dva izvođenja jednaka.
Zajednički 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