Ложкин С. А. - Основы кибернетики - Асимптотически наилучший метод синтеза формул

0:00:09 1. Повторение прошлой лекции 0:06:10 2. m-регулярное множество единичного куба, его свойства. Пример 0:21:44 3. Утверждение о существовании регулярного разбиения единичного куба. Продолжение примера 0:38:53 4. Асимптотически наилучшая верхняя оценка сложности для формул 1:17:48 5. Асимптотически наилучшая верхняя оценка сложности для КС