Название спецкурса на русском языке
Лямбда-исчисление
Перевод названия курса на английский язык
Lambda-calculus
Авторы курса
Кузнецов Степан Львович
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полугодовой, осень
Тип курса
Спецкурс по выбору кафедры
Аннотация
В курсе излагаются основы лямбда-исчисления в его бестиповом и типизованном вариантах, связь последнего с системой естественного вывода для интуиционистской логики (соответствие Карри — Говарда) и применения к задачам компьютерного построения и проверки математических доказательств. Для освоения курса желательно знать основы математической логики и теории алгоритмов, в т.ч. неклассических логик.
Как проходит
Понедельник 16:25—17:50, МИАН, комн. 430 (ул. Губкина, 8) + Zoom. Первое занятие: 6 сентября
Учебный год
2021/22
Дополнительная информация

Записаться на курс, посмотреть видеозаписи, контакты:
http://www.mathnet.ru/conf1845