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

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

Cсылка на таблицу с баллами.

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

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

Лог семинаров.

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

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

Листочки периодически обновляются! (Добавляются комментарии, уточнения к формулировкам и т.д.). Ссылки остаются прежними. Прежде чем сдавать задачи, убедитесь, что посмотрели самую свежую версию!
Дедлайн указан для групп 209/211 (до косой черты — для группы 209, после косой черты — для группы 211). Задачи после черты довольно сложные, поэтому их можно сдавать вплоть до конца семестра.
Листок 1. Теория множеств. Сдать до 29.09/22.09.
Листок 2. Аксиома выбора и формальные языки. Сдать до 13.10/06.10.

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

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