Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za DECEMBAR 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, 07.12.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Đorđe Đekić
ZAKONODAVNA DELATNOST KRALJA MILUTINA
...
Četvrtak, 14.12.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Nebojša Ikodinović, Matematički fakultet, Beograd
TEORMA O NORMALNOJ FORMI U VEROVATNOSNIM LOGIKAMA
Pored skice dokaza Teoreme o normalnoj formi, biće izdvojene neke najvažnije posledice ove važne teoreme, kao i njene veze sa zakonima velikih brojeva.
Četvrtak, 21.12.2023. u 14:00, sala 301f, Kneza Mihaila 36 i
On-line
Angelina Ilić Stepić, Matematički institut SANU
LOGIKA ZA FORMALIZACIJU KOGNITIVNO BIHEJVORIJALNE TERAPIJE
Kognitivno bihevioralna terapija, nadalje, CBT, je vrsta terapije razgovorom bazirana na činjenici (pretpostavci) da su naše emocije primarno rezultat naših misli, pa se prema tome (u određenoj meri) mozemo osloboditi negativnih misli i raznih oblika disfunkcionalnosti ličnosti, promenivši način razmišljanja. Terapija je do sada pokazala velike uspehe u lečenju određenih stanja kao sto su: Napadi panike, Opsesivno kompulsivni poremećaj, Fobije, Post-traumatski stres, Depresija, Poremećaj ishrane, Kontrola besa, itd.
Koristeći činjenicu da je CBT već bazirana na logičkom razmišljanju, konstruisana je logika Lcbt koja formalizuje glavne principe ove terapije uvodeći operatore koji izražavaju ljudsko rezonovanje. Korišćena je modalna logika i odgovorajuće Kripkolike strukture i dat aksiomatski sistem koji je saglasan i potpun u odnosu na zadatu semantiku. Pokazano se da su problemi zadovoljivosti i valjanosti odlučivi.
Beograd, 2023.
Sekretar Seminara:
Bojana Lasković
Rukovodilac Seminara:
Prof. dr Miodrag Rašković
