Ложкин С. А. - Основы кибернетики - Задача контроля схем

0:00:09 1. Постановка задачи контроля схем. Область определённости 0:07:36 2. Таблица контроля. Цель контроля: проверка, диагностика 0:19:22 3. Тест для таблицы и тест для схемы. Тупиковый, минимальный, проверяющий и диагностический тесты 0:25:23 4. Пример задачи. Способы построения тестов 0:53:12 5. Утверждение о задании ФАЛ теста с помощью КНФ и его следствие. Продолжение примера 1:10:15 6. Оценки длин тестов