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

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