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

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

Адрес e-mail:

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

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

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

Программы семинаров

Вводный семинар

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

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

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

Формулы с кванторами

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

Логика высказываний
Языки первого порядка
Теория моделей и неклассические логики

Зачетные задачи

Зачетные задачи по первой контрольной
Языки первого порядка
Теория моделей и неклассические логики

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

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

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

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

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