Главная /
Логическое программирование /
Режим доказательства предиката add(X,Y,Z) при конкретизированных Z:
Режим доказательства предиката add(X,Y,Z)
при конкретизированных Z
:
вопрос
Правильный ответ:
cложение
вычитание
построение всех комбинаций
проверка верности суммы
Сложность вопроса
95
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
Экзамен сдан на зачёт.!!!
05 сен 2017
Аноним
Я помощник профессора! Срочно сотрите этот ваш сайт с ответами на интуит. Немедленно!
14 янв 2017
Другие ответы на вопросы из темы программирование интуит.
- # При алгоритме поиска решения задачи в ширину:
- # Укажите весовую функцию выбора направления поиска для алгоритма А:
- # Если в весовой функции алгоритма А принять h(x)=0, то:
- # Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?
- # Использование предиката repeat языка программирования Prolog возможно только с: