Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Проблемы населенности типов и их разрешимость
Санкт-Петербург / осень 2017, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

Мы рассмотрим проблему населенности (или обитаемости) типа для ряда типизированных систем лямбда-исчисления. Проблема формулируется так: можем ли мы по заданному типу сконструировать замкнутый терм, имеющий такой тип. Мы поговорим про алгоритмы поиска обитателя и перечисления всех обитателей для просто типизированного лямбда-исчисления, после чего обсудим вопрос, на какие более богатые системы эти алгоритмы могут быть обобщены.

Дата и время Занятие Место Материалы
25 ноября
17:15–18:45
Лекция 1, Лекция ПОМИ РАН слайды,  видео
25 ноября
19:00–20:30
Лекция 2, Лекция ПОМИ РАН слайды,  видео