Пороговые функции и пороговые схемы - Владимир Подольский (07.04.2021)

Исследование пороговых функций и пороговых схем началось с 1960-х годов в связи с ранними работами по искусственному интеллекту. Сейчас эти объекты остаются актуальными в связи с вопросами сложности булевых схем, современной теории обучения и дискретной геометрии. В докладе будет дан обзор некоторых недавних результатов в этом направлении. Если останется время, будет также рассказано о приложениях сложности булевых схем к задаче поиска ответов на запросы к базам данных с онтологическим доступом.

Доклад основан на результатах, вошедших в докторскую диссертацию докладчика.

Докладчик: Подольский Владимир Владимирович, Факультет компьютерных наук ВШЭ, МИАН им. В.А. Стеклова.

======================================
МГУ им. М. В. Ломоносова
Механико-математический факультет
Кафедра математической логики и теории алгоритмов

Научно-исследовательский семинар
по математической логике
под руководством
академика РАН Л.Д. Беклемишева
и академика РАН А.Л. Семёнова
(по средам в 18:30)

Веб-страница семинара: