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