Математическая логика и теория алгоритмов 4. Замкнутые и полные классы
Таймкоды: 00:00:00 - Интро 00:00:05 - Суперпозиция 00:15:45 - Свойства замыканий 00:18:10 - Множество всех булевых функций, замкнутые и полные классы 00:23:40 - 5 предполных классов 00:25:45 - Р0 00:30:20 - Р1 00:31:50 - Моннотонные функции 00:34:35 - Лемма о монотонной функции 00:40:30 - Метафора на лампочках 00:45:55 - Замкнутость монотонности 00:49:20 - Самодвойственные функции 00:57:20 - Линейные функции 01:00:55 - Критерий Поста Дата лекции: 24.09.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbeQL8k34cCUabVv9Rp_qwU Плейлист
Название:
Математическая логика и теория алгоритмов 4. Замкнутые и полные классы
Категория:
Разное