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

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