Seminar for Probability Logic

 

PROGRAM

---

Plan rada Seminara Verovatnosnih logika za FEBRUAR 2023.

Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 14h, pod rukovodstvom Profesora Miodraga Raskovica.

Video prenos predavanja možete pratiti putem linka:
https://miteam.mi.sanu.ac.rs/asset/kdyH6izdfFkxcpe8P/?group=kdyH6izdfFkxcpe8P
Ukoliko želite da aktivno učestvujete (u smislu vaših eventualnih pitanja ili komentara) možete se prijaviti putem registracione forme na ovom linku:
https://miteam.mi.sanu.ac.rs/asset/gvS3adhP2bTJ8ZuDT

 

ČETVRTAK, 02.02.2023. u 14:00, sala 301f, Kneza Mihaila 36 i On-line
Miodrag Rašković, Matematički institut SANU
ŠTA "PRE POSTOJI": POLJE REALNIH BROJEVA ILI POLJE HIPERREALNIH BROJEVA
...

---

ČETVRTAK, 09.02.2023. u 14:00, sala 301f, Kneza Mihaila 36 i On-line
Radoš Bakić, Učiteljski fakultet, Univerzitet u Beogradu
NAŠ PRIJATELJ BLAGOVEST SENDOV
Krajem januara ove godine, navršilo se dve godine od smrti prof. Blagovesta Sendova, poznatog bugarskog matematičara i velikog prijatelja naše zemlje. U svetu matematike prof. Sendov je poznat po svojoj hipotezi koja nosi njegovo ime i koja je još uvek otvoren problem. Na predavanju će biti prikazan život i rad B. Sendova uz evociranje uspomena i anegdota iz njegovih poseta Srbiji.

---

ČETVRTAK, 23.02.2023. u 14:00, sala 301f, Kneza Mihaila 36 i On-line
Nebojša Ikodinović, Matematički fakultet, Univerzitet u Beogradu
DVA KRIPKEOVA DOPRINOSA RAZVOJU FORMALNIH SISTEMA
Ukratko će biti prikazane dve važne logičke teme koje se vezuju za Kripkeovo ime: Kripkeova semantika i Kripke-Platek teorija skupova. Obe teme biće spojene u kontekstu razvoja nekih verovatnosnih logičkih sistema, pri čemu će semantika biti bazirana na tzv. Kripkeovim modelima, dok će Kripke-Platekova teorija skupova biti predstavljena kao pogodan okvir za razvoj sintakse i teorije dokaza.

---

Beograd, 2023.

---