Адрес e-mail:

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

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

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

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

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

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

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