Предавање ЛОГИЧКИ СИСТЕМИ И ПОУЗДАНОСТ
25. 2. 2026. у 18
Мала сала

ПредавањаLeave a comment

У сарадњи са Научним друштвом Србије Предавање ЛОГИЧКИ СИСТЕМИ И ПОУЗДАНОСТ: ОД МАТЕМАТИКЕ ДО ВЕШТАЧКЕ ИНТЕЛИГЕНЦИЈЕ Предавач Проф. др Силвиа Гилезан, Факултет техничких наука Универзитета у Новом Саду и Математички институт САНУ Брзи развој информационих технологија и њихова примена у свим сегментима живота и друштва захтевају њихову поузданост. Почетком XX века теорија типова понудила је решење за…