Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za mart 2016.
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 15h, pod rukovodstvom Profesora Miodraga Raskovica.
ČETVRTAK, 3.03.2016. U 15:00
Nenad Stojanovic
DOPUSTIVI SKUPOVI
Sazetak: Osnovne osobine i pojmovi teorije KPU.
ČETVRTAK, 10.03.2016. U 15:00
Nenad Stojanovic
DOPUSTIVI SKUPOVI nastavak
ČETVRTAK, 17.03.2016. U 15:00
Nenad Stojanovic
DOPUSTIVI SKUPOVI, nastavak
Sazetak: Osnovne osobine i pojmovi teorije KPU.
ČETVRTAK, 24.03.2016. U 15:00
DOGOVOR O PROJEKTIMA ZA LOGIKU I PRIMENE
ČETVRTAK, 31.3.2016. U 15:00
Marija Boricic, Fakultet organizacionih nauka, Univerzitet u Beogradu
RACUN VEROVATNOSNIH PRAVILA IZVODJENJA
Apstrakt. Razmatramo racun NKprob verovatnosnih pravila izvodjenja u
kojem svakom iskaznom vezniku klasicne logike pridruzujemo bar jedno
pravilo za njegovo uvodjenje, i bar jedno pravilo za njegovo izbacivanje.
Dokazujemo da je racun NKprob potpun u odnosu na semantiku
Carnap-Popper-Leblanc-ovog tipa.
Beograd, 2016.