Адрес e-mail:

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

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

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

Конспекты лекций

Множества
Отображения и соответствия
Мощности множеств
Отношения

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

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

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

Операции над множествами
Отображения и соответствия
Мощности множеств
Отношения
Предпорядки и решётки (дополнительно)
Пропозициональные формулы
Классы булевых функций
Тавтологии
Исчисление высказываний
Языки первого порядка
Выразимость предикатов

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

Множества, функции, мощности
Отношения
Таблицы истинности и нормальные формы

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

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

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

Теория множеств
Логика высказываний
Языки первого порядка и теория моделей
Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

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

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