Кузнецов С. Л. - Математическая логика - Гёделева теория

Кузнецов С. Л. - Математическая логика - Теория множествПодробнее

Кузнецов С. Л. - Математическая логика - Параметрическая Δo-полнотаПодробнее

Кузнецов С. Л. - Математическая логика - Примитивно-рекурсивные функцииПодробнее

Кузнецов С.Л. Алгебры Клини с делениями и их теории (26.02.2020)Подробнее

Кузнецов С. Л. - Математическая логика - Гёделева нумерацияПодробнее

Теоремы Гёделя о неполноте. Разбор задач 01.04.2021Подробнее

Кузнецов Степан //Звездочка Клини и бесконечные вычисленияПодробнее

С.Л. Кузнецов, Т. Яворская. Обзор курса «Математическая логика, часть 2» и ответы на вопросыПодробнее

Просеминар по математической логике и информатике. 12.05.2020. Секвенциальные исчисленияПодробнее

3 Истинность и доказуемость, гёделева нумерация, парадокс лжецаПодробнее

Теоремы Гёделя о неполноте. Q&A 25.03.2021Подробнее