0:00:09 1. Граф, сеть. Схема: изоморфность, эквивалетность, классы, сложность 0:09:53 2. Схема из функциональных элементов (СФЭ). Квазидерево. Переход от СФЭ к системе формул (квазидеревьев) 0:25:19 3. Висячая вершина. Приведённая СФЭ. Функционалы сложности СФЭ 0:32:32 4. Утверждение о связи функционалов сложности у СФЭ 0:38:24 5. Оценки количеств формул. Квазиизоморфоность формул 1:04:31 6. Оценка количества попарно неэквивалентных СФЭ
Hide player controls
Hide resume playing