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

00:00:00 - Введение 00:00:05 - Полиномы Жегалкина 00:03:09 - Теорема о представимость булевой функции через полином Жегалкина 00:04:13 - Доказательство 00:23:44 - КНФ и ДНФ выражают все функции через отрицание и дизъюнкцию/конъюнкцию 00:28:05 - Многочлены Жегалкина выражают все функции через конъюнкцию, xor и 1 00:34:02- Проектор 00:35:38 - Композиции (суперпозиции) 00:40:43 - Замыкание 00:53:15 - Монотонные функции 01:01:41 - Самодвойственные функция 01:05:34 - Линейные функция 01:09:16 - Критерий Поста Дата лекции: 22.09.2021 Лектор: Мусатов Даниил Владимирович Оператор: Максимов Даниил Монтаж: Зенина Дарья