Ответы на ИНТУИТ

ИНТУИТ ответы на тесты

Решение тестов / курсов
База ответов ИНТУИТ.RU
Заказать решение курсов или тестов:
https://vk.com/id358194635
https://vk.com/public118569203

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

Заказать решение
Количество вопросов 257

Для каких данных следующие 2 формы не дадут одинакового результата: /1*(1,1) и /(1,1)*1?

перейти к ответу ->>

Что происходит, если вычисление запроса на каком-либо шаге заканчивается неуспешно?

перейти к ответу ->>

Из каких частей состоит оптимизированное произведение первой матрицы на вторую после ее транспонирования?

перейти к ответу ->>

Определите значение выражения (while 2 1) :< F, T, F >.

перейти к ответу ->>

Какое действие может выполняться на шаге работы НАМ?

перейти к ответу ->>

В чем состоит процесс отождествления деревьев атома запроса и заголовка процедуры?

перейти к ответу ->>

Что является рефал-предложением?

перейти к ответу ->>

Сколько раз применяется форма общей аппликации в алгоритме простого перемножения матриц?

перейти к ответу ->>

Что может быть подстановкой НАМ?

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (3*2,4*1)?

перейти к ответу ->>

Что не является кортежем в модели Бэкуса?

перейти к ответу ->>

Какое утверждение для Рефала-2 является верным?

перейти к ответу ->>

На сколько случаев разбивается доказательство эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?

перейти к ответу ->>

Из каких частей слагается алгоритм произведения строки первой матрицы на вторую?

перейти к ответу ->>

В чем основная идея оптимизации алгоритма перемножения матриц?

перейти к ответу ->>

Сколько раз применяется форма конструкции в алгоритме простого перемножения матриц?

перейти к ответу ->>

При помощи какой формы передаются данные последующей части алгоритма после транспонирования второй матрицы?

перейти к ответу ->>

Что такое матрица пар?

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (2,1)*(3*1,4*2)?

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: /3*(1,2) и 3*(1,2)?

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: A3*(1,2) и (3*1,3*2)?

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и (1*3,2*3)?

перейти к ответу ->>

Какое из утверждений является неверным?

перейти к ответу ->>

Определите значение выражения (2 * 2 →​ 4, 5).

перейти к ответу ->>

Определите значение выражения <1,2*3>.

перейти к ответу ->>

Что возвратит следующее применение функции к данным: long:< <2,-1,0>,<-1,0,2> > ?

перейти к ответу ->>

Что возвратит следующее применение функции к данным: +:< <2,-1>,-1> ?

перейти к ответу ->>

Как определяется объект модели Бэкуса?

перейти к ответу ->>

Как определяется атом модели Бэкуса?

перейти к ответу ->>

Где употребляется конструкция not и что она означает?

перейти к ответу ->>

Какие выражения не являются встроенными предикатами?

перейти к ответу ->>

К чему приводит выполнение запроса ↔ consult(X)?

перейти к ответу ->>

Что не предотвращает зацикливания при вычислениях Пролога?

перейти к ответу ->>

Что представляет собой пространство вычислений программы?

перейти к ответу ->>

Что называется ответом на запрос интерпретации?

перейти к ответу ->>

Как определяется унификатор выражений?

перейти к ответу ->>

Как определяется подстановка Пролога?

перейти к ответу ->>

Какие атомы могут употребляться в запросе?

перейти к ответу ->>

Что не является атомом Пролога?

перейти к ответу ->>

Что такое дерево заголовка процедуры?

перейти к ответу ->>

Что происходит, если в результате вычислений не получен пустой запрос?

перейти к ответу ->>

В каком случае в результате шага вычислений запрос не изменяется?

перейти к ответу ->>

В каком случае интерпретация переменных рассмотренных формул процедуры годится при рассмотрении следующей формулы?

перейти к ответу ->>

Как ведется рассмотрение запроса?

перейти к ответу ->>

Что не является входом в процедуру Пролога?

перейти к ответу ->>

Что является неверным в отношении ответа на запрос?

перейти к ответу ->>

Какое утвверждени относительно запроса Пролога является верным?

перейти к ответу ->>

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

перейти к ответу ->>

Что является фактом Пролога?

перейти к ответу ->>

Что называется термом Пролога?

перейти к ответу ->>

Что не является объектом Пролога?

перейти к ответу ->>

Что называется результатным блоком Рефала-5?

перейти к ответу ->>

Какое утверждение для Рефала-5 является верным?

перейти к ответу ->>

