Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za MART 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, 02.03.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Marija Boričić Joksimović, Univerzitet u Beogradu, Fakultet organizacionih nauka
VEROVATNOSNA VERZIJA SISTEMA PRIRODNIH DEDUKCIJA NKprob(k)
Na ovom predavanju biće izložena jedna verovatnosna verzija sistema prirodnih dedukcija klasične logike iskaza, zasnovana na dve ideje – Gentzen-ovom sistemu prirodnih dedukcija i Suppes-ovoj formi verovatnosnih pravila izvođenja. Predstavićemo semantiku i sintaksu uvedenog sistema NKprob(k), kao i elemente dokaza teoreme potpunosti. Izlaganje se zasniva na zajedničkom radu dr Nebojše Ikodinovića, dr Nenada Stojanovića i predavača.
ČETVRTAK, 09.03.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Miodrag Rašković, Matematički institut SANU
Saša Popović, Filozofski fakultet i Centar za logiku i teoriju odlučivanja Sveučilišta u Rijeci
1/ω - OD IDEJE DO REALIZACIJE
...
ČETVRTAK, 16.03.2023. 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
IZ ISTORIJATA 1/ω
U predavanju će biti rekonstruisani najzanimljiviji detalji iz istorijata 1/ω uključujući i Kantorov zloglasni “dokaz” protiv mogućnosti infinitezimala. Biće objašnjeno i kakav je bio uticaj Kantorovog (i srodnih dokaza poput Peanovog) na recepciju nearhimedovske matematike već krajem 19. i tokom 20. veka.
ČETVRTAK, 23.03.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Nebojša Ikodinović, Matematički fakultet, Univerzitet u Beogradu
DVA KRIPKEOVA DOPRINOSA RAZVOJU FORMALNIH SISTEMA - II DEO
Na predavanju će biti prikazan razvoj nekih verovatnosnih sistema čija je semantika zasnovana Kripkeovim okvirima, a sintaksa na Kripke-Platek teoriji skupova.
ČETVRTAK, 30.03.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Stevan Berber, Univerzitet Okland, Novi Zeland
MATEMATIČKI ASPEKTI PROJEKTOVANJA PRIMOPREDAJNIKA U KNJIZI "DISCRETE COMMUNICATION SYSTEMS", OXFORD UNIVERSITY PRESS
Autor, Stevan Berber, će prezentirati sadržaj nedavno objavljene knjige “Discrete Communication Systems“, uključujući svrhu i ciljeve pisanja knjige kao i motivaciju autora za izdavanjem ove knjige. Predstaviće se struktura knjige po glavama i njihova medjusobna povezanost u obliku diagrama, posebno naglašavajući centralna poglavlja knjige koja se striktno odnose na teoriju diskretnih i digitalnih telekomunikacija, kao i dodatna poglavlja iz obrade determinističkih i slučajnih signala kako kontinuiranog tako i diskretnog vremena. Govoriće se o pokušaju autora da napravi generički model telekomunikacionog sistema iz kojeg će se moći izvesti svi klasični sistemi kao njegovi specijalni slučajevi, sa akcentom na sistemima koji obradjuju signale diskretnoga vremena. Blokovi primopredajnika i generatora šuma, koji su neophodni za teorijsku analizu, simulaciju i emulaciju sistema, prikazaće se u formi matematičkih operatora. Time će se omogućiti prezentacija ulazno-izlaznih signala i ključnih veličina u vidu zatvorenih matematičkih izraza u vremenskom i frekvencijskom domenu.
Adresiraće se sporno teorijsko tumačenje snage gausovog šuma kontinualnog vremena, kao i zahtev za njegovom redefinicijom koristeći omeđenu funkcije gustine verovatnoće i entropije, a sve radi dodatne prezentacije šuma u diskretnom vremenu. Takodje će se govoriti o spornom pojmu beskonačnog u analizi signala diskretnog i kontinualnog vremena. Istaknuće se teškoće u pisanju knjige od koje se očekuje da bude dovoljna sama sebi sa jedinstvenom kako notacijom tako i terminologijom.
Beograd, 2023.
Sekretar Seminara:
Bojana Lasković
Rukovodilac Seminara:
Prof. dr Miodrag Rašković
