Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za DECEMBAR 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/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, 08.12.2022. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Saša Popović, Filozofski fakultet i Centar za logiku i teoriju odlučivanja Sveučilišta u Rijeci
KONVEJEV SISTEM NO NADREALNIH BROJEVA
U predavanju će biti prikazana konstrukcija takozvanih nadrealnih brojeva (surreal numbers) koje je uveo engleski matematičar Džon Horton Konvej (1937–2020) u knjizi On Numbers and Games 1976. godine. Takođe će biti pokazano na koji način je Konvejeve ideje i rezultate dalje razvio i generalizovao američki filozof i logičar Filip Erlih u okviru teorije apsolutnog kontinuuma. Naposletku ćemo videti po čemu su nadrealni brojevi slični a po čemu se razlikuju od poznatijih hiperrealnih brojeva iz Robinsonove nestandardne analize.
ČETVRTAK, 15.12.2022. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Angelina Ilić-Stepić, Matematički institut SANU
OSNOVNI POJMOVI KVANTNOG IZRAČUNAVANJA
Predavanje predstavlja prikaz dela knjige Quantum computing for computer scientists (Yanofosky, Mannuci). Biće predstavljeni kvantni bit/qubit, osnovne operacije nad qubitima (i osvrt na klasične radi poređenja), kvantni algoritmi i prednost nad klasičnim kao i kvantna teleportacija *(prenos informacije o stanju čestice bez prenosa same cestice).
ČETVRTAK, 22.12.2022. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Mateja Knežević
VEROVATNOSNO PROŠIRENJE INTUICIONISTIČKE LOGIKE
Govorićemo o verovatnosnoj logici koja poštuje intuicionističke principe rezonovanja kako na iskaznom tako i na verovatnosnom nivou. U skladu s tim, neophodno je uvesti određene restrikcije na ponašanje funkcije mere u modelima, kao i neznatno jača aksiomatizacija verovatnoće. Za aksiomatski sistem koji će biti predstavljen se pokazuje da je jako kompletan u odnosu na definisanu klasu modela. Odlučivost logike se pokazuje kombinacijom svojstva konačnog modela, označenog tabloa i linearnog programiranja.
ČETVRTAK, 29.12.2022. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Saša Popović, Filozofski fakultet i Centar za logiku i teoriju odlučivanja Sveučilišta u Rijeci
HIPERREALNA PRAVA NESTANDARDNE ANALIZE
U predavanju će biti prikazan Kislerov rad “The Hyperrral Line” objavljen u zborniku Real Numbers, Generalizations of the Reals, and Theories of Continua (prir. P. Ehrlich, Springer, 1994).
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.
Sekretar Seminara: Bojana Lasković
Rukovodilac Seminara: Prof. dr Miodrag Rašković