Что называется образцовым окончанием Рефала-5?

перейти к ответу ->>

Какое утверждение для Рефала-5 не является чистым присваиванием?

перейти к ответу ->>

Что возвратит в поле зрения вычисление выражения

k/swr//x/ k/ptr//x/ k/wtr//x/ '5'...?

перейти к ответу ->>

Какое утверждение для Рефала-2 является верным?

перейти к ответу ->>

Какое утверждение для Рефала-2 является верным?

перейти к ответу ->>

Какое утверждение для Рефала-2 является верным?

перейти к ответу ->>

Укажите верное утверждение для Рефала-2.

перейти к ответу ->>

Что не является видом памяти Рефала-2?

перейти к ответу ->>

Вычисление выражения Рефала-2

k/pr/ k/symb/ k/lengr/ k/last/ /7/k/multe/ /3/(k/ftochar/ /A1/.) 'B2'.....

выведет

перейти к ответу ->>

Вычисление выражения Рефала-2

k/pr/k/symb/k/dr/ (k/m1/k/m1/k/m1/...) k/p1/k/p1/.....

выведет

перейти к ответу ->>

Вычисление выражения k/print/ k/ftochar/ k/chartof/ k/card/....

перейти к ответу ->>

Какое утверждение для функций лексического анализа Рефала-2 является верным?

перейти к ответу ->>

Какое утверждение для арифметических функций Рефала-2 является верным?

перейти к ответу ->>

Какое утверждение для функций ввода/вывода Рефала-2 является верным?

перейти к ответу ->>

Какие утверждения верны относительно входов программного модуля в Рефале-2?

перейти к ответу ->>

Какая из директив не содержит идентификатора директивы?

перейти к ответу ->>

Выражение (O)()D()

перейти к ответу ->>

Что такое элемент описания спецификатора в определении Рефала-2?

перейти к ответу ->>

Что не может быть спецификатором Рефала-2?

перейти к ответу ->>

Что не является рефал-предложением?

перейти к ответу ->>

Из чего состоит описание рефал-функции по определению?

перейти к ответу ->>

Выражение (k/aa/ (k/"bb"/.).)

перейти к ответу ->>

Что такое рефал-выражение?

перейти к ответу ->>

Что может быть термом Рефала?

перейти к ответу ->>

Что не может быть результатом работы НАМ?

перейти к ответу ->>

Какое действие не может выполняться на шаге работы НАМ?

перейти к ответу ->>

Что не может быть НАМ?

перейти к ответу ->>

Что всегда является подстановкой НАМ?

перейти к ответу ->>

Что всегда является словом НАМ?

перейти к ответу ->>

Какое утверждение верно относительно директив Рефала-2?

перейти к ответу ->>

Какое из утверждений явяляется верным?

перейти к ответу ->>

Что происходит при отсутствии интерпретации переменных очередного атома запроса?

перейти к ответу ->>

Что происходит, если в результате вычислений получен пустой запрос?

перейти к ответу ->>

Какое утверждение для Рефала-5 является верным?

перейти к ответу ->>

Для каких данных следующие 2 формы не дадут одинакового результата: A(+*1) и A(1*+)?

перейти к ответу ->>

Что возвратит следующее применение функции к данным: 3:< <2,-1,0>,<-1,0,2> > ?

перейти к ответу ->>

Определите значение выражения A+ :< < 1, 2 >; < 3; 4 > >.

перейти к ответу ->>

Что не является термом Пролога?

перейти к ответу ->>

Что соответствует определению подстановки НАМ?

перейти к ответу ->>

Какое утверждение для Рефала-2 является неверным?

перейти к ответу ->>

Что является объектом Пролога?

перейти к ответу ->>

Что такое кортеж в модели Бэкуса?

перейти к ответу ->>

С чем не связан backtracking?

перейти к ответу ->>

Что такое по определению вариант выражения?

перейти к ответу ->>

Что делает и что возвращает запрос ↔ read(x)?

перейти к ответу ->>

Определите значение выражения 2*3 в модели Бэкуса.

перейти к ответу ->>

Что не является видом памяти Рефала-2?

перейти к ответу ->>

Определите значение выражения =+ :< < 1, 2 >; < 3; 4 > >.

перейти к ответу ->>

Как ведется рассмотрение формул процедуры для атома?

перейти к ответу ->>

Какое утверждение для Рефала-2 является верным?

перейти к ответу ->>

Укажите верное утверждение для Рефала-5.

перейти к ответу ->>

Какие утверждения верны относительно директив рефалпредложений в Рефале-2?

