Математическая логика и теория алгоритмов 4. Полные и замкнутые классы

Таймкоды: 00:00:00 - Начало 00:03:20 - Определение суперпозиции 00:06:17 - Суперпозиции 1-го порядка 00:07:23 - Суперпозиции (m+1)-го порядка 00:15:40 - Утверждение про замыкание и пересечение 00:17:39 - Свойства замыканий 00:22:03 - Замкнутый класс 00:28:22 - Класс монотонных функций 00:40:20 - Самодвойственность 00:49:21 - Класс линейных функций 00:52:40 - Утверждение о пересечении замкнутых классов 00:55:05 - Полный класс 00:56:25 - Критерий Поста 01:01:30 - Штрих Шеффера 01:04:37 - Начало доказательства Дата лекции: 16.09.26 Лектор: Мусатов Даниил Владимирович Оператор: Корнеева Мария Монтажёр: Тютрин Данила Плейлист на YouTube: https://www.youtube.com/playlist?list=PLWP-fU2739ac Плейлист