0:00:09 1. Повторение прошлой лекции 0:08:21 2. Свойства ККС. Полная ККС. Частный случай 0:16:25 3. Утверждение о существовании ККС, реализующей систему из отрицаний ФАЛ 0:27:27 4. Пример с конъюктивным и дизъюнктивным контактными деревьями 0:35:38 5. Каскадная СФЭ. Примеры 0:50:30 6. Метод каскадов в общем виде. Пример 1:18:16 7. Оценки сложности некоторых каскадных схем 1:21:29 8. Метод Шеннона
Hide player controls
Hide resume playing