Адрес e-mail:

Математическая логика и теория алгоритмов (весна 2013)

Лекторы — А.Е. Ромащенко.

Программа второго семестра курса (весна 2013).
Cписок дополнительных билетов.

Краткий конспект первой части курса (теория множеств, трансфинитная индукция)
Краткий конспект второй части курса (алгоритмическая вычислимость)
Краткий конспект четвёртой части курса (арифметическая иерархия и теорема Гёделя о неполноте)

Упражнения к курсу:

Рекомендуемая литература по лямбда-исчислению:

Основная литература для подготовки к экзамену:

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

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

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

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

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

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

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