Функциональное и логическое программирование.ти

Функциональное и логическое программирование.ти

Просмотрите все вопросы и варианты бесплатно. Правильные ответы скрыты и открываются только после получения доступа.

65 вопросов Вариант 1 Доступ 7 дней
Содержание теста

Вопросы и варианты

Без отметок и подсказок к правильным ответам

Вопрос 1

Внутренний запрос записывается в секции …

  1. GOAL
  2. DOMAINS
  3. CLAUSES
Вопрос 2

Конъюнкция двух логических переменных истинна тогда и только тогда, когда …

  1. истинны обе переменные
  2. ложны обе переменные
  3. истинна одна переменная, а другая – ложна
Вопрос 3

Переменная в языке Prolog является конкретизированной, если …

  1. имеется объект, который обозначает эта переменная
  2. неизвестно, что обозначает эта переменная
  3. имеется несколько объектов, которые обозначает эта переменная
Вопрос 4

Имя … переменных в языке Prolog состоит только из знака подчеркивания

  1. анонимных
  2. скрытых
  3. случайных
Вопрос 5

Свойство объекта или отношение между объектами, для которого известно, что они истинны, – это …

  1. факт
  2. гипотеза
  3. условие
Вопрос 6

Имя свойства или отношения между объектами с последовательностью аргументов – это …

  1. предикат
  2. домен
  3. массив
Вопрос 7

Правила, по которым определяется смысл выражений, их истинность (или ложность), называются …

  1. семантикой
  2. синтаксисом
  3. логистикой
Вопрос 8

Знаки логических операций называются логическими …

  1. связками
  2. функциями
  3. формулами
Вопрос 9

Приписывание значений истинности пропозициональным переменным называется …

  1. интерпретацией
  2. стилизацией
  3. формализацией
Вопрос 10

Интерпретация, для которой пропозициональная формула принимает истинное значение, называются …

  1. моделью
  2. тавтологией
  3. противоречием
Вопрос 11

В языке Prolog тип данных называют …

  1. доменом
  2. массивом
  3. оператором
Вопрос 12

Неверно, что такая логическая операция, как …, выражает причинно-следственные связи между высказываниями

  1. импликация
  2. дизъюнкция
  3. конъюнкция
Вопрос 13

… является секцией цели

  1. GOAL
  2. DOMAINS
  3. CLAUSES
Вопрос 14

Логическая операция, которая ложна тогда, когда ложны обе переменные, – …

  1. дизъюнкция
  2. конъюнкция
  3. импликация
Вопрос 15

Секция, которая применяется, если в программе используются нестандартные предикаты, – …

  1. DOMAINS
  2. CLAUSES
  3. PREDIKATES
Вопрос 16

… переменные используются в случаях, когда значение переменной несущественно, но переменная должна быть использована

  1. Анонимные
  2. Скрытые
  3. Случайные
Вопрос 17

Логическими константами называются значения логических переменных …

  1. 1 и 0
  2. ∞ и 0
  3. 1 и 10
Вопрос 18

При стандартной форме записи фактов в языке Prolog имена всех отношений …

  1. и объектов должны начинаться со строчной буквы
  2. и объектов должны начинаться с прописной буквы
  3. должны начинаться со строчной буквы, а имена объектов – с прописной буквы
  4. должны начинаться с прописной буквы, а имена объектов – со строчной буквы
Вопрос 19

Стандартный домен, который обозначает одиночный символ, заключенный в апострофы, – …

  1. char
  2. symbol
  3. real
Вопрос 20

Логическое программирование связывают с системами программирования, основанными на использовании специальных классов логических формул, называемых хорновскими …

  1. дизъюнктами
  2. конъюнктами
  3. резолюциями
Вопрос 21

Два факта в языке Prolog являются сопоставимыми при условии, что …

  1. их предикаты одинаковы и их соответствующие аргументы попарно совпадают
  2. только их аргументы совпадают
  3. их предикаты одинаковы и все их аргументы совпадают
Вопрос 22

… в языке Prolog могут быть внутренними и внешними

  1. Запросы
  2. Предикаты
  3. Переменные
Вопрос 23

Базой данных в языке Prolog называется совокупность …

  1. фактов
  2. вопросов
  3. переменных
Вопрос 24

Нельзя использовать … в хвостовой части правила вывода

  1. скобки
  2. точку
  3. запятую
Вопрос 25

Дерево можно назвать упорядоченным, если все значения, находящиеся в узлах …

  1. левого поддерева, меньше значения в корне дерева, а все значения, находящиеся в узлах правого поддерева, больше значения в корне дерева
  2. левого поддерева, больше значения в корне дерева, а все значения, находящиеся в узлах правого поддерева, меньше значения в корне дерева
  3. левого и правого поддеревьев, меньше значения в корне дерева
  4. левого и правого поддеревьев, больше значения в корне дерева
Вопрос 26

Составной объект, в котором можно выделить три составные части, – …

  1. дерево
  2. список
  3. строка
Вопрос 27

Поиск с возвратом после того, как доказательство целей миновало отсечение, …

  1. возможен только справа от отсечения
  2. возможен
  3. невозможен
Вопрос 28

Простой запрос состоит …

  1. из имени предиката, за которым располагается список аргументов
  2. только из имени предиката
  3. только из списка аргументов
Вопрос 29

Ход решения, представленный в виде дерева, называется деревом …

  1. целей
  2. задач
  3. решений
Вопрос 30

Проверка принадлежности элемента к списку выполняется отделением головы списка и сравнением ее с … элементом

  1. искомым
  2. первым
  3. последним
Вопрос 31