перейти к ответу ->>

Определите значение выражения (while eq * (+2, 3), 1) :< < 1, 2 >; < -1, 4 > >.

перейти к ответу ->>

Что может быть элементом описания спецификатора Рефала-2?

перейти к ответу ->>

Какие аксиомы используются при доказательстве эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?

перейти к ответу ->>

Что называется основной моделью программы?

перейти к ответу ->>

Что является ошибкой в следующем рефал-предложении? EEvvEE=Ee 'EE' VV
(Ответ считается верным, если отмечены все правильные варианты ответов.)

перейти к ответу ->>

При каких стратегиях вычислений не идет передвижение слева направо по атомам запроса?
(Ответ считается верным, если отмечены все правильные варианты ответов.)

перейти к ответу ->>

Какое утверждение для Рефала-5 является верным?
(Ответ считается верным, если отмечены все правильные варианты ответов.)

перейти к ответу ->>

В каком случае НАМ не применим к входным данным?
(Ответ считается верным, если отмечены все правильные варианты ответов.)

перейти к ответу ->>

Какое утверждение неверно относительно директив Рефала-2?

перейти к ответу ->>

Укажите неверное утверждение для конструкции условия Рефала-5.

перейти к ответу ->>

С чем не связано применение спецификаций?

перейти к ответу ->>

На какие 2 функции разбивается функция простого перемножения матриц?

перейти к ответу ->>

В каком случае предикат nonvar(X) возвращает истинное значение?

перейти к ответу ->>

Что является ошибкой в следующем рефал-предложении? WWWWWW=Ww 'WW' ' 'Sa

перейти к ответу ->>

Что по определению является программой Пролога?

перейти к ответу ->>

Каким образом изменяется запрос при вычислениях?

перейти к ответу ->>

Что не может являться объектом модели Бэкуса?

перейти к ответу ->>

Сколько раз применяется форма композиции в алгоритме простого перемножения матриц?

перейти к ответу ->>

Определите значение выражения A+ :< < 1, 2 >; 3 >.

перейти к ответу ->>

Определите значение выражения (1,2*3).

перейти к ответу ->>

Какое утверждение для Рефала-2 является неверным?

перейти к ответу ->>

Какое утверждение для функций лексического анализа Рефала-2 является верным?

перейти к ответу ->>

Что не может быть термом Рефала?

перейти к ответу ->>

Какое утверждение для Рефала-2 является неверным?

перейти к ответу ->>

Какое утверждение для функций ввода/вывода Рефала-2 является верным?

перейти к ответу ->>

Что не определяет стратегия вычислений Пролога?

перейти к ответу ->>

Где употребляется точка с запятой и что она означает?

перейти к ответу ->>

Что такое НАМ по определению?

перейти к ответу ->>

Что точно соответствует одному из последовательных действий на шаге работы НАМ?

перейти к ответу ->>

В каком случае НАМ применим к входным данным?

перейти к ответу ->>

Что может быть рефал-выражением?

перейти к ответу ->>

Выражение (k/aa/ (k/bb/..))

перейти к ответу ->>

Что не может быть элементом описания спецификатора Рефала-2?

перейти к ответу ->>

Выражение ((S)N)S

перейти к ответу ->>

Вычисление выражения k/functab/ k/chartof/ k/ftochar/ /f2008/...

перейти к ответу ->>

Вычисление выражения Рефала-2

k/pr/k/symb/k/mul/(k/sub/ () k/p1/k/p1/...) k/p1/k/p1/.....

выведет

перейти к ответу ->>

Вычисление выражения Рефала-2

k/pr/ k/symb/ k/lengw/ k/first/ /7/k/multe/ /3/(k/ftochar/ /A/.) 'BC'.....

выведет

перейти к ответу ->>

Что возвратит в поле зрения вычисление выражения

k/ptr//x/ k/rdr/ k/wtr//x/ '5'....?

перейти к ответу ->>

Укажите неверное утверждение для Рефала-5.

перейти к ответу ->>

Какое утверждение для Рефала-5 является условным присваиванием?

перейти к ответу ->>

Какое утверждение для Рефала-5 является неверным?

перейти к ответу ->>

Какое утверждение для Рефала-5 является неверным?

перейти к ответу ->>

Что называется объектом Пролога?

перейти к ответу ->>

Что является термом Пролога?

перейти к ответу ->>

Что называется фактом Пролога?

перейти к ответу ->>

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

перейти к ответу ->>

Что называется запросом Пролога?

перейти к ответу ->>

