Создан заказ №3585582
24 января 2019
Тест онлайн логическое и функциональное программирование
Как заказчик описал требования к работе:
• 1
Пролог
Question1
Пусть имеется прологовская программа
p(1).
p(2):-!.
p(3).
Какие будут конкретизации пролог-системы на следующий запрос?
?- p(X).
Введите последовательность конкретизаций переменной X - строку символов из чисел разделенных пробелами.
Введите слово, словосочетание или си
мвольно-цифровое выражение.
Лисп
Question2
Лисп. Какие из следующих утверждений верны?
1. λ-исчисление - это исчисление безымянных функций. Оно включает в себя нотацию для записи выражений и набор правил преобразований этих выражений.
2. λ-исчисление может быть дополнено произвольным набором констант, таких, как целые числа, и связанных с ними функций, называемых δ-правилами.
3. Когда есть возможность выбрать редекс для преобразования, выбор определяется порядком редукций. Двумя альтернативными стратегиями выбора являются аппликативный порядок редукций и нормальный порядок редукций, тесно связанные с ленивым вычислением и энергичным вычислением, соответственно.
4. Удалив δ-правила, мы получим чистое λ-исчисление. В нем нельзя выразить некоторые функции.
Введите номера правильных утверждений через пробел (в порядке возрастания).
1, 3
Введите слово, словосочетание или символьно-цифровое выражение.
Лисп
Question3
Лисп. Пусть W≡λx.λy.xyy. Различные цепочки редукций выражения W W W могут привести только к четырем различным термам. Найдите в следующем списке терм, к которому мы не можем редуцировать W W W:
1) W W W;
2) (λy.Wyy)W;
3) (λy.yyy)W;
4) (λy.yyW)W;
5) (λy.(λx.yxx)y)W.
Введите номер терма.
Введите слово, словосочетание или символьно-цифровое выражение.
Лисп
Question4
Лисп. Какие из следующих вызовов возвращают значение t?
1) (atom '(cdr nil));
2) (equal '(a b) (cons '(a) '(b)));
3) (atom (* 2 (+ 2 3)));
4) (null (null t));
5) (equal nil (null nil))
6) (equal (atom nil) (caar '((t))))
Введите последовательность номеров вызовов через пробел, где возвращается t (в порядке нумерации).
Введите слово, словосочетание или символьно-цифровое выражение.
Лисп
Question5
Лисп. Дано определение функции
(defun create (x y)
(eval (cons 'defun (cons x (cdr y)))))
Вызов этой функции приводит к определению некоторой новой функции f.
(create 'f '(lambda (x) (+ x 1)))
Чему равно значение (f 2)?
Введите слово, словосочетание или символьно-цифровое выражение.
Пролог
Question6
Пролог. При выполнении цели
?- P = point(2, X).
система унифицирует X = G692, P = point(2, G692). Имя G692 - законное имя прологовской переменной, которое система построила сама во время вычислений. Ей приходится генерировать новые имена, для того чтобы переименовывать введенные пользователем переменные в программе.
В качестве объяснения этому можно предложить:
1) одинаковые имена обозначают в разных предложениях разные переменные;
2) при последовательном применении одного и того же предложения используется каждый раз его "копия" с новым набором переменных.
Вам требуется выбрать верное объяснение.
первая причина правильная;
вторая причина правильная;
верны обе причины;
обе причины неправильны.
Выберите все верные ответы (может быть несколько или один).
Пролог
Question7
Определен следующий прологовский предикат
p(X, [X]).
p(X, [H|T]):- p(X, T).
Какую конкретизацию получит переменная L в результате вычисления следующей цели?
?- p(L, [1,2,3,4,5]).
Введите ответ - строку символов без пробелов.
Введите слово, словосочетание или символьно-цифровое выражение.
Лисп
Question8
Лисп. Дано определения функций
(defun many (f x)
(mapcar (function (lambda (g) (funcall g x))) f))
(defun f1 (x) (+ x x))
(defun f2 (x) (* x x))
Чему равно значение (length (many '(f1 f2) 1))?
Введите слово, словосочетание или символьно-цифровое выражение.
Лисп
Question9
Лисп. Даны три различные функции с аргументами s - список и x - символьное выражение, выполняющие следующие действия:
1) удаляет первое вхождение x из списка s только на верхнем уровне;
2) удаляет все вхождения x из списка s;
3) удаляет все вхождения x из одноуровневого списка s;
Следующие три определения реализуют эти функции (необязательно в том же порядке):
1)
(defun f (s x)
(cond ((null s) nil)
((equal x (first s)) (f (rest s) x))
((listp (first s)) (cons (f (first s) x) (f (rest s) x)))
(t (cons (first s) (f (rest s) x)))))
(предикат (listp y) проверяет, является ли выражение y списком)
2)
(defun f (s x)
(cond ((null s) nil)
((equal x (first s)) (rest s))
(t (cons (first s) (f (rest s) x)))))
3)
(defun f (s x)
(cond ((null s) nil)
((equal x (first s)) (f (rest s) x))
(t (cons (first s) (f (rest s) x)))))
Введите через пробел номера определений, соответствующих действиям в порядке 1), 2), 3).
Введите слово, словосочетание или символьно-цифровое выражение.
Пролог
Question10
Пролог. Пусть предикат перемножения всех натуральных чисел от 1 до N factorial(+N, ?R) определен следующим образом
factorial(1,1).
factorial(2,2).
factorial(N,R):- N>1, N1 is N-1, factorial(N1,R1), R is R1*N.
Сколько ответов даст вызов
?- factorial(3,X).
один ответ X=6;
один неправильный ответ;
два правильных ответа;
три правильных ответа;
программа зациклится;
более трех правильных ответов.
Выберите все верные ответы (может быть несколько или один).
Пролог
Question11
Пролог. Даны следующие утверждения:
1) ни один дракон, который живет в зоопарке, не является счастливым;
2) любой зверь, который встречает добрых людей, является счастливым;
3) люди, которые посещают зоопарк, - добрые;
4) звери, которые живут в зоопарке, встречают людей, которые посещают зоопарк.
Выразим их на языке хорновских клауз:
1)'счастливый'(X):- 'живет в зоопарке'(X), not 'дракон'(X).
2)'счастливый'(X):- 'зверь'(X), 'встречает человека'(X,Y), 'добрый человек'(Y).
3)'добрый человек'(X):- 'посещает зоопарк'(X).
4)'встречает человека'(X,Y):- 'посещает зоопарк'(Y), зверь(X),
'живет в зоопарке'(X).
Какие переводы на языке хорновских дизъюнктов правильны?
Введите через пробел номера правильных переводов (в порядке возрастания).
Введите слово, словосочетание или символьно-цифровое выражение.
Пролог
Question12
Пролог. Для каждого списка в стандартном синтаксисе, использующем символы '.', '[' и ']' :
1) .(x, .(y, .(z,[])));
2) .( x(y),[]);
3) .([x,y], .([z,y],[]));
4) .([x,y], .(z, .([], .(x,[])))),
выберете вариант в сокращенном синтаксисе:
1) [x(y)];
2) [[x,y],z,[],x];
3) [x,y,z];
4) [[x,y],[z,y]].
Введите через пробел номера представлений в сокращенном синтаксисе, соответствующих спискам в первом представлении в порядке 1), 2), 3), 4). Если для какого-то списка из первого представления отсутствует правильный вариант в сокращенном представлении, введите 0.
Введите слово, словосочетание или символьно-цифровое выражение.
Оставшееся время
Факультет дистанционного обучения ТУСУР 2019
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
27 января 2019
Заказ завершен, заказчик получил финальный файл с работой
5
Тест онлайн логическое и функциональное программирование.docx
2019-01-30 23:24
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
автор снова потрясающе справился с моим заказом 100 из 100 ! очень рекомендую этого автора
Хочешь такую же работу?
300 ₽
