Seminar for Probability Logic

 

PROGRAM

---

Plan rada Seminara Verovatnosnih logika za MART 2021.

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, 04.03.2021. u 14:00, Sala 301f, MI SANU, Kneza Mihaila 36
Nebojša Ikodinović, Matematički fakultet Univerziteta u Beogradu
ČISTA INDUKTIVNA LOGIKA
Neki osnovni problemi induktivne logike biće razmatrani sa matematičkog stanovišta, pri čemu je osnovni pristup zasnovan na analiziranju induktivnog zaključivanja primenom odgovarajućih verovatnosnih mera. Pored prikaza važnih rezultata motivisanih brojnim logičkim raspravama iz prve polovine 20. veka (Ramsey, De Finetti, Carnap, Gaifman), biće predstavljena i neka novija istraživanja, koja često pokreću razni aktuelni problemi veštačke inteligencije. Ukratko će biti predstavljena i knjiga: J. Paris, A. Vencovská, Pure Inductive Logic, Cambridge University Press, 2015.

---

ČETVRTAK, 11.03.2021. u 14:00, Sala 301f, MI SANU, Kneza Mihaila 36
Miloš Laban, Elektrotehnički fakultet Univerziteta u Beogradu
PRINCIP DINAMIZACIJE PRESLIKAVANJA
Osnovna ideja od koje polazimo, jeste uočena potreba za matematičkim preciziranjem neke zavisnosti narednog, od prethodnih koraka u svakom modeliranju određenog segmenta nekog fizičkog procesa, ili pretpostavljene celine fizičke realnosti. U tom smislu takođe se uvode "princip trošenja preslikavanja" i "princip procesnog realizovanja". Pored matematičkih formulacija navedenog, daju se i neke teoreme u matematici koje proističu iz takvih novih koncepata i ilustracije na primerima. Između ostalog pokazuje se da jedno dinamiziranje čuva homomorfizam prstenova, da se dinamiziranjem identičkog preslikavanja mogu dobiti aritmetička i geometrijska sredina. Isto tako, pokazuje se da se dinamiziranjem neprekidne funkcije može dobiti određeni integral, kao i da se i dinamizacijom preslikavanja može prevazići "kockarski paradoks" u teoriji veroivatnoće.

---

ČETVRTAK, 18.03.2021. u 14:00, Sala 301f, MI SANU, Kneza Mihaila 36
Vladimir Srdanović
INFORMACIONE TEHNOLOGIJE I KONTROLA NARATIVA
Jedan od osnovnih zahteva u demokratiji je da se odluke od značaja za društvo donose uz saglasnost većine. To podrazumeva da je društvo u celini adekvatno informisano o pitanjima o kojima se odlučuje. Savremene informacione tehnologije otvaraju nove mogućnosti za bolju informisanost većeg broja ljudi, ali istovremeno i za veću manipulaciju informacijama. Kakvi su izgledi suprotstavljenih strana u informacionoj areni u borbi za dominaciju nad narativom?

---

ČETVRTAK, 25.03.2021. u 14:00, Sala 301f, MI SANU, Kneza Mihaila 36
Aleksandar Perović, Univerzitet u Beogradu, Saobraćajni fakultet
O KOMPAKTNOSTI I DEFINABILNOSTI
Biće riječi o kompaktnim fragmentima iskaznih vjerovatnosnih logika. Takođe, biće riječi i o definabilnosti stroge nejednakosti (Prob(p)>Prob(q)).

---

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, 2020.

---