Что является верным в отношении ответа на запрос?

перейти к ответу ->>

В каком случае не существует НОУ выражений?

перейти к ответу ->>

Что называется интерпретацией программы?

перейти к ответу ->>

Что называется правильным ответом?

перейти к ответу ->>

Как графически представляется пространство вычислений программы?

перейти к ответу ->>

При каких стратегиях вычислений не идет передвижения сверху вниз по правилам программы?

перейти к ответу ->>

Какие выражения не являются встроенными предикатами?

перейти к ответу ->>

Что является кортежем в модели Бэкуса?

перейти к ответу ->>

Что возвратит следующее применение функции к данным: gt:< <2,-1>,<-1,0> > ?

перейти к ответу ->>

Что возвратит следующее применение функции к данным: distr:< <2,-1,0>,<-1,0,2> > ?

перейти к ответу ->>

Определите значение выражения <2>*<3>.

перейти к ответу ->>

Определите значение выражения ((2 * 2 →​ 4, 5) →​ 5; 7).

перейти к ответу ->>

Определите значение выражения A+ :< < 1, 2 > >.

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и 3*(1,2)?

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: /(1,2)*3 и (/1*3,/2*3)?

перейти к ответу ->>

Для каких данных следующие 2 формы не дадут одинакового результата: (1*1,1*1)*(1,1) и (1,1)*(1*1,1*1)?

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: A3*A4 и A4*A3?

перейти к ответу ->>

На какие 2 части разбивается алгоритм подготовки матрицы пар?

перейти к ответу ->>

Что является целью оптимизации в алгоритме перемножения матриц?

перейти к ответу ->>

Что может быть ответом на запрос Пролога?

перейти к ответу ->>

Чем определяется применимость НАМ к входным данным?

перейти к ответу ->>

Укажите неверное утверждение для Рефала-2.

перейти к ответу ->>

Какое утверждение для Рефала-5 является чистым условием?

перейти к ответу ->>

Что не всегда является словом НАМ?

перейти к ответу ->>

На какие 2 части разбивается расписывание каждой строки первой матрицы с каждой строкой второй транспонированной матрицы?

перейти к ответу ->>

Определите значение выражения (while 2 1) :< < T, F >; T, F >.

перейти к ответу ->>

Что такое терм в определении Рефала?

перейти к ответу ->>

Какие утверждения не верны относительно внешних имен программного модуля в Рефале-2?

перейти к ответу ->>

Сколько форм общей аппликации используется в произведении строки первой матрицы на вторую?

перейти к ответу ->>

Что может быть НАМ?

перейти к ответу ->>

Что возвратит следующее применение функции к данным: t2:< <2,-1,0>,<-1,0,2> > ?

перейти к ответу ->>

В каком случае предикат var(X) возвращает истинное значение?

перейти к ответу ->>

Что является видом памяти Рефала-2?

перейти к ответу ->>

Как определяется наиболее общий унификатор выражений?

перейти к ответу ->>

Определите значение выражения (2 * 2 →​ 4, 5).

перейти к ответу ->>

Что по определению является запросом Пролога?

перейти к ответу ->>

Что такое слово в определении НАМ?

перейти к ответу ->>

В каком случае результат работы НАМ не совпадает с входной строкой?

перейти к ответу ->>

Что не может быть рефал-выражением?

перейти к ответу ->>

Выражение '(k/aa/ (k/"bb"/..)'

перейти к ответу ->>

Что не может входить в описание рефал-функции?

перейти к ответу ->>

Что не является рефал-предложением?

перейти к ответу ->>

Что является ошибкой в следующем рефал-предложении? WWSASB=Ww. 'SB' ' 'Sa

перейти к ответу ->>

Что может быть спецификатором Рефала-2?

перейти к ответу ->>

Какое утверждение для арифметических функций Рефала-2 является неверным?

перейти к ответу ->>

Вычисление выражения k/print/ k/functab/ k/chartof/ k/card/....

перейти к ответу ->>

Вычисление выражения Рефала-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/ /A/.) 'BC'.....

выведет

перейти к ответу ->>

Укажите верное утверждение для Рефала-5.

перейти к ответу ->>

Укажите верное утверждение для конструкции условия Рефала-5.

перейти к ответу ->>

Что называется результатным окончанием Рефала-5?

перейти к ответу ->>

Какое утверждение относительно запроса Пролога является неверным?

перейти к ответу ->>

Что определяет вход в процедуру Пролога?

перейти к ответу ->>

Что является атомом Пролога?

