Главная / Языки логического программирования

Языки логического программирования - ответы на тесты Интуит

Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта.

Список вопросов:

# Что такое слово в определении НАМ?
# Что не всегда является словом НАМ?
# Что всегда является словом НАМ?
# Что соответствует определению подстановки НАМ?
# Что всегда является подстановкой НАМ?
# Что может быть подстановкой НАМ?
# Что такое НАМ по определению?
# Что не может быть НАМ?
# Что может быть НАМ?
# Что точно соответствует одному из последовательных действий на шаге работы НАМ?
# Какое действие может выполняться на шаге работы НАМ?
# Какое действие не может выполняться на шаге работы НАМ?
# Чем определяется применимость НАМ к входным данным?
# В каком случае НАМ не применим к входным данным?
# В каком случае НАМ применим к входным данным?
# Что не может быть результатом работы НАМ?
# В каком случае результат работы НАМ совпадает с входной строкой?
# В каком случае результат работы НАМ не совпадает с входной строкой?
# Что такое стратегия вычислений в Прологе?
# Что не определяет стратегия вычислений Пролога?
# Что не предотвращает зацикливания при вычислениях Пролога?
# Что такое правило отсечения в Прологе?
# С чем не связан backtracking?
# С чем не связано применение спецификаций?
# При каких стратегиях вычислений не идет передвижения сверху вниз по правилам программы?
# При каких стратегиях вычислений не идет передвижение слева направо по атомам запроса?
# При каких стратегиях вычислений идет поиск правила для выделенного атома запроса?
# При каких стратегиях вычислений идет попытка вычисления всех (или нескольких) атомов для выделенного правила программы?
# В каком случае предикат nonvar(X) возвращает истинное значение?
# В каком случае предикат var(X) возвращает истинное значение?
# К чему приводит выполнение запроса ↔ consult(X)?
# Какие выражения не являются встроенными предикатами?
# Какие выражения не являются встроенными предикатами?
# Какие выражения не являются встроенными предикатами?
# Где употребляется точка с запятой и что она означает?
# Где употребляется конструкция not и что она означает?
# Что делает и что возвращает запрос ↔ read(x)?
# Как определяется атом модели Бэкуса?
# Что может не являться атомом модели Бэкуса?
# Что может являться атомом модели Бэкуса?
# Как определяется объект модели Бэкуса?
# Что не может являться объектом модели Бэкуса?
# Что может являться объектом модели Бэкуса?
# Что такое кортеж в модели Бэкуса?
# Что не является кортежем в модели Бэкуса?
# Что является кортежем в модели Бэкуса?
# Что возвратит следующее применение функции к данным: +:< <2,-1>,-1> ?
# Что возвратит следующее применение функции к данным: x :< <2,-1>,-1> ?
# Что возвратит следующее применение функции к данным: ÷ :< <3,-2>,-1> ?
# Что возвратит следующее применение функции к данным: gt:< <2,-1>,<-1,0> > ?
# Что возвратит следующее применение функции к данным: 3:< <2,-1,0>,<-1,0,2> > ?
# Что возвратит следующее применение функции к данным: t2:< <2,-1,0>,<-1,0,2> > ?
# Что возвратит следующее применение функции к данным: distr:< <2,-1,0>,<-1,0,2> > ?
# Что возвратит следующее применение функции к данным: appendr:< <2,-1,0>,<-1,0,2> > ?
# Что возвратит следующее применение функции к данным: long:< <2,-1,0>,<-1,0,2> > ?
# Определите значение выражения 2*3 в модели Бэкуса.
# Определите значение выражения <2>*<3>.
# Определите значение выражения <2*3>.
# Определите значение выражения 1,2*3.
# Определите значение выражения <1,2*3>.
# Определите значение выражения (1,2*3).
# Определите значение выражения (2 * 2 → 4, 5).
# Определите значение выражения (2 * 2 → 4, 5).
# Определите значение выражения ((2 * 2 → 4, 5) → 5; 7).
# Определите значение выражения =+ :< < 1, 2 > >.
# Определите значение выражения =+ :< < 1, 2 >; < 3; 4 > >.
# Определите значение выражения A+ :< < 1, 2 >; 3 >.
# Определите значение выражения A+ :< < 1, 2 >; < 3; 4 > >.
# Определите значение выражения A+ :< < 1, 2 > >.
# Определите значение выражения (while 2 1) :< F, T, F >.
# Определите значение выражения (while 2 1) :< < T, F >; T, F >.
# Определите значение выражения (while eq * (+2, 3), 1) :< < 1, 2 >; < -1, 4 > >.
# Какое из утверждений является верным?
# Какое из утверждений является неверным?
# Какое из утверждений явяляется верным?
# Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и (1*3,2*3)?
# Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и 3*(1,2)?
# Для каких данных следующие 2 формы не дадут одинакового результата: 1*(1,1) и (1,1)*1?
# Для каких данных следующие 2 формы дадут одинаковый результат: A3*(1,2) и (3*1,3*2)?
# Для каких данных следующие 2 формы дадут одинаковый результат: A(1,2)*3 и (A3*1,A3*2)?
# Для каких данных следующие 2 формы не дадут одинакового результата: A1*(1,1) и A(1,1)*1?
# Для каких данных следующие 2 формы дадут одинаковый результат: /3*(1,2) и 3*(1,2)?
# Для каких данных следующие 2 формы дадут одинаковый результат: /(1,2)*3 и (/1*3,/2*3)?
# Для каких данных следующие 2 формы не дадут одинакового результата: /1*(1,1) и /(1,1)*1?
# Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (3*2,4*1)?
# Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (2,1)*(3*1,4*2)?
# Для каких данных следующие 2 формы не дадут одинакового результата: (1*1,1*1)*(1,1) и (1,1)*(1*1,1*1)?
# Для каких данных следующие 2 формы дадут одинаковый результат: A(1*2) и A1*A2?
# Для каких данных следующие 2 формы дадут одинаковый результат: A3*A4 и A4*A3?
# Для каких данных следующие 2 формы не дадут одинакового результата: A(+*1) и A(1*+)?
# Что такое матрица пар?
# На какие 2 функции разбивается функция простого перемножения матриц?
# Как образуется скалярное произведение пар?
# На какие 2 части разбивается алгоритм подготовки матрицы пар?
# На какие 2 части разбивается расписывание каждой строки первой матрицы с каждой строкой второй транспонированной матрицы?
# При помощи какой формы передаются данные последующей части алгоритма после транспонирования второй матрицы?
# Сколько раз применяется форма композиции в алгоритме простого перемножения матриц?
# Сколько раз применяется форма общей аппликации в алгоритме простого перемножения матриц?
# Сколько раз применяется форма конструкции в алгоритме простого перемножения матриц?
# Что является целью оптимизации в алгоритме перемножения матриц?
# Что остается неизменным при оптимизации алгоритма перемножения матриц?
# В чем основная идея оптимизации алгоритма перемножения матриц?
# Из каких частей слагается алгоритм произведения строки первой матрицы на вторую?
# Сколько форм композиции используется в произведении строки первой матрицы на вторую?
# Сколько форм общей аппликации используется в произведении строки первой матрицы на вторую?
# Из каких частей состоит оптимизированное произведение первой матрицы на вторую после ее транспонирования?
# На сколько случаев разбивается доказательство эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?
# Какие аксиомы используются при доказательстве эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?
# Что такое терм в определении Рефала?
# Что не может быть термом Рефала?
# Что может быть термом Рефала?
# Что такое рефал-выражение?
# Что не может быть рефал-выражением?
# Что может быть рефал-выражением?
# Выражение '(k/aa/ (k/"bb"/..)'
# Выражение (k/aa/ (k/"bb"/.).)
# Выражение (k/aa/ (k/bb/..))
# Из чего состоит описание рефал-функции по определению?
# Что не может входить в описание рефал-функции?
# Что может входить в описание рефал-функции?
# Что не является рефал-предложением?
# Что является рефал-предложением?
# Что не является рефал-предложением?
# Что является ошибкой в следующем рефал-предложении? WWSASB=Ww. 'SB' ' 'Sa
# Что является ошибкой в следующем рефал-предложении? WWWWWW=Ww 'WW' ' 'Sa
# Что является ошибкой в следующем рефал-предложении? EEvvEE=Ee 'EE' VV
# Что такое спецификатор в определении Рефала-2?
# Что не может быть спецификатором Рефала-2?
# Что может быть спецификатором Рефала-2?
# Что такое элемент описания спецификатора в определении Рефала-2?
# Что не может быть элементом описания спецификатора Рефала-2?
# Что может быть элементом описания спецификатора Рефала-2?
# Выражение (RO)S
# Выражение ((S)N)S
# Выражение (O)()D()
# Какое утверждение верно относительно директив Рефала-2?
# Какое утверждение неверно относительно директив Рефала-2?
# Какое утверждение верно относительно директив Рефала-2?
# Какая из директив Рефала-2 содержит только ключевое слово?
# Какая из директив не содержит идентификатора директивы?
# Какая из директив не должна содержать информацию директивы?
# Какие утверждения верны относительно входов программного модуля в Рефале-2?
# Какие утверждения не верны относительно внешних имен программного модуля в Рефале-2?
# Какие утверждения верны относительно директив рефалпредложений в Рефале-2?
# Какое утверждение для функций ввода/вывода Рефала-2 является верным?
# Какое утверждение для функций ввода/вывода Рефала-2 является неверным?
# Какое утверждение для функций ввода/вывода Рефала-2 является верным?
# Какое утверждение для арифметических функций Рефала-2 является верным?
# Какое утверждение для арифметических функций Рефала-2 является неверным?
# Какое утверждение для арифметических функций Рефала-2 является верным?
# Какое утверждение для функций лексического анализа Рефала-2 является верным?
# Какое утверждение для функций лексического анализа Рефала-2 является неверным?
# Какое утверждение для функций лексического анализа Рефала-2 является верным?
# Вычисление выражения k/print/ k/ftochar/ k/chartof/ k/card/....
# Вычисление выражения k/print/ k/functab/ k/chartof/ k/card/....
# Вычисление выражения k/functab/ k/chartof/ k/ftochar/ /f2008/...
# Вычисление выражения Рефала-2 k/pr/k/symb/k/dr/ (k/m1/k/m1/k/m1/...) k/p1/k/p1/..... выведет
# Вычисление выражения Рефала-2 k/pr/k/symb/k/mul/(k/sub/ () k/p1/k/p1/...) k/p1/k/p1/..... выведет
# Вычисление выражения Рефала-2 k/pr/ k/last/ /5/k/multe/ /5/k/ftochar/ /add/.... выведет
# Вычисление выражения Рефала-2 k/pr/ k/symb/ k/lengr/ k/last/ /7/k/multe/ /3/(k/ftochar/ /A1/.) 'B2'..... выведет
# Вычисление выражения Рефала-2 k/pr/ k/symb/ k/lengr/ k/last/ /7/k/multe/ /3/(k/ftochar/ /A/.) 'BC'..... выведет
# Вычисление выражения Рефала-2 k/pr/ k/symb/ k/lengw/ k/first/ /7/k/multe/ /3/(k/ftochar/ /A/.) 'BC'..... выведет
# Что не является видом памяти Рефала-2?
# Что не является видом памяти Рефала-2?
# Что является видом памяти Рефала-2?
# Укажите верное утверждение для Рефала-2.
# Укажите неверное утверждение для Рефала-2.
# Укажите верное утверждение для Рефала-2.
# Какое утверждение для Рефала-2 является верным?
# Какое утверждение для Рефала-2 является неверным?
# Какое утверждение для Рефала-2 является верным?
# Какое утверждение для Рефала-2 является верным?
# Какое утверждение для Рефала-2 является неверным?
# Какое утверждение для Рефала-2 является верным?
# Какое утверждение для Рефала-2 является верным?
# Какое утверждение для Рефала-2 является неверным?
# Какое утверждение для Рефала-2 является верным?
# Что возвратит в поле зрения вычисление выражения k/swr//x/ k/ptr//x/ k/wtr//x/ '5'...?
# Что возвратит в поле зрения вычисление выражения k/swr//x/ k/ptr//x/ k/rdr/ k/wtr//x/ '5'....?
# Что возвратит в поле зрения вычисление выражения k/ptr//x/ k/rdr/ k/wtr//x/ '5'....?
# Укажите верное утверждение для Рефала-5.
# Укажите неверное утверждение для Рефала-5.
# Укажите верное утверждение для Рефала-5.
# Укажите верное утверждение для конструкции условия Рефала-5.
# Укажите неверное утверждение для конструкции условия Рефала-5.
# Укажите верное утверждение для конструкции условия Рефала-5.
# Какое утверждение для Рефала-5 является чистым условием?
# Какое утверждение для Рефала-5 не является чистым присваиванием?
# Какое утверждение для Рефала-5 является условным присваиванием?
# Что называется образцовым окончанием Рефала-5?
# Какое утверждение для Рефала-5 является неверным?
# Какое утверждение для Рефала-5 является верным?
# Что называется результатным окончанием Рефала-5?
# Какое утверждение для Рефала-5 является неверным?
# Какое утверждение для Рефала-5 является верным?
# Что называется результатным блоком Рефала-5?
# Какое утверждение для Рефала-5 является неверным?
# Какое утверждение для Рефала-5 является верным?
# Что называется объектом Пролога?
# Что не является объектом Пролога?
# Что является объектом Пролога?
# Что называется термом Пролога?
# Что не является термом Пролога?
# Что является термом Пролога?
# Что называется фактом Пролога?
# Что является фактом Пролога?
# Что не является фактом Пролога?
# Что называется правилом Пролога?
# Какое утверждение относительно правил Пролога является неверным?
# Какое утверждение относительно правила Пролога является верным?
# Что называется запросом Пролога?
# Какое утверждение относительно запроса Пролога является неверным?
# Какое утвверждени относительно запроса Пролога является верным?
# Что может быть ответом на запрос Пролога?
# Что является верным в отношении ответа на запрос?
# Что является неверным в отношении ответа на запрос?
# Что определяет вход в процедуру Пролога?
# Что является входом в процедуру Пролога?
# Что не является входом в процедуру Пролога?
# Как ведется рассмотрение запроса?
# В каком случае интерпретация переменных рассмотренных атомов запроса годится при рассмотрении следующего атома?
# В каком случае интерпретация переменных рассмотренных атомов запроса не годится при рассмотрении следующего атома?
# Как ведется рассмотрение формул процедуры для атома?
# В каком случае интерпретация переменных рассмотренных формул процедуры годится при рассмотрении следующей формулы?
# В каком случае интерпретация переменных рассмотренных формул процедуры не годится при рассмотрении следующей формулы?
# Каким образом изменяется запрос при вычислениях?
# В каком случае в результате шага вычислений запрос не изменяется?
# Что происходит при отсутствии интерпретации переменных очередного атома запроса?
# Что происходит, если вычисление запроса на каком-либо шаге заканчивается неуспешно?
# Что происходит, если в результате вычислений получен пустой запрос?
# Что происходит, если в результате вычислений не получен пустой запрос?
# Что такое дерево атома запроса?
# Что такое дерево заголовка процедуры?
# В чем состоит процесс отождествления деревьев атома запроса и заголовка процедуры?
# Укажите формальное определение атома Пролога?
# Что является атомом Пролога?
# Что не является атомом Пролога?
# Что по определению является программой Пролога?
# Что по определению является запросом Пролога?
# Какие атомы могут употребляться в запросе?
# Как определяется подстановка Пролога?
# Что такое по определению частный случай выражения?
# Что такое по определению вариант выражения?
# Как определяется унификатор выражений?
# Как определяется наиболее общий унификатор выражений?
# В каком случае не существует НОУ выражений?
# Что называется интерпретацией программы?
# Что называется моделью программы?
# Что называется основной моделью программы?
# Что называется ответом на запрос интерпретации?
# Что называется правильным ответом?
# В каких случаях ответом является "Да" или "Нет"?
# Как связаны ответ и правильный ответ?
# Как определяется отношение выводимости запросов Q1 и Q2?
# Что представляет собой пространство вычислений программы?
# Как графически представляется пространство вычислений программы?