Главная /
Алгоритмы и теория вычислений /
Метод аналитических таблиц в отличие от метода резолюций
Метод аналитических таблиц в отличие от метода резолюций
вопросПравильный ответ:
не требует приведения формулы к конъюнктивной нормальной форме
требует приведение формулы к конъюнктивной нормальной форме
требует приведения формулы к дизъюнктивной нормальной форме
Сложность вопроса
41
Сложность курса: Алгоритмы и теория вычислений
82
Оценить вопрос
Комментарии:
Аноним
Это было сложно
27 мар 2018
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Сходимость алгоритма означает, что
- # В определении конечный автомат присутствуют:
- # Вычисление или определение функции через нее саму в вычисленных или определенных ранее значениях называется
- # Наполнение формальной системы смыслом называется
- # Пусть А - некоторый алфавит. Тогда языком алфавита А называется