Лекция 17. Задача контроля схем | Открытые видеолекции учебных курсов МГУ

Лекция 17. Задача контроля схем

Лекция из курса:

Основы кибернетики

Ложкин Сергей Андреевич

Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.

Лекция 17. Задача контроля схем

Видео закончится через

NaN:NaN

00:00

00:00

00:10

Следующая секция начнется через 07:36

Постановка задачи контроля схем. Область определённости

07:36

Следующая секция начнется через 07:36

Таблица контроля. Цель контроля: проверка, диагностика

19:22

Следующая секция начнется через 07:36

Тест для таблицы и тест для схемы. Тупиковый, минимальный, проверяющий и диагностический тесты

25:23

Следующая секция начнется через 07:36

Пример задачи. Способы построения тестов

53:12

Следующая секция начнется через 07:36

Утверждение о задании ФАЛ теста с помощью КНФ и его следствие. Продолжение примера

1:10:15

Следующая секция начнется через 07:36

Оценки длин тестов

Свернуть таймкоды

00:00

00:00

Скорость

Качество

00:00

00:00

Скорость

Качество

Лекция 17. Задача контроля схем

Предыдущая лекция

Лекция 16. Самокорректирующаяся КС

Следующая лекция

Лекция 18. Эквивалентные преобразования КС