Адрес e-mail:

Логика и теория алгоритмов (весна 2010)

Лекторы — к.ф.-м.н. А. Е. Ромащенко и Д. В. Мусатов.

Программа курса и домашние задания

Билеты к экзамену

Дополнительные задачи

Задачи про разрешимые и перечислимые множества для самостоятельного решения

Ещё задачи про разрешимые и перечислимые множества для самостоятельного решения

Литература по лямбда-исчислению (на английском языке)

Achim Jung — A short introduction to the Lambda Calculus (89 KB)

Henk Barendregt, Erik Barendsen — Introduction to Lambda Calculus (305 KB)

Lawrence Paulson — Foundations of Functional Programming (3 437 KB)

Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

© 2001-2023 Московский физико-технический институт (национальный исследовательский университет)

Противодействие коррупции | Сведения о доходах

Антитеррористическая безопасность

Политика обработки персональных данных МФТИ

Техподдержка сайта | API

Использование новостных материалов сайта возможно только при наличии активной ссылки на https://mipt.ru

МФТИ в социальных сетях