Лекция 9 часть 1
Требуемые условия завершения
Алгоритмы проверки общезначимости Квайна и редукции
Нажмите на ссылку Лекция 9 часть 1, чтобы открыть ресурс.