Адрес 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-2020 Московский физико-технический институт (национальный исследовательский университет)

Противодействие коррупции | Сведения о доходах

Политика обработки персональных данных МФТИ

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

Использование новостных материалов сайта возможно только при наличии активной ссылки на https://mipt.ru

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