51 завершение курса по матлогике

Обзор тем, затронутых в курсе: Логика = Язык + Исчисление + Семантика Оценка, семантическая корректность и полнота вывода Классы семантик (алгебры Гейтинга, топология, шкалы Крипке) Теории: корректность, синтаксическая полнота, тееоремы Гёделя Стандартные модели логик и арифметик Иерархии формул Перечислимость и разрешимость множеств Теория рекурсивных функций (теория вычислимости) Иерархии функций Определимость, представимость в теории Доказуемо тотальные рекурсивные функции Ординальные анализ, прогрессии Тьюринга (теория доказательств) Если пропустили начало: вот ссылка на плейлист:    • Основные понятия и теоремы математической ...   💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: https://boosty.to/mathreisender
Черновой конспект лекций: https://disk.yandex.ru/i/2zw7wrW1q-Umvg
(часть конспекта написана на английском языке)