Seminar for Probability Logic

 

PROGRAM

---

Plan rada Seminara Verovatnosnih logika za MAJ 2022.

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/Ys65rKpRmPC99kvpx
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, 05.05.2022. u 14:00, sala 301f, Kneza Mihaila 36 i On-line
Aleksandar Krapež, Matematički institut SANU
GLJIVE
...

---

ČETVRTAK, 19.05.2022. u 14:00, sala 301f, Kneza Mihaila 36 i On-line
Miodrag Rašković, Matematički institut SANU
SEĆANJE NA PROFESORA TADIJU PEJOVIĆA POVODOM 130 GODINA OD ROĐENJA I 40 GODINA OD SMRTI
...

---

ČETVRTAK, 26.05.2022. u 14:00, sala 301f, Kneza Mihaila 36 i On-line
Šejla Dautović, Matematički institut SANU
TEMPORALNE LOGIKE SA VEROVATNOSNIM OPERATORIMA POTVRĐIVANJA
Na predavanju će biti predstavljena jedna verovatnosno-temporalna logika sa akcijama. Opisaćemo njenu sintaksu i semantiku, a zatim ćemo formulisati osnovna tvrđenja koja važe za ovu logiku. Na kraju ćemo diskutovati o rezultatima odlučivosti temporalnih logika sa razgranatim vremenom.

---

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).

Beograd, 2022.

---