Адрес e-mail:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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