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

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

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

Решённые задачи из листочков (см.ниже) сдавайте Максиму Вишникину. Можно договориться с ним о встрече в университете или о созвоне. Его почта maxim.vishnikin@gmail.com. Сдавать задачи мне тоже можно.

Мои контакты: почта ansidiana@yandex.ru, телеграм @ansidiana.

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

Дедлайн указан для групп 209/210 (до косой черты — для группы 209, после косой черты — для группы 210). Задачи после черты довольно сложные, поэтому их можно сдавать вплоть до конца семестра.
Листок 1. Теория множеств. Сдать до 05.10/28.09.
Листок 2. Вполне упорядоченные множества и логические языки.. Сдать до 19.10/12.09.

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

• Семинар 1, 13.09/6.09. Наивная теория множеств [ВШ-1, 1.1], равномощные множества [ВШ-1, 1.3], теорема Кантора [ВШ-1, 1.6], теорема Кантора-Бернштейна [ВШ-1, 1.5], вполне упорядоченные множества [ВШ-1, 2.4], аксиома выбора, теорема Цермело и лемма Цорна [ВШ-1, 2.5-2.8].
• Семинар 2, 27.09/20.09. Формулы [ВШ-2, 3.1], истинность формулы в структуре [ВШ-2, 3.2], выполнимые и общезначимые формулы [ВШ-2, 4.1]. Предварённая нормальная форма [ВШ-2, 4.7].

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

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