Семинар по математической логике

На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.

Список докладов:

Кикоть Станислав Павлович (кандидат физ.-мат. наук): Пространственный интеллект беспилотного автомобиля и принятие решений на основе правил

Карлов Борис Николаевич (кандидат физ.-мат.наук): О теориях подмножеств некоторых алгебр

Долгоруков Виталий Владимирович (кандидат философских наук): О приложениях эпистемической логики в компьютерных науках

Вишникин Максим Евгеньевич (аспирант кафедры математической логики и теории алгоритмов мехмата МГУ): Базовые категориальные грамматики с однозначным присвоением типов и одним делением

Пшеницын Тихон Григорьевич (студент кафедры математической логики и теории алгоритмов мехмата МГУ): Графовые грамматики

Соколов Павел Павлович (преподаватель ФКН): Формальная верификация на Arend

Яровиков Юрий Николаевич (институт искусственного интеллекта AIRI): Генерация доказательств математических теорем с помощью языковых моделей

Сорокин Алексей Андреевич (кандидат физ.-мат.наук): Используется ли математическая логика в современной компьютерной лингвистике?

Серова Дарья Александровна (студентка математического факультета ТвГУ): Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода

Расписание семинара (PDF, 96 Кб)

Презентации докладов (ZIP, 6,72 Мб)

Место проведения: Покровский бульвар 11, аудитория R201.