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

➤ Ссылка на Playlist с семинарами по матлогу:
   • Введение в математическую логику - Он...  

Интересные ссылки:
✘ Листок 4. Модальная логика:
https://drive.google.com/file/d/1D7O1...
✘ Модальная логика А.В. Кудинов:
https://drive.google.com/file/d/1ipWH...

Ссылки на рекомендуемую литературу:
1) Ф. Н. Пахомов.
Аксиома детерминированности.
"Современная математика", Дубна:
https://drive.google.com/file/d/1deXC...
2) Н. К. Верещагин, А. Шень.
Начала теории множеств. Издательство МЦНМО:
https://drive.google.com/file/d/1_hGr...
3) Н. К. Верещагин, В.А. Успенский, А. Шень.
Колмогоровская сложность
и алгоритмическая случайность:
https://drive.google.com/file/d/1uZu0...
4) А.Е. Пентус, М.Р. Пентус.
Теория формальных языков:
https://drive.google.com/file/d/1-EiX...