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

➤ Ссылка на Playlist записей семинарами по матлогу:
kzbin.info/aero/PLphlYdUL3Yk3sxOtTAxpyovSY8TMvC-K5&si=Ba10v7glOtscfsCB
✘ Листок 3. Элиминация кванторов. Теорема о компактности. Сдать до 27.10/20.10
drive.google.com/file/d/1vheWY4WfrU5mrpVRG8gkAksOZiebq6aK/view?usp=drivesdk
Ссылки на рекомендуемую литературу:
1) Ф. Н. Пахомов.
Аксиома детерминированности. Заметки к курсу в летней школе "Современная математика", Дубна:
drive.google.com/file/d/1deXCjVtlrVxix7LCBuDel4wrWIQmaSDF/view?usp=drivesdk
2) Н. К. Верещагин, А. Шень.
Начала теории множеств. Издательство МЦНМО:
drive.google.com/file/d/1_hGrCAzVpeok6CVqAbqUhovsQOl65tjB/view?usp=drivesdk
3) Н. К. Верещагин, В.А. Успенский, А. Шень.
Колмогоровская сложность
и алгоритмическая случайность:
drive.google.com/file/d/1uZu0Gj4MgcUo9gyfMzU3QYLd-oZtVVey/view?usp=drivesdk
4) А.Е. Пентус, М.Р. Пентус.
Теория формальных языков:
drive.google.com/file/d/1-EiX2p7tWOgSK7aK-stAVMjo1qavEYYR/view?usp=drivesdk