Лекция 6. Теорема Кузнецова о функциональной полноте
- 00:10Система, где любое множество функций k-значной логики является полным
- 01:57Сохранение множества функции
- 07:14Лемма о замкнутом классе, содержащем все селекторные функции
- 18:37Пример сохранения множества
- 21:08Лемма о множестве функций с двумя условиями
- 34:00Теорема Кузнецова о функциональной полноте
- 01:07:17Следствие из теоремы
- 01:09:36Графы