Оноприенко А.А. | Семинар 3 по Введению в Математическую логику, 2024 | Мехмат МГУ 4K

➤ Ссылка на Playlist записей семинарами по матлогу:
• Введение в математичес...
✘ Листок 3. Элиминация кванторов. Теорема о компактности. Сдать до 27.10/20.10
drive.google.c...
Ссылки на рекомендуемую литературу:
1) Ф. Н. Пахомов.
Аксиома детерминированности. Заметки к курсу в летней школе "Современная математика", Дубна:
drive.google.c...
2) Н. К. Верещагин, А. Шень.
Начала теории множеств. Издательство МЦНМО:
drive.google.c...
3) Н. К. Верещагин, В.А. Успенский, А. Шень.
Колмогоровская сложность
и алгоритмическая случайность:
drive.google.c...
4) А.Е. Пентус, М.Р. Пентус.
Теория формальных языков:
drive.google.c...