Одним из главных принципов уникальной «системы Физтеха», заложенной в основу образования в МФТИ, является тщательный отбор одаренных и склонных к творческой работе представителей молодежи. Абитуриентами Физтеха становятся самые талантливые и высокообразованные выпускники школ всей России и десятков стран мира.

Студенческая жизнь в МФТИ насыщенна и разнообразна. Студенты активно совмещают учебную деятельность с занятиями спортом, участием в культурно-массовых мероприятиях, а также их организации. Администрация института всячески поддерживает инициативу и заботится о благополучии студентов. Так, ведется непрерывная работа по расширению студенческого городка и улучшению быта студентов.

Адрес e-mail:

Логика и теория алгоритмов (весна 2011)

Лекторы — к.ф.-м.н. А.Е. Ромащенко и Д.В. Мусатов.

Экзамен для студентов специальности ПМФ (группы 091, 092, 093) состоится 24 июня. Каждый студент получит два теоретических вопроса: по первому семестру и по второму семестру курса, и до двух задач (по темам вычислимость, лямбда-исчисление и теория множеств, см. ниже).

Экзамен для студентов специальности ПМИ состоится 25 июня. Каждый студент получит два теоретических вопроса по второму семестру курса, и до двух задач (см. ниже).

Льготы на экзамене: дополнительные билеты и осовобождение от задач (Весна 2011)


Билеты к экзамену

Вопросы по первому семестру
Вопросы по второму семестру
Дополнительные по второму семестру

Студенты потока ПМФ получают один вопрос по первому семестру и один вопрос по второму семестру.
Студенты потока ПМИ получают два вопроса по второму семестру.
Наиболее сильные студенты получают право сдавать заранее выбранный дополнительный билет вместо обычного.


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

1. Программирование на машинах Тьюринга
2. Вычислимые функции, разрешимые и перечислимые множества
3. Построение неразрешимых и неперечислимых множеств
4. Свойства вычислимых функций
5. Теорема Клини

Проверочная работа по теме "Вычислимые функции"
Контрольная работа по теме "Вычислимые функции"

Задачи для подготовки к контрольной работе и экзамену по теме "Фундированные множества и трансфинитная индукция"
Льготы на экзамене по логике: дополнительные билеты и освобождение от задач

Задачи по лямбда-исчислению

Задачи для подготовки к контрольной работе и экзамену

Литература по лямбда-исчислению (на английском языке)

Achim Jung — A short introduction to the Lambda Calculus (89 KB)
Henk Barendregt, Erik Barendsen — Introduction to Lambda Calculus (305 KB)
Lawrence Paulson — Foundations of Functional Programming (3 437 KB)

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

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

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

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

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