Studentski seminar, 24. decembar 2021.
- 21. Decembar, 2021
- Komentari (0)
Naredni sastanak Seminara biće održan onlajn u petak 24. decembra 2021. sa početkom u 12 časova.
Predavač: Stefan Milenković, Antonije Subotić, Matematički fakultet Univerziteta u Beogradu
Naslov predavanja: METODA ANALITIČKIH TABLOA U KLASIČNOJ ISKAZNOJ LOGICI
Apstrakt: Cilj rada je provera zadovoljivosti i valjanosti proizvoljne formule klasične iskazne logike. Korišćena je metoda analitičkih tabloa čija je kompletnost i korektnost pokazana. Zatim je opisan algoritam za formiranje analitičkog tabloa jedne formule, kao i provera zadovoljivosti te formule preko njega. Na osnovu tog algoritma napravljen je i program koji u realnom vremenu izvršava početni zadatak.
Predavanje će se održati onlajn i link za pristup predavanju je
https://miteam.mi.sanu.ac.rs/asset/CihYM6Nratzix7c8G
Link za registraciju korisnika grupe Studentski seminar je
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73
Komentari(0)