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

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

Адрес e-mail:

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

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

Программа экзамена
Студенты, получившие 10 баллов на зачёте, имеют право вместо сдачи основной программы экзамена сдать заранее выбранный дополнительный вопрос. Для этого нужно до 11 января включительно прислать на адрес musatych at gmail dot com список дополнительных вопросов из программы, упорядоченный по степени предпочтения. После этого билеты распределяются среди студентов в порядке убывания их суммарного балла на контрольных (без учёта дополнительных задач): лучший студент получает наиболее предпочтительный для него билет, каждый следующий - наиболее предпочтительный из тех, что не взяли до него. Можно подавать неполный список, тогда в случае раздачи всех билетов придётся сдавать основной экзамен. Распределение билетов будет объявлено 12 января.

Программа курса

Самостоятельная работа № 1

Задачи для подготовки к контрольной работе № 1:
1. Множества
2. Отображения
3. Мощности множеств
4. Отношения

Контрольная работа №1

Контрольная работа №1, вариант для факультета РТ

Дополнительные задачи по к/р №1

Задачи для подготовки к контрольной работе №2:
1. Булевы функции и формулы
2. Исчисление высказываний
3. Общезначимые формулы в языках первого порядка

Контрольная работа №2
Дополнительные задачи по к/р №2

Задачи для подготовки к контрольной работе №3:
1. Выразимость предикатов
2. Автоморфизмы интерпретаций
3. Исчисление предикатов
4. Теория моделей

Контрольная работа №3

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

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

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

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

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