Введение в математическую логику 12. Алгоритмы и логика

00:00:00 - Начало 00:01:17 - Повторение 00:09:53 - Аксиоматика Цермело, Френнель 00:33:55 - Арифметика Пеано 00:39:00 - Стандартная модель арифметики 00:41:03 - Теорема о компактности 00:52:30 - Алгоритмы и логика 00:55:12 - Разрешимое множество 00:57:39 - Полуразрешимое множества 01:00:05 - Перечислимое множество 01:02:06 - Проекция разрешима 01:04:49 - Теорема о равносильности вышеперечисленных множеств 01:09:50 - Множества в логике 01:16:04 - Теорема(valid неразрешимо) 01:17:50 - Теорема(АГ неразрешима) Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист: