Адрес e-mail:

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

Лекторы — Д.В. Мусатов и к.ф.-м.н. А.Б. Дайняк.

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

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

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

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

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

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

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

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

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

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

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

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

Антитеррористическая безопасность

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

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

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

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