RUS  ENG
Полная версия
КОНФЕРЕНЦИИ
Однодневный семинар по математической логике
(29 июня 2023 г., Покровский бульвар 11, аудитория R201, г. Москва)

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


Вебсайт: https://cs.hse.ru/big-data/seminatfknlogic23


Организации
Факультет компьютерных наук, Национальный исследовательский университет «Высшая школа экономики»




© МИАН, 2024