Адрес e-mail:

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

Лекторы — Д.В. Мусатов и к.ф.-м.н. А.Б. Дайняк.

Задачи для самостоятельного решения

Программирование на машинах Тьюринга
Вычислимые функции; разрешимые и перечислимые множества
Построение неразрешимых и неперечислимых множеств
Распознавание свойств вычислимых функций
Теорема Клини
Арифметическая иерархия
Формальная арифметика
Лямбда-исчисление

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

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

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

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

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

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

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

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