Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za FEBRUAR 2024.
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, 01.02.2024. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Zoran Ognjanović, Mathematical Institute of the Serbian Academy of Sciences and Arts
A PROBABILISTIC TEMPORAL EPISTEMIC LOGIC
We give syntax and semantics of a propositional probabilistic temporal epistemic logic PTEL which is suitable for formalization of reasoning about distributed multi-agent systems. The presented results are: soundness, strong completeness theorems and decidability. To illustrate expressiveness of PTEL we give a formal description of the Blockchain protocol. We also discuss how to extend PTEL to axiomatize the corresponding first-order logic.
Četvrtak, 08.02.2024. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Radoš Bakić, Fakultet za obrazovanje učitelja i vaspitača
TEOREME GREJSA, SEGOA I VOLŠA
Teoreme Grejsa, Segoa i Volša su tri ekvivalentne teoreme koje čine ugaoni kamen geometrije polinoma. Na predavanju će biti reči o nekim njihovim primenama i uopštenjima.
Četvrtak, 22.02.2024. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Vladimir Srdanović
DEEP FAKE - RAZGOVORI O VEŠTAČKOJ INTELIGENCIJI
...
Četvrtak, 29.02.2024. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Aleksandar Perović, Saobraćajni fakultet, Beograd
O POZITIVNOM FRAGMENTU LPP2 VEROVATNOSNE LOGIKE
U predavanju će biti reči o pozitivnom fragmentu osnovne iskazne verovatnosne logike LPP2 (nema iteracija verovatnosnih operatora). Da podsetim, verovatnosna formula je pozitivna ukoliko se u njoj, do na ekvivalenciju, ne javljaju negacija i implikacija. Biće skiciran topološki dokaz činjenice da za ovaj fragment važi stav kompaktnosti.
Beograd, 2023.
Sekretar Seminara:
Bojana Lasković
Rukovodilac Seminara:
Prof. dr Miodrag Rašković