Семинар из вештачке интелигенције, 3. новембар 2021.

• 01. Новембар, 2021
• Коментари (0)

Наредни састанак Семинара биће одржан онлајн у среду, 3. новембра 2021. од 19 до 20 часова.

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

Наслов предавања: ДОКАЗИВАЧ ТЕОРЕМА ISABELLE ОД НАУКЕ ДО НАСТАВЕ

Апстракт: У овом предавању биће представљене основе интерактивног доказивача теорема Isabelle, његове примене у научним радовима као и велики потенцијал за његову употребу у наставним материјалима. Биће укратко приказане примене неколико ауторових система који користе Isabelle, као и скрипта написана у Isabelle-у која покрива наставни материјал за предмет на 4. години Математичког факултета у Београду.

Регистрациона форма за учешће на Семинару је доступна на:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Пренос семинара је доступан и регистрованим и нерегистрованим корисницима на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz