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

Обзор тем, затронутых в курсе: - Логика = Язык Исчисление Семантика - Оценка, семантическая корректность и полнота вывода - Классы семантик (алгебры Гейтинга, топология, шкалы Крипке) - Теории: корректность, синтаксическая полнота, тееоремы Гёделя - Стандартные модели логик и арифметик - Иерархии формул - Перечислимость и разрешимость множеств - Теория рекурсивных функций (теория вычислимости) - Иерархии функций - Определимость, представимость в теории - Доказуемо тотальные рекурсивные функции - Ординальные анализ, прогрессии Тьюринга (теория доказательств) Если пропустили начало: вот ссылка на плейлист: 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: Черновой конспект лекций: (часть конспекта написана на английском языке)