Адрес e-mail:

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

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

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

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

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

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

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

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

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

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