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