перейти к ответу ->>

Что называется моделью программы?

перейти к ответу ->>

Как связаны ответ и правильный ответ?

перейти к ответу ->>

Как определяется отношение выводимости запросов Q1 и Q2?

перейти к ответу ->>

Что такое правило отсечения в Прологе?

перейти к ответу ->>

Что может не являться атомом модели Бэкуса?

перейти к ответу ->>

Что возвратит следующее применение функции к данным: x :< <2,-1>,-1> ?

перейти к ответу ->>

Определите значение выражения 1,2*3.

перейти к ответу ->>

Для каких данных следующие 2 формы не дадут одинакового результата: A1*(1,1) и A(1,1)*1?

перейти к ответу ->>

Как образуется скалярное произведение пар?

перейти к ответу ->>

Укажите верное утверждение для Рефала-2.

перейти к ответу ->>

Что остается неизменным при оптимизации алгоритма перемножения матриц?

перейти к ответу ->>

Какие выражения не являются встроенными предикатами?

перейти к ответу ->>

Какое утверждение для Рефала-5 является неверным?

перейти к ответу ->>

Что такое стратегия вычислений в Прологе?

перейти к ответу ->>

Что такое спецификатор в определении Рефала-2?

перейти к ответу ->>

Что такое по определению частный случай выражения?

перейти к ответу ->>

Какое утверждение для функций ввода/вывода Рефала-2 является неверным?

перейти к ответу ->>

Выражение (RO)S

перейти к ответу ->>

Какая из директив Рефала-2 содержит только ключевое слово?

перейти к ответу ->>

Что возвратит в поле зрения вычисление выражения

k/swr//x/ k/ptr//x/ k/rdr/ k/wtr//x/ '5'....?

перейти к ответу ->>

Что является входом в процедуру Пролога?

перейти к ответу ->>

В каком случае интерпретация переменных рассмотренных атомов запроса не годится при рассмотрении следующего атома?

перейти к ответу ->>

Что может являться объектом модели Бэкуса?

перейти к ответу ->>

Что возвратит следующее применение функции к данным: appendr:< <2,-1,0>,<-1,0,2> > ?

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: A(1,2)*3 и (A3*1,A3*2)?

перейти к ответу ->>

Для каких данных следующие 2 формы дадут одинаковый результат: A(1*2) и A1*A2?

перейти к ответу ->>

Какое утверждение верно относительно директив Рефала-2?

перейти к ответу ->>

Что может входить в описание рефал-функции?

перейти к ответу ->>

В каком случае интерпретация переменных рассмотренных формул процедуры не годится при рассмотрении следующей формулы?

перейти к ответу ->>

При каких стратегиях вычислений идет попытка вычисления всех (или нескольких) атомов для выделенного правила программы?

перейти к ответу ->>

Какая из директив не должна содержать информацию директивы?

перейти к ответу ->>

Какое утверждение для Рефала-2 является верным?

перейти к ответу ->>

Что не является фактом Пролога?

перейти к ответу ->>

Что такое дерево атома запроса?

перейти к ответу ->>

Укажите формальное определение атома Пролога?

перейти к ответу ->>

Что может являться атомом модели Бэкуса?

перейти к ответу ->>

Для каких данных следующие 2 формы не дадут одинакового результата: 1*(1,1) и (1,1)*1?

перейти к ответу ->>

Что называется правилом Пролога?

перейти к ответу ->>

В каком случае результат работы НАМ совпадает с входной строкой?

перейти к ответу ->>

Укажите верное утверждение для конструкции условия Рефала-5.

перейти к ответу ->>

В каком случае интерпретация переменных рассмотренных атомов запроса годится при рассмотрении следующего атома?

перейти к ответу ->>

Определите значение выражения =+ :< < 1, 2 > >.

перейти к ответу ->>

Сколько форм композиции используется в произведении строки первой матрицы на вторую?

перейти к ответу ->>

При каких стратегиях вычислений идет поиск правила для выделенного атома запроса?

перейти к ответу ->>

Какое утверждение для арифметических функций Рефала-2 является верным?

перейти к ответу ->>

Какое утверждение для функций лексического анализа Рефала-2 является неверным?

перейти к ответу ->>

Определите значение выражения <2*3>.

перейти к ответу ->>

Какое из утверждений является верным?

перейти к ответу ->>

В каких случаях ответом является "Да" или "Нет"?

перейти к ответу ->>

Что возвратит следующее применение функции к данным: ÷ :< <3,-2>,-1> ?

перейти к ответу ->>