Узлы дерева, у которых нет левого и правого поддерева, называются …

  1. вершинами
  2. корнями
  3. ветвями
Вопрос 32

Последовательная обработка всех узлов дерева называется … дерева

  1. обходом
  2. проверкой
  3. осмотром
Вопрос 33

… называется последовательность символов, удовлетворяющая следующим условиям: имя в соответствии с синтаксисом языка Prolog, число или отличный от пробела символ

  1. Лексемой
  2. Литерой
  3. Термом
Вопрос 34

Наименьшая единица данных, которая может участвовать в операциях ввода-вывода, – это …

  1. литера
  2. терм
  3. предложение
Вопрос 35

Оператор является …, если он имеет два аргумента и располагается между ними

  1. инфиксным
  2. постфиксным
  3. префиксным
Вопрос 36

Приглашение, которое означает, что интерпретатор готов к обработке запроса, – …

  1. ¦?
  2. :-
  3. ¦!
Вопрос 37

Составной объект в языке Prolog, который заключается в квадратные скобки, а его элементы разделяются запятыми, – …

  1. список
  2. строка
  3. дерево
Вопрос 38

Специальный символ в языке Prolog, который используется для разделения списка на голову и хвост, – …

  1. | (вертикальная черта)
  2. ! (восклицательный знак)
  3. ; (точка с запятой)
Вопрос 39

Предикат, который применяется для перехода на новую строку при печати данных на дисплее, – …

  1. nl
  2. print
  3. pp
Вопрос 40

Предикат, который используется для печати краткого содержания событий, – …

  1. phh
  2. pp
  3. ppx
Вопрос 41

Предикат, который выполняет те же действия, что и write, за тем исключением, что он игнорирует все сделанные объявления операторов, – …

  1. display
  2. print
  3. pp
Вопрос 42

Предикат, который используется для ввода литер, набираемых на клавиатуре терминала, – …

  1. get(X)
  2. put(X)
  3. tab(X)
Вопрос 43

Предикат, который используется для определения имени файла, служащего текущим выходным потоком данных, – …

  1. telling
  2. tell
  3. told
Вопрос 44

Предикат … предотвращает поиск с возвратом

  1. !
  2. fail
  3. print
Вопрос 45

Символ, который является признаком конца ввода символов, – …

  1. #
  2. !
  3. ;
Вопрос 46

Анонимная переменная предписывает интерпретатору … значению аргумента

  1. проигнорировать
  2. повторно проверить
  3. присвоить истинность
Вопрос 47

Знаком * в языке Prolog обозначается …

  1. точка возврата
  2. переменная, не имеющая значения
  3. точка отсчета
Вопрос 48

Преобразование пустого списка дает в результате …

  1. такой же пустой список
  2. список с одним элементом
  3. список с несколькими элементами
Вопрос 49

… добавляется к именам переменных для того, чтобы различать их на различных уровнях рекурсии

  1. Апостроф
  2. Точка
  3. Восклицательный знак
Вопрос 50

Использование предиката … может помочь обнаружить ошибки в программе

  1. listing
  2. clause
  3. asserta
Вопрос 51

Целевое утверждение var(X)согласуется с базой данных в случае если на текущий момент X является … переменной

  1. неконкретизированной
  2. анонимной
  3. свободной
Вопрос 52

Класс формул исчисления предикатов, к которому относятся формулы, истинные в одних интерпретациях и ложные в других, – это …

  1. нейтральные формулы
  2. противоречия
  3. общезначимые формулы
Вопрос 53

Выражение, на который навешивается квантор, называется областью … квантора

  1. действия
  2. значения
  3. определения
Вопрос 54

Множество с заданными на нем операциями и отношениями называется …

  1. алгебраической системой
  2. алгеброй
  3. моделью
Вопрос 55

Открытая формула называется тавтологией, если она …

  1. истинна в любой интерпретации
  2. истинна в некоторой интерпретации
  3. ложна в некоторой интерпретации
Вопрос 56

… отношения называют признаками или свойствами

  1. Одноместные
  2. Двухместные
  3. Трехместные
Вопрос 57

Неверно, что исчисление предикатов является … функцией

  1. разрешимой
  2. неразрешимой
  3. непротиворечивой
Вопрос 58

Предикат для ввода и вывода является … предикатом

  1. встроенным
  2. разрешимым
  3. связанным
Вопрос 59

Высказыванием называется выражение, не имеющее … переменных

  1. свободных
  2. связанных
  3. анонимных
Вопрос 60

Целевое утверждение, которое согласуется с базой данных, если текущее значение X является атомом в смысле языка Prolog, – …

  1. atom(X)
  2. atomic(X)
  3. integer(X)
Вопрос 61

Целевое утверждение, которое согласуется с базой данных, если на текущий момент X обозначает либо целое число, либо атом, – …

  1. atomic(X)
  2. atom(X)
  3. integer(X)
Вопрос 62

Предикат … предназначен для использования в тех ситуациях, когда вы хотите добавить утверждения из некоторого файла к утверждениям, уже имеющимся в базе данных

  1. consult
  2. reconsult
  3. phh
  4. retractall
Вопрос 63

Предикат … удобно использовать для исправления ошибок в программе

  1. reconsult
  2. consult
  3. phh
  4. retractall
Вопрос 64

Предикат … используется в ситуации, когда вы хотите явно указать, что для некоторого целевого утверждения нужно перебрать все решения

  1. fail
  2. true
  3. phh
Вопрос 65

Предикат … очень полезен в том случае, если надо создать программы, анализирующие или исполняющие другие программы

  1. clause
  2. listing
  3. asserta