Адрес e-mail:

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

Лектор — Д.В. Мусатов.

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

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

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

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

soc-vk soc-fb soc-tw soc-li soc-li soc-yt
Яндекс.Метрика