Кафедра математической логики и теории алгоритмов

Семинары по курсу «Введение в математическую логику и теорию алгоритмов», 2022, группы 208/210.

Страница курса.

Ссылка на таблицу с баллами в группах 208/210.

Решённые задачи из листочков (см.ниже) высылайте мне на электронную почту ansidiana@yandex.ru или в телеграм @ansidiana. Необходимо будет коротко обсудить свои решения (без состоявшегося обсуждения баллы не ставятся).
Также задачи можно сдавать Максиму Вишникину — договаривайтесь с ним о встрече в университете, его почта maxim.vishnikin@gmail.com.

Листочки с задачами.

Дедлайн указан для групп 208/210 (до косой черты — для группы 208, после косой черты — для группы 210). Задачи после черты сложные — их можно сдавать вплоть до конца семестра.

Листок 1. Теория множеств. Сдать до 27.09/25.09.
Листок 2. Логические языки. Сдать до 11.10/09.10.

Лог семинаров в группах 208/210.

  • Семинар 1, 12.09/10.09. Наивная теория множеств (ВШ-1, 1.1), равномощные множества (ВШ-1, 1.3), теорема Кантора-Бернштейна (ВШ-1, 1.5), вполне упорядоченные множества (ВШ-1, 2.4), аксиома выбора, теорема Цермело и трансфинитная индукция (ВШ-1, 2.5-2.7).
  • Семинар 2, 26.09/24.09. Формулы (ВШ-2, 3.1), истинность формулы в структуре (ВШ-2, 3.2), выполнимые и общезначимые формулы (ВШ-2, 4.1). Предварённая нормальная форма (ВШ-2, 4.7). Элиминация кванторов (ВШ-2, 3.6)

Рекомендуемая литература.

  1. [ВШ-1] Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств
  2. [ВШ-2] Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
  3. [ВШ-3] Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
  4. [CZ] Chagrov A., Zakharyaschev M. Modal logic.
  5. [Шап] Шапировский И.Б. Конспект курса «Введение в модальную логику».