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