x 1.00
Лекция 5. Отличия булевых и функций k-значной логики
- 00:10Алгоритм проверки полноты произвольной конечной системы
- 16:53Малая теорема Ферма
- 25:43Третье универсальное разложение функции
- 38:45Теорема о единственности полученного полинома для функции
- 52:03Следствие из теоремы
- 53:26Булевы и функции k-значной логики, существенно зависящие от переменных
- 59:00Замкнутые классы k-значной логики без базиса
- 01:14:16Замкнутые классы k-значной логики с бесконечным базисом
- 01:39:57Наличие у Pk континуума различных замкнутых классов