Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za JUN 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, 01.06.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Vladimir Srdanović
KROĆENJE VEŠTAČKE INTELIGENCIJE
Najnoviji uspesi veštačke inteligencije praćeni su dramatičnim upozorenjima na potencijalne opasnosti, kao i zahtevima da se istraživanja u ovoj oblasti obustave i nadalje regulišu. Koliko osnova ima za ovakav, krajnje neuobičajen, pristup jednoj naučnoj oblasti?
ČETVRTAK, 08.06.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Ljubica Mudrić-Staniškovski
LOGIKA SA KVANTIFIKATOROM "POSTOJI NEPREBROJIVO MNOGO"
Na ovom predavanju biće dat kratak istorijski pregleda razvoja logika, sa posebnim akcentom na logike sa generalisanim kvantifikatorima. Biće prikazano kako se razvija formalna struktura jezika L(Q), definicije, formule, aksiome i pravila izvođenja. Zašto su uvedene i dve interpretacije od L(Q) standardni modeli i slabi modeli. Formiramo jezik L(Q) dodavanjem u L novog kvantifikatora (Qx), koji se čita ”postoji neprebrojivo mnogo x”. Pokazaćemo da važi teorema potpunosti za jezik dobijen dodavanjemkvantifi katora (Qx), ali i za ω-logiku i infinitarnu logiku Lω1,ω. Takođe prikazaćemo neke primene koje se tiču različitih tumačenja kvantifikatora (Qx).
ČETVRTAK, 15.06.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Šejla Dautović, Matematički institut SANU
KNOWING WHETHER
Na predavanju će biti predstavljen rad "Knowing Whether" autora Jie Fan, Yanjing Wang, Hans van Ditmarsch iz 2013.godine.
ČETVRTAK, 22.06.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Radoš Bakić, Učiteljski fakultet
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.
Beograd, 2023.
Sekretar Seminara:
Bojana Lasković
Rukovodilac Seminara:
Prof. dr Miodrag Rašković
