📚
Все вопросы
- Целевое утверждение, которое согласуется с базой данных, если на текущий момент X обозначает либо целое число, либо атом, – … #811
- Предикат … предназначен для использования в тех ситуациях, когда вы хотите добавить утверждения из некоторого файла к утверждениям, уже имеющимся в базе данных #812
- Предикат … удобно использовать для исправления ошибок в программе #813
- Предикат … используется в ситуации, когда вы хотите явно указать, что для некоторого целевого утверждения нужно перебрать все решения #814
- Предикат … очень полезен в том случае, если надо создать программы, анализирующие или исполняющие другие программы #815
- Правила, по которым определяется смысл выражений, их истинность (или ложность), называются … #816
- Знаки логических операций называются логическими … #817
- Приписывание значений истинности пропозициональным переменным называется … #818
- Что называется объектом? #819
- Укажите способ оценки адекватности математических моделей и алгоритмов? #820