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

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

Адрес e-mail:

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

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

Программа курса
Программа экзамена

Перечисленные ниже студенты получают право рассказать следующие дополнительные вопросы.

195
Анзон Дарья - 6
Балобанов Арсений - 2
Гольцова Надежда - 1
Дмитриев Алексей - 3
Заводов Алексей - 8
Кашинская Яна - 16
Машрабов Александр - 13
Осипов Андрей - 9
Осипов Матвей - 4
Смирнов Иван - 14
Тимин Александр - 15
Федюнин Валерий - 7
196
Беляков Дмитрий - 11
Прохорчук Анатолий - 10
197
Антонов Никита - 5
Никитин Александр - 12

Следующие студенты освобождаются от двух задач на экзамене:

117
Афонькин Вадим
Хворов Никита
Цыганов Виталий
Шанцин Иван
195
Решетников Иван
Пилипчук Захар
Машрабов Александр
Кашин Андрей
196
Жилинская Валентина
Кузьмин Александр
Мухин Михаил
Насибуллин Алмаз
Некрасов Андрей
Павлов Константин
Фролов Николай
Хусаенов Тимур
Юшкевич Антон
197
Артыков Акмал
Борин Павел
Дородных Александр
Киреев Тимур
Орлов Никита
Паршина Антонина
Фархутдинов Дамир
Щетинкин Владислав

Следующие студенты освобождаются от одной задачи на экзамене:

117
Ведищева Тамара
Гимбатов Гамзат
Ляпините Лайма
Новосёлова Юля
Сквирский Иван
195
Зетилов Никита
Тропин Андрей
Одилзода Мехрдод
196
Анурин Андрей
Быков Илья
Левшин Николай
Меликов Сергей
Мещерин Илья
Мысин Юрий
Фокина Анна
197
Асташкин Арсений
Полева Валентина
Саликов Александр

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

Однозначность разбора формул
Пропозициональные формулы и булевы функции
Исчисление высказываний
Теорема о компактности для исчисления высказываний
Формулы первого порядка
Выразимость предикатов
Арифметичность предикатов
Автоморфизмы интерпретаций и элиминацию кванторов
Теория моделей
Исчисление предикатов

Самостоятельные работы:

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

Контрольные работы:

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

Зачётные задачи по контрольным работам

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

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

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

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

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

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