Студентски семинар, 24. децембар 2021.

• 21. Децембар, 2021
• Коментари (0)

Наредни састанак Семинара биће одржан онлајн у петак 24. децембра 2021. са почетком у 12 часова.

Предавач: Стефан Миленковић, Антоније Суботић, Математички факултет Универзитета у Београду

Наслов предавања: МЕТОДА АНАЛИТИЧКИХ ТАБЛОА У КЛАСИЧНОЈ ИСКАЗНОЈ ЛОГИЦИ

Апстракт: Циљ рада је провера задовољивости и ваљаности произвољне формуле класичне исказне логике. Коришћена је метода аналитичких таблоа чија је комплетност и коректност показана. Затим је описан алгоритам за формирање аналитичког таблоа једне формуле, као и провера задовољивости те формуле преко њега. На основу тог алгоритма направљен је и програм који у реалном времену извршава почетни задатак.

Предавање ће се одржати онлајн и линк за приступ предавању је
https://miteam.mi.sanu.ac.rs/asset/CihYM6Nratzix7c8G

Линк за регистрацију корисника групе Студентски семинар је
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73