Сертификат "Основы функционального программирования"
  • Сертификат "Основы функционального программирования"
  • Сертификат "Основы функционального программирования"
Сертификат "Основы функционального программирования"
  • Сертификат "Основы функционального программирования"
  • Сертификат "Основы функционального программирования"

Основы функционального программирования

700,00 руб.
В течение часа!
Экзамен "Основы функционального программирования" для пользователей и системных администраторов.
Количество
Есть в наличии!

Форма сдачи теста: Экстерн
Количество вопросов: 30
Проходной балл: 90% и выше
Срок действия сертификата: неограничен

Сертификат появляется в профиле ресурса INTUIT, и Вы можете заказать его бумажную версию на сайте INTUIT.
12587 шт.
Внимание !
Вопросы к тесту выложены исключительно в ознакомительных целях: количество вопросов может не совпадать с действительным, актуальность не поддерживается,- за решением теста Welcome to the cashier!

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

ML
Logo
Lisp


Отметьте название языка программирования, в котором впервые поддержаны идеи функционального программирования

Lisp
Prolog
Python


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

Haskell
Scheme
Lisp


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

абстрагирование данных и программ их обработки
эффективность реализации алгоритмов
близость структур данных к специфике оборудования


Какая особенность функционального подхода дает путь к достижению надежности программ?

доказательность основных построений при разработке универсальных функций
высокий уровень языковых средств
разнообразие встроенных функций и библиотек


Какой метод решения задач особенно характерен для функционального программирования?

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


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

Джон Бэкус
Джон Мак-Карти
Джекоб Шварц


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

Святослав Сергеевич Лавров
Джон Мак-Карти
Джон Бэкус


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

Тони Хоар
Николас Вирт
Джон Мак-Карти


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

первая половина 20 века
период увлечения языками сверхвысокого уровня
период первых исследований искусственного интеллекта
эпоха первых компьютеров


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

Auto-CAD - программный комплекс средств инженерной компьютерной графики для нужд проектирования: расчеты, чертежи и эскизы
"Элиза" - программа-собеседник, имитирующая диалог с психоаналитиком
программа игры в шахматы
автоматическая проверка доказательств теорем


Чьи идеи были выбраны Джоном Мак-Карти в качестве семантической основы языка Лисп?

Чёрча
Маркова
Поста
Тьюринга


Какой из перечисленных механизмов реализации языка Лисп способствовал практическому успеху функционального программирования?

отсутствие "синтаксического сахара" в представлении программ
математическая основа исходных понятий
автоматизация повторного использования памяти - "сбор мусора"


Какой из перечисленных механизмов реализации языка Лисп способствовал практичности функционального программирования?

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


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

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


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

Eq
subst
atom
delete
cons


Какие из перечисленных атомов представляют функции, входящие в базис языка Лисп?

cdr
atom
car
list
member


Какие операции входят в базис языка Лисп?

cdr
eq
cons
car
assos
atom
union


Какой из перечисленных механизмов языка Лисп унаследован новыми языками программирования, например Perl и другие?

ассоциативные таблицы
предельно простой синтаксис
самоопределение языка программирования


Какой из перечисленных механизмов языка Лисп унаследован новыми языками программирования, например Java и другие?

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


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

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


Отметьте структуры данных, удобные для функционального программирования?

списки
числа
матрицы
битовые строки


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

Атомы
списки
числа
вектора


Какие структуры данных обрабатываются программами, написанными на языке Лисп?

Таблицы
Вектора
S-выражения
списки и атомы


Какое из приведенных данных представляет собой самое простое составное S-выражение?

(A . B)
((one . один) (two. два) (three . три))
( cons (a b) NIL )


Какое из приведенных данных представляет собой составное S-выражение?

(car (quote (cons a b)))
( cons (a b) NIL )
Atom


Какое из приведенных данных представляет собой сложное S-выражение?

( ( cons (a b) NIL )
((one . один) (two. два) (three . три))
list


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

( ( cons (a b) NIL )
( ( cons (a b) NIL ))
((a . один) (b . два) (c . три) . пять)


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

( ( cons (a b) NIL )
(car (quote (Маша Миша Майкл)))
((a . один) (b . два) (c . три) . пять)


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

((a . один) (b . два) (c . три) . пять)
(cons (a b) NIL )
(cons (cons a b) NIL )


Какое из приведенных данных не представляет собой ни список, ни сложное S-выражение?

(один, два, четыре)
( ( cons (a b) NIL )
(eq a (b . c))


Какой из приведенных текстов не представляет собой ни список, ни сложное S-выражение?

(один, два, три, четыре, два)
;; (a b c)
(eq a (b . c))


Какой из приведенных текстов не изображает ни список, ни сложное S-выражение?

(eq a b)
(три, четыре, пять)
атом
( cons (a b) NIL )


Какое из приведенных S-выражений может изображать функцию в Лисп-программе?

(lambda x (car x))
car
(defun fn (x ) (cons x x))


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

(defun fn (x ) (cons x x))
(cons x x)
(lambda (x) (car x))


В каком из приведенных S-выражений представления функций расположены корректно?

(defun fn (x ) (cons x x)) (fn 123 )
((cons 'один 'сто) 'два 'двести)
(((lambda (x) (car x))) '(сто двадцать три))
(два плюс три минус семь)


Какое из приведенных S-выражений не может изображать функцию в Лисп-программе?

(defun fn (x ) (cons x x))
(lambda (x) (car x))
Cons


Какое из приведенных S-выражений не может играть роль представления функций в Лисп-программе?

Cons
(один два три)
(lambda (x) (car x))


Как можно изменить форму (cons (a 'три) (b 'четыре)), чтобы получить значение при заданных значениях переменных a и b, а не диагностическое сообщение?

в начало каждого из аргументов следует вставить бинарную функцию, чтобы их значения вычислялись, например, (eq a 'три), (cons b 'четыре), получится (cons (eq 'a 'три) (cons 'b 'четыре))
символы a и b заменить на их значения, например на 'шесть и 'пять соответственно, что даст нечто вроде (cons ('шесть 'три) ('пять 'четыре))
перед a и b вставить апостроф, блокирующий их вычисление, что дает (cons ('a 'три) ('b 'четыре))


Как можно изменить форму (cons (a 'три) (b 'два)), чтобы увидеть ее значение при заданных a и b, а не диагностическое сообщение?

аргументы функций передать как фактические параметры, что дает форму ((lambda (x y)(cons x y)) '(a 'три) '(b 'два))
убрать внутренние скобки, что дает (cons a 'три b 'два)
символы a и b надо стереть, что даст нечто вроде (cons ('три) ('два))


Как можно изменить форму (cons (a три) (b четыре)), чтобы получить значение cons от заданных списков, а не диагностическое сообщение?

перед каждым из аргументов вставить апостроф, блокирующий их вычисление, что дает (cons '(a 'три) '(b 'четыре))
убрать лишние скобки в аргументах, что дает (cons a 'три b 'четыре)
нужно поставить апосторофы таким образом (cons ('a 'три) ('b 'четыре))


Как можно воздействовать на форму (cons (a 'два) (b 'семь)), чтобы интерпретатор обязательно выдал ее значение, а не диагностическое сообщение?

в начало каждого из аргументов следует вставить бинарную функцию, например, (eq a 'два), (cons b 'семь) в результате получится (cons (eq a 'два) (cons b 'семь))
заменить a и b на атом car, что дает (cons (car 'два) (car 'семь))
символы a и b можно заменить на имена унарных функций над атомами, например atom или quote, что дает (cons (atom 'два) (quote 'семь))


В какой из приведенных форм представления функций расположены корректно?

(((lambda (x) (car x))) '(один два три))
( (lambda (x) (car x)) (quote (1 2 3)))
(два плюс три минус четыре)
((cons 'один 'два) 'три 'четыре)


Что можно подправить, чтобы форма (cons 'один 'два 'три) имела значение?

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


По какой причине не может быть вычислена форма ((cons x 'два) 'три). Что в ней надо подправить, чтобы добиться вычислимости?

надо изображение переменной x заменить на конкретное значение, например 'шесть, что даст нечто вроде ((cons 'шесть 'два) 'три)
первый элемент списка имеет значение, но оно не представляет собой функцию. Например, можно перед ним вставить lambda (x ). Это даст форму ( (lambda (x )(cons x 'два)) 'три) и ее значение (три . два)
первый элемент формы должен быть атомом, так что можно убрать скобки из аргументов, что дает (cons x 'два 'три )


По какой причине не может быть вычислена форма ((cons 'один 'два) 'три) и как ее исправить?

функция cons не приспособлена к работе с числами. Надо атомы заключить в скобки: ((cons '(один) '(два)) 'три)
первый элемент формы должен быть атомом. Надо убрать лишние скобки, будет (cons 'один 'два 'три)
потерян головной элемент списка, возможно, надо (cons (cons 'один 'два) 'три)


Какие из приведенных данных представляют собой S-выражение?

( ( cons (a b) NIL )
(car (quote (list 'one 'two 'ten)))
((a . atom) (b . binary) (c . char))
atom


Какие из приведенных данных представляют собой список?

(car (quote (a b c d)))
((a . atom) (b . binary) (c . char) . d)
( ( cons (a b) NIL ))
( ( cons (a b) NIL )


Какие из приведенных данных не представляют собой ни список, ни S-выражение?

(a . (b . с))
(list a1 b2 c31 d42 )
;; (a b c)
( ( cons (a b) NIL )


Почему форма ((cons 'a1 'b2) 'c3) не может быть вычислена?

потерян головной элемент списка, возможно, было (cons (cons 'a1 'b2) 'c3)
первый элемент списка имеет значение, но оно не представляет собой функцию
функция cons не приспособлена к работе с атомами
первый элемент формы должен быть атомом


Как преобразовать форму (cons 'a1 'b2 'c3 'd4), чтобы получить выражение, имеющее значение?

оставить в списке аргументов только два элемента
заменить "cons" на "list" - функция, строящая список из произвольного числа элементов
заменить атомы на списки
убрать апострофы перед аргументами


Как следует изменить форму (cons (a 'a3) (b 'b4)), чтобы получить ее значение?

перед каждым из аргументов функции cons вставить апостроф, блокирующий их вычисление
символы a и b надо заменить на имена унарных функций
в начало каждого из аргументов следует вставить бинарную функцию, чтобы их значения могли быть вычислены, если a и b определены. Например (cons (eq a 'a3) (cons b 'b4)) может быть вычислена
убрать внутренние скобки, что даст (cons a 'a3 b 'b4)


На каком наборе данных функция member (поиск заданного элемента из списка) выполнит ровно одно обращение к самой себе?

d (a b c d e f)
a (a c d e a f)
f (a )


На каком наборе данных функция member (поиск заданного элемента из списка) выполнит ровно три шага (обращения к самой себе)?

a (a b c d e f)
a (c d e a f)
f (a b c d e)


На каком наборе данных функция member (поиск заданного элемента из списка) выполнит ровно два витка (обращения к самой себе)?

a (c d e a f)
f (a b c d e)
с (a b c d e f)


На каком наборе данных функция insert (вставляет в список перед заданным элементом третий аргумент) сделает более двух обращений к самой себе?

(a b c d) d a
(b a c d) a b
() a c


На каком наборе данных функция insert (вставляет в список перед заданным элементом третий аргумент) сделает более двух обращений к самой себе?

(b a c d) a b
() a c
(a b d) e c


На каком наборе данных функция insert (вставляет в список перед заданным элементом третий аргумент) сделает менее трех обращений к самой себе?

(a b c d e) f c
(b c d e a) a b
(a b c d) a c


Отметьте правильное число обращений к CONS, которое произойдет при выполнении функции append (соединение двух списков в один) на заданных аргументах.

3 (z x y) (w v)
3 (a b) (a c d e)
1 (a d c)(a)
4 (a b) (c d)


В каком случае правильно указано число обращений к CONS, которое произойдет при выполнении функции append (соединение двух списков в один) на заданных аргументах?

5 (z x y) (w v)
1 (a d c)(a)
2 (a b) (c d)
4 (a b) (a c d e)


На каком наборе данных функция append (соединение двух списков в один) даст результат сразу, без рекурсивных обращений к себе?

(a (b c) d) ()
(a b) (c d)
Nil ((a b) c d)


На каком наборе данных функция append (соединение двух списков в один) даст результат сразу, без рекурсии (обращений к самой себе)?

() (a b c)
(a b c d) ()
(a b) (c d)


В каком случае при выяснении, совпадают ли заданные S-выражения, число обращений к себе функции equal (сравнение двух структур) указано верно?

2 (a) (a)
2 ((a b) c) ((a b) d)
1 ( b c d) ( b c a)
3 (a b c) (a b c d)


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

1 (a) (a)
2 ((a b) c) ((a b) d)
4 (a b c) (a b c d)


На каких данных расход памяти (число cons) при вычислении функции subst (подстановка первого аргумента вместо второго в третий) равен длине последнего из аргументов?

(x y) z (a b a z b z)
x (y z) ((a y z) b c d )
x (y z) (a b x y z)
(x) y (a b (y d) x c)


На каких данных расход памяти (число cons) при вычислении функции subst (подстановка первого аргумента вместо второго в третий) превосходит длину последнего из аргументов?

x (x y z) ((x y z) b x y z)
(x) y (a b x y c)
(x y) z (a b (a z b) z)
x (y z) (a b x y z)


На каких данных расход памяти (число вызовов cons) при вычислении функции subst (подстановка первого аргумента вместо второго в третий) пропорционален длине последнего из аргументов?

x (x y z) (a b x y z)
x (y z) ((a y z) b c d )
(x) y (a b x y )
(x y) z (a b (a z b) )


Какая из заданных форм пригодна для успешной интерпретации?

(pairlis '(one two ten) (LIST t d f) '((k . y)(m . z)))
(pairlis (one two ten) '(t d f) '((k . y)(m . z)))
(pairlis '(one two) '( t d f) '((7 . x)(8 . y)))


Какое из заданных выражений вычислимо? (pairlis – наращивает список пар, соединяя в пары элементы первых двух аргументов)

(pairlis (cons a b) '(t d f) '((k . y)(l . y)))
(pairlis '(a b c) '(t d f) '((r . y)(s. y)))
(pairlis (a b c) ( t d f) ((e . x)(g . y)))


Какое из заданных выражений имеет определенный результат? (pairlis – наращивает список пар, соединяя в пары элементы первых двух аргументов)

(pairlis (cons a b) '(t d f) '((k . y)(p . y)))
(pairlis (cons a b) ( t d f) ((ten . x)(two . y)))
(pairlis () () '((k . y) (p . y)) )


Какие из списков представляют перечень ветвей условного выражения (можно вставить cond вслед за первой скобкой)?

((eq(caar c)(cadar c)) (evcon(cdr c)a))
(prog ()((null x) al) (T (CONS (CONS (CAR x) (CAR Y) ) (pairlis (CDR x) (CDR y) al) ))
(((eq x (CAAR al)) (CAR x)) al) ((QUOTE T) (assoc x (CDR al)))


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

(((eval(caar c)a)(eval(cadar c)a))(T(evcon(cdr c)a)))
(((null m)(cons(eval(car m)a)(evlis(cdr m)a)))
((eq x (CAAR x)) (CAR al)) ((QUOTE T) (assoc x (CDR al)))


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

(((null x) al) ((QUOTE T) (CONS (CONS (CAR x) (CAR Y) ) (pairlis (CDR x) (CDR y) al) )))
((eq x (CAAR x)) (CAR al)) ((QUOTE T) (assoc x (CDR al)))
(((null m)(cons(eval(car m)a)(evlis(cdr m)a)))


На каком данном функция append (сцепление двух списков) даст результат сразу, без рекурсии?

Nil ((a b) c d)
(a b) (c d)
() (a b c)
(a b c d) ()


На каких данных функция member (поиск элемента в списке) выполнит ровно три обращения к себе?

d (a b c d e f)
a (c d e a f)
f (a b c d e)


На каком данном функция insert (в список перед вторым аргументом вставляет третий) сделает более двух витков?

(a b d) c a
(a b c d) d a
(b a c d) b a


В каких случаях число обращений к функции equal при выяснении, не совпадают ли заданные S-выражения, приведено верно?

1 (a) (a)
1 (a b c) ( b c a)
4 (a b c) (a b c d)
2 ((a b) c) ((a b) d)


На каких данных расход памяти при вычислении функции subst (подстановка первого аргумента вместо второго в заданную структуру) пропорционален объему последнего из аргументов?

x (y z) (a b x y z)
x (y z) ((a y z) b c d )
(x) y (a b x y c)
(x y) z (a b (a z b) z)


В каких случаях правильно указано число обращений к CONS, которое произойдет при выполнении функции append (сцепление списков) на указанных аргументах?

append 2 (a b) (c d)
append 1 (a d c)(a)
append 3 (z x y) (w v)
append 4 (a b) (a c d e)


Какая из перечисленных форм имеет значение (5 7 9)?

(mapl #'* '(1 2 3) '(4 5 6))
(mapc #'+ '(1 2 3) '(4 5 6))
(mapcar #'+ '(1 2 3) '(4 5 6))


Какая из перечисленных форм построит значение ((2 3)(3) Nil)?

(mapl #'cdr '(1 2 3))
(maplist #'cdr '(1 2 3))
(mapcar #'cdr '(1 2 3))


Какие из перечисленных форм выработает результат (1 4 7 2 5 8 3 6 9)?

(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcan #'list '(1 2 3) '(4 5 6) '(7 8 9))


Какая из форм безопасна для исходных данных?

(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcan #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcon #'+ '(1 2 3) '(4 5 6) '(7 8 9))


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

(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcan #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcon #'list '(1 2 3) '(4 5 6) '(7 8 9))


Какое из выражений при вычислении не искажает исходные данные?

(mapcon #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcan #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'list '(1 2 3) '(4 5 6) '(7 8 9))


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

(mapcan #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapl #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcon #'list '(1 2 3) '(4 5 6) '(7 8 9))


Какая из форм может разрушить исходные данные?

(mapcan #'list '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'list '(1 2 3) '(4 5 6) '(7 8 9))


Какая из форм опасна для сохранения исходных данных?

(mapc #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcon #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))


Какие из форм при вычислении разрушает исходные данные?

(mapl #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcan #'- '(1 2 3) '(4 5 6) '(7 8 9))


Какая из форм формально дает результат, отличающийся от построенной структуры данных?

(mapc #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))


При вычислении какой из форм формальный результат не совпадает с построенной структурой?

(mapl #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))


Результат какой из форм совпадает с фактически построенной структурой?

(mapl #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))


Какая из форм корректно выполнит отображающую функцию на всех наборах аргументов?

(mapcar #'cons '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'+ '(1 2 3) '(a b c))


Какое из выражений корректно вычислит отображающую функцию на всех наборах аргументов?

(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'cons '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'+ '(1 2 3) '(a b c))


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

(maplist #'append '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'cons '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'+ '(1 2 3) '(a b c))


В какой из форм отображающая функция не выполнится из-за несоответствия типов значений?

(maplist #'cons '(1 2 3) '(I O C) '(7 8 9))
(mapcar #'+ '(1 2 3) '(I O C) '(7 8 9))
(mapcar #'list '(1 2 3) '(I O C) '(7 8 9))


В какой из форм несоответствия типов значений помешает выполнению отображающей функции?

(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'+ '(1 2 3) '(4 5 6) (+ 7 8 9))
(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))


В каком выражении не выполнима отображающая функция (несоответствие типов значений)?

(mapcar #'+ '(1 (2) 3) '(4 5 6)'(7 8 9))
(mapc #'list '(1 2 3) '(4 5 6) (list 7 8 9))
(mapl #'list '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'list '(1 2 3) '(4 5 6) '( 7 8 9))


В какой из форм выполнение отображающей функции не зависит от числа аргументов?

(maplist #'CONS '(7 8 9))
(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'CAR '(4 5 6) '(7 8 9))


В какой из форм отображающая функция не выполнится из-за несоответствия числа аргументов?

(mapc #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'CAR '(4 5 6) '(7 8 9))


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

(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'list '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'CONS '(7 8 9))


Какая из перечисленных форм обработает аргументы не по общей схеме?

(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))


Какие из перечисленных форм обработают аргументы по общей схеме?

(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'list '(1 2 3) '(4 5 6) '(7 8 9))


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

(mapcan #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'* '(11 22 33) '(44 55 66) '(77 88 99))


Какие из форм дают формально одинаковый результат?

(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapc #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapl #'list '(1 2 3) '(4 5 6) '(7 8 9))


Какие из форм могут разрушить исходные данные?

(mapcon #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9)
(mapc #'list '(1 2 3) '(4 5 6) '(7 8 9))
(mapcan #'list '(1 2 3) '(4 5 6) '(7 8 9))


Какие из форм не искажают исходные данные?

(mapcan #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'+ '(1 2 3) '(4 5 6) '(7 8 9))
(mapcar #'list '(1 2 3) '(4 5 6) '(7 8 9))
(maplist #'list '(1 2 3) '(4 5 6) '(7 8 9))


Какое из перечисленных S-выражений напечатается как (A B (C D) E)?

(A B (C . D) E)
(A B (C D) . E)
(A B (C . (D . Nil)) E)


Какое из перечисленных S-выражений может быть изображено как (A B (C D) E)?

(A B (C . D) E)
(A B (C D) . E)
(A (B ((C . (D . Nil)) . (E . Nil))) )
(A b (C . (D)) . (E))


Какое из перечисленных S-выражений равносильно (A B (C D) E)?

(A . (B . ((C . (D . Nil)) . (E . Nil))) )
(A B (C . D) E)
(A B (C D) . E)


Какое из S-выражений распечатается как (A (B C) D E)?

(A (B . (C . Nil )) D E)
(A . (B . ((C . (D . Nil)) . (E . Nil))) )
(A (B C) D (E))


Какое из S-выражений равносильно (A B C (D E))?

(A B (C . (D . Nil)) E)
(A (B C) D (E))
(A B C (D . (E . Nil)) . Nil )


Какое из S-выражений имеет ту же структуру, что и (A B C (D E))?

(A B (C . (D . Nil)) E)
(A (B C) D (E))
(A B C (D . (E . Nil)) . Nil)


Какое из S-выражений структурно отличается от (A (B C) D (E))?

(A (B C) . (D (E)))
(A . ((B C) D (E)))
(A B (C . (D . Nil)) E)


Какое из S-выражений не равносильно (A (B C) D (E))?

(A (B . (C . Nil)) D (E))
(A (B C) . (D ( E . Nil)))
(A . (B . ((C . (D . Nil)) . (E . Nil))) )


Какое из S-выражений не является представлением структуры (A (B C) D (E))?

(A (B C) . (D (E)))
(A . ((B C) D (E)))
(A . (B (C . (D . Nil)) . (E . Nil)) ))
(A (B C) D . ( (E)))


Отметьте создание глобальной переменной

(defconstant a 'a)
(setq a 'b)
(defun a 'a)


Отметьте правильное введение локальной переменной x

( lambda (y) (cons x x))
(lambda (z)(setq x (quote (A B C D) )))
(cond ((eq x y)(cons x z)))
(lambda (x y) (cons x y))


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

(defconstant a 'a)
(setq a 'b)
(defparameter a 'b)


Отметьте функцию со свободной переменной

(lambda (x y) (cons z y))
(lambda (x) (quote (A B C D)))
(lambda (x y) (cons y x))


При вычислении какой формы получится результат (A . B)?

((lambda (y x) (cons 'B y)) 'b 'a)
((lambda (x y) (cons x y)) 'a 'b)
((lambda (y x) (cons x y)) 'a 'b)


Значение какого выражения - (A . B)?

((lambda (y x) (cons x y)) 'b 'a)
((lambda (x y) (list x y)) 'a 'b)
((lambda (y x) (cons x y)) 'a 'b)
(cons 'c 'b)


Какое выражение даст результат (A . B)?

(cons 'a 'b)
((lambda (x) (cons x 'A)) 'b )
((lambda (y x) (cons x y)) 'a 'b)


Которое из выражений даст результат (Альфа Центавра)?

(list ' Альфа ' Центавра)
((lambda (x y) (cons x y)) ' Альфа ' Центавра)
((lambda (x y) (list 'x 'y)) ' Альфа ' Центавра)


Которое из выражений даст результат (Альфа Центавра)?

((lambda (x y) (cons x y)) ' Альфа ' Центавра)
((lambda (x ) (list x ' Центавра)) ' Альфа )
((lambda (x y) (list x ' Центр)) ' Альфа ' Центавра )
((lambda (x y) (list 'x 'y)) ' Альфа ' Центавра)


Которое из выражений построит список (Альфа Центавра)?

((lambda (x y) (list y x )) ' Альфа ' Центавра)
((lambda (x y) (list x y)) ' Альфа ' Центавра)
((lambda (x y) (cons x y)) ' Альфа ' Центавра)


Которое из выражений не даст результат (Альфа Центавра) ни при каком значении переменной?

(cons x '(Центавра))
((lambda ( y) (cons x y)) ' Альфа)
((lambda (b) (cons x b)) '(Центавра))
((lambda (b) (list b x )) ' Альфа)


Которое из выражений не может дать результат (Альфа Центавра) независимо от значения переменной?

((lambda (b) (list b x)) ' Альфа)
(cons '(Центавра) x)
((lambda (b) (list x b)) '(Центавра))
((lambda ( y) (cons y x)) ' Альфа)


Которое из выражений не даст результат (Альфа Центавра) при любых значениях переменной?

((lambda (b) (cons x (cons b Nil) )) '(Центавра))
(cons ' Альфа x)
((lambda (b) (list x b)) ' Альфа)
((lambda ( y) (cons y x)) ' Альфа)


Отметьте какие из перечисленных S-выражений равносильны?

(A B (C . (D . Nil)) E)
(A . (B . ((C . (D . Nil)) . (E . Nil))) )
(A B (C D) . E)
(A (B C) D (E))
(A B C D E)


Отметьте S-выражение, не равносильное остальным?

(A (B C) D (E))
(A B (C . (D . Nil)) E)
(A . (B . ((C D) . (E))) )
(A . (B . ((C . (D . Nil)) . (E . Nil))) )


Отметьте правильное введение связной переменной x

(cond ((eq 'ACT y)(cons "ACT z)))
(lambda (x) (cons x 'TAIL))
(lambda (a b c d) (cons x x))
(lambda (z) (quote (x is ABCD to АБВГДЕ)))


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

(defconstant pi 3.14151926)
(defparameter x 'bee)
(defun a-funct 'options)
(set actor 'function)


Отметьте выражения со свободными переменными

(lambda (y) (cons x x))
(lambda (x) (quote (A B C D)))
(cond ((eq x y)(cons x 'z)))
(lambda (x y) (cons z y))


Отметьте определение функции, дающей в результате список из единиц?

(defun LN (L) (cond ((null L)Nil) (T (Cons L (LN (cdr L)))) ))
(defun LN (L) (cond ((null L)Nil) (T (Cons 1 (LN (cdr L)))) ) L)
(defun LN (L) (cond ((null L)Nil) (T (Cons 1 (LN (cdr L)))) ))


Выберите определение функции, чтобы получить список из единиц такой же длины как аргумент:

(defun LN (L) (cond ((null L)Nil) (T (Cons 1 (LN (cdr L)))) ) L)
(defun LN (L) (cond ((null L)Nil) (T (Cons L (LN (cdr L)))) ))
(defun LN (L) (cond (L (Cons 1 (LN (cdr L)))) (1 L) ))


Какое из определений функций дает в результате список из единиц?

(defun LN (L) (cond ((EQ L NIL)L) (T (Cons 1 (LN (cdr L)))) ))
(defun LN (L) (cond ((null L)Nil) (T (Cons L (LN (cdr L)))) ))
(defun LN (L) (cond ((null L)Nil) (T (Cons 1 (LN (cdr L)))) ) L)


Какая из форм не убирает повторы в списках (использовать определение объединения из лекции)?

(union '(1 2 3 1 2 3) Nil)
(union Nil '(1 2 3 1 2 3))
(union '(1 2 3) '(1 2 3))
(union '(1 2 3 ) NIL )


Какая из форм поможет избавиться от совпадений чисел в аргументах (использовать определение объединения из лекции)?

(union Nil '(1 2 3 1 2 3))
(union '(1 2 3 ) Nil)
(union '(1 2 3 4) '(1 2 3 5))


Какая из форм построит список уникальных чисел (использовать определение объединения из лекции)?

(union '(1 2 3 1 2 3) Nil)
(union '(1 2 3) '(1 2 3 2))
(union Nil '(1 2 3 1 2 3))


Отметьте вариант, в котором последовательно будут вычислены выражения e1 e2 e3, а потом выдаст значение e1 как результат?

((lambda (a) a) (list e1 e2 e3))
(car (list e1 e2 e3))
(prog (x) (setq x e1) e2 e3 (print x))
(let ( (a2 e2) (a3 e3)) e1)


Какая форма последовательно вычислит выражения e1 e2 e3, а потом выдаст значение e1 из них как результат?

(let ((a1 e1)(a2 e2) (a3 e3)) a1 a2)
((lambda (a1 a2 a3) a1 (list a2 aN )) e1 e2 e3)
(prog (x y ...) (setq x e1) e2 e3 (return x) )
Внимание !
Вопросы к тесту выложены исключительно в ознакомительных целях: количество вопросов может не совпадать с действительным, актуальность не поддерживается,- за решением теста Welcome to the cashier!

Какая форма последовательно последовательно вычислит выражения e1 e2 3, а потом выдаст значение e1 результат?

((lambda (a1 a2 a3) a1) e1 e2 e3)
(let ((a1 e1) (a2 e2) (a3 e3)) (quote e1)
(prog (x) (setq x e1) e2 e3 (print x))


В каком случае указанная форма последовательно вычислит ряд выражений e1 e2 e3, а потом выдаст значение e1 как результат?

(let ((a1 e1)(a2 e2) (a3 e3)) a1)
(prog (x y) e1 e2 e3 (return e1) )
((lambda (a1 a2 a3) e1) e2 e3)


Какая из форм выдает то же значение, что и (cons y (cdr x))?

(rplacd x y)
(cons x (cdr y))
(rplaca x y)


Какая из форм равнозначна (cons (car x) y)?

(cons x (cdr y))
(rplaca x y)
(rplacd x y)


Какое из выражений формально имеет то же значение, что и (rplaca x y)?

(rplacd x y)
(cons y (cdr x))
(cons x (cdr y))


Какая из форм выведет значение (3 . 3) на экран?

(prog (x)(setq x (+ 1 2)) (return (cons x x)))
(prog (x)(setq x (+ 1 2)) (print (cons x x)))
(cons (+ 1 2)(+ 1 2))
((lambda (x)(cons x x))(+ 1 2))


Какая из форм выдает (возвращает) результат (3 . 3)?

(prog (x)(setq x (+ 1 2)) (print (cons x x)))
(prog (x)(setq x (+ 1 2)) (return (cons x x)))
((lambda (x)(cons x y))(+ 1 2))
(list (+ 1 2)(+ 1 2))


Какая из форм имеет значение (3 . 3)?

(prog (x)(setq x (+ 1 2)) (print (cons x x)))
(let ((x (+ 1 2))) (cons x x) x)
(cons (+ 1 2)(+ 1 2))


Какой из списков аргументов соответствует списку формальных параметров вида (x y z &rest t)?

(1 (2 3 4 5))
((CONS 'a 'b ))
((a)(b) (c))


Какой список значений аргументов соответствует списку параметров вида (x y z &rest t)?

('CONS (car x)(cdr x))
((CONS 'a 'b ))
(1 (2 3 4 5))


Какой список фактических параметров соответствуют списку формальных параметров вида (x y z &rest t)?

(1 2 3 4 5)
((CONS 'a 'b ))
(1 (2 3 4 5))


Какой из списков фактических параметров не соответствует списку формальных параметров вида (x y z &rest t)?

(1 2 3 4 5)
(1 (2 3 4 5))
('CONS (car x)(cdr x))
((a)(b) (c))


Какой список аргументов не соответствует списку формальных параметров (x y z &rest t)?

((a)(b) (c))
(1 2 3 4 5)
('CONS (car x)(cdr x))
Nil


Какой список фактических параметров не соответствует списку формальных параметров вида (x y z &rest t)?

('CONS (car x)(cdr x))
(1 2 3 4 5)
((a)(b) (c))
((CONS 'a 'b ))


Отметьте функционально эквивалентные определения

(defun LN (L) (cond ((null L)Nil) (T (Cons 1 (LN (cdr L)))) ))
(defun LN (L) (cond ((null L)Nil) (T (Cons 1 (LN (cdr L)))) ) L)
(defun LN (L) (cond (L (Cons 1 (LN (cdr L)))) (1 L) ))/1/5
(defun LN (L) (cond ((null L)Nil) (T (Cons L (LN (cdr L)))) ))
(defun LN (L) (cond ((EQ L NIL)L) (T (Cons 1 (LN (cdr L)))) ))


Какие формы могут работать как эквиваленты?

(prog1 x y z)
(let ((a x)(b y))a)
((lambda (a b) a) x y)
((lambda (a b) a b) x y)
(let ((a x)(b y)) )


Какая из форм не равнозначна остальным?

(union Nil '(1 2 3 1 2 3))
(union '(1 2 3) '(1 2 3))
(union '(1 2 3 ) NIL )


Какая из форм отлична от остальных по результату?

((lambda (x)(cons x x))(+ 1 2))
(prog (x)(setq x (+ 1 2)) (return (cons x x)))
(cons (+ 1 2)(+ 1 2))
(prog (x)(setq x (+ 1 2)) (print (cons x x)))


Какие из форм взаимозаменяемы по формальному значению?

(cons y (cdr x))
(cons x (cdr y))
(rplaca x y)
(rplacd x y)


Какие из форм вырабатывают одинаковые значения?

(cons (car x) y)
(rplacd x y)
(rplaca x y)
(cons x (cdr y))


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

(a b . s) e (CONS . c) d -> ((a . b) . s) e c d
(a . s) e (ADD1 . c) d -> (a+1 . s) e c d
(a b . s) e (EQ . c) d -> (t . s) e c d , где t - логическое значение.
s e (LDC q . c) d -> (q . s) e c d


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

(a b . s) e (CONS . c) d -> ((a . b) . s) e c d
a b . s) e (EQ . c) d -> (t . s) e c d , где t - логическое значение.
(a . s) e (SUB1 . c) d -> (a-1 . s) e c d
s e (LDC q . c) d -> (q . s) e c d


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

s e (LDC q . c) d -> (q . s) e c d
((a . b) . s) e (CAR . c) d -> (a . s) e c d
(a b . s) e (EQ . c) d -> (t . s) e c d , где t - логическое значение.
(a b . s) e (CONS . c) d -> ((a . b) . s) e c d


Какая из перечисленных команд SECD увеличивают размер стека результатов (S)?

(a b . s) e (CONS . c) d -> ((a . b) . s) e c d
(a . s) e (ATOM . c) d -> (t . s) e c d
s e (LDC q . c) d -> (q . s) e c d


Какая из перечисленных команд SECD укорачивает стек результатов (S)?

(a . s) e (ATOM . c) d -> (t . s) e c d
(a b . s) e (EQ . c) d -> (t . s) e c d , где t - логическое значение.
s e (LDC q . c) d -> (q . s) e c d
((a . b) . s) e (CDR . c) d -> (b . s) e c d


Какая из перечисленных команд SECD уменьшают размер стека результатов (S)?

(a b . s) e (CONS . c) d -> ((a . b) . s) e c d
s e (LDC q . c) d -> (q . s) e c d
(a . s) e (ATOM . c) d -> (t . s) e c d
((a . b) . s) e (CDR . c) d -> (b . s) e c d


Какая из перечисленных команд SECD удлиняет стек результатов (S)?

(a . s) e (ATOM . c) d -> (t . s) e c d
s e (LD n . c) d -> (x . s) e c d , где x - это значение (N-th n e )
(a b . s) e (CONS . c) d -> ((a . b) . s) e c d


Какая из перечисленных команд SECD изменяет состояние дампа (D)?

s e (JOIN) (c . d) -> s e c d
(a b . s) e (CONS . c) d -> ((a . b) . s) e c d
(a . s) e (ATOM . c) d -> (t . s) e c d


Какая из перечисленных команд SECD изменяет состояние дампа (D)?

(a . s) e (ATOM . c) d -> (t . s) e c d
(x) e (RTN) (s e c . d) -> (x . s) e c d
s e (LDC q . c) d -> (q . s) e c d


Какая из перечисленных команд SECD изменяет состояние дампа (D)?

s e (LDC q . c) d -> (q . s) e c d
(t . s) e (SEL c1 c0 . c) d -> s e ct (c . d )
(a b . s) e (CONS . c) d -> ((a . b) . s) e c d


Какая из перечисленных команд используется при компиляции выражения (CADR n)?

s e (LDF f . c) d -> ((f . e) . s) e c d
s e (JOIN ) (c . d) -> s e c d
((a . b) . s) e (CDR . c) d -> (b . s) e c d


Какая из перечисленных команд нужна при компиляции выражения (CADR n)?

s e (LDF f . c) d -> ((f . e) . s) e c d
s e (JOIN ) (c . d) -> s e c d
((a . b) . s) e (CAR . c) d -> (a . s) e c d


Какая из перечисленных команд понадобятся при компиляции выражения (CADR n)?

s e (JOIN ) (c . d) -> s e c d
s e (LDF f . c) d -> ((f . e) . s) e c d
s e (LD n . c) d -> (x . s) e c d , где x - это значение (N-th n e )


Какое выражение не может быть исходным для кода программы на языке абстрактной машины (LD @n CDR CAR)?

(CADR n )
(CAR (CDR n))
(EQ (ATOM n) ' CAR )


Какое выражение не эквивалентно коду программы на языке абстрактной машины (LD @n CDR CAR)?

(COND ((EQ n 0 )(CAR l )) (T (CONS (SUB1 n ) (CDR l ) )) ))
(CAR (CDR n))
(CADR n )


Какое выражение может быть исходным для объектного кода ( LD @n CDR CAR )?

(COND ((EQ n 0 )(CAR l )) (T (CONS (SUB1 n ) (CDR l ) )) ))
(EQ (CAR n) 'QUOTE )
(CADR n )


Для какого выражения не может быть результатом компиляции на язык абстрактной машины кода программы вида (LD @n CDR CAR)?

(CADR n )
(CAR (CDR n))
(CONS (QUOTE CAR) (QUOTE CDR))


Какое выражение эквивалентно объектному коду ( LD @n CDR CAR )?

(COND ((EQ n 0 )(CAR l )) (T (CONS (SUB1 n ) (CDR l ) )) ))
(CAR (CDR n))
(EQ (CAR n) 'QUOTE )


Какое выражение может при компиляции дать объектный код ( LD @n CDR CAR )?

(COND ((EQ n 0 )(CAR l )) (T (CONS (SUB1 n ) (CDR l ) )) ))
(EQ (CAR n) 'QUOTE )
(LET ((a (CDR n)))(CAR a))


Какая команда машины SECD заведомо не понадобятся при компиляции выражения (CADR n)?

s e (LD n . c) d -> (x . s) e c d , где x - это значение (N-th n e )
((a . b) . s) e (CAR . c) d -> (a . s) e c d
s e (JOIN ) (c . d) -> s e c d
((a . b) . s) e (CDR . c) d -> (b . s) e c d


Какая команда машины SECD не нужна при компиляции выражения (CADR n )?

s e (LD n . c) d -> (x . s) e c d , где x - это значение (N-th n e )
s e (LDF f . c) d -> ((f . e) . s) e c d
((a . b) . s) e (CDR . c) d -> (b . s) e c d
((a . b) . s) e (CAR . c) d -> (a . s) e c d


Какой код может быть результатом компиляции выражения (CADR n )?

( LD @n CDR CAR )
( LD @n CAR LDC QUOTE EQ )
( LD @n LDc 0 EQ SEL (LD @l CAR JOIN ) (LD @n SUB1 LD @l CDR CONS JOIN ))


Какие из перечисленных команд SECD увеличивают размер стека результатов?

((a . b) . s) e (CDR . c) d -> (b . s) e c d
(a . s) e (ADD1 . c) d -> (a+1 . s) e c d
(a . s) e (ATOM . c) d -> (t . s) e c d
s e (LD n . c) d -> (x . s) e c d , где x - это значение (N-th n e )
s e (LDC q . c) d -> (q . s) e c d
(a b . s) e (CONS . c) d -> ((a . b) . s) e c d


Какие из перечисленных команд SECD не меняют размер стека результатов?

(a . s) e (SUB1 . c) d -> (a-1 . s) e c d
(a . s) e (ADD1 . c) d -> (a+1 . s) e c d
(a b . s) e (CONS . c) d -> ((a . b) . s) e c d
((a . b) . s) e (CAR . c) d -> (a . s) e c d
s e (LDC q . c) d -> (q . s) e c d/4/5
(a b . s) e (EQ . c) d -> (t . s) e c d , где t - логическое значение


Какие из перечисленных команд SECD уменьшают размер стека результатов?

(a . s) e (SUB1 . c) d -> (a-1 . s) e c d
((a . b) . s) e (CAR . c) d -> (a . s) e c d
(a b . s) e (CONS . c) d -> ((a . b) . s) e c d
(a b . s) e (EQ . c) d -> (t . s) e c d , где t - логическое значение
((a . b) . s) e (CDR . c) d -> (b . s) e c d
(a . s) e (ATOM . c) d -> (t . s) e c d
s e (LDC q . c) d -> (q . s) e c d
(a . s) e (ADD1 . c) d -> (a+1 . s) e c d


Какие из перечисленных команд понадобятся при компиляции заданного выражения: (CADR n )?

s e (JOIN ) (c . d) -> s e c d
s e (LD n . c) d -> (x . s) e c d , где x - это значение (N-th n e )
s e (LDF f . c) d -> ((f . e) . s) e c d
((a . b) . s) e (CDR . c) d -> (b . s) e c d
((a . b) . s) e (CAR . c) d -> (a . s) e c d


Какое выражение не может быть исходным для заданного кода абстрактной машины ( LD @n CDR CAR ) ?

(EQ (CAR n) 'QUOTE )
(COND ((EQ n 0 )(CAR l )) (T (CONS (SUB1 n ) (CDR l ) )) ))
(CADR n )


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

(lambda (v) (cons 'ATOM (eq 'COND v)))
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(defun YDOT(LAMBDA(X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X )))


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

(lambda (v) (cons 'ATOM (eq 'COND v)))
(lambda (v)(list N v X (E A)))
(defun YDOT(LAMBDA(X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))


В какое определение входят свободные переменные?

(defun YDOT(LAMBDA(X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))
(lambda (v) (cons 'ATOM (eq 'COND v)))
(lambda (v) (assoc X N v))


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

(lambda (v) (assoc-i X N v))
(lambda (v) (cons 'ATOM (eq 'COND v)))
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))


Какое из определений не содержат свободных переменных?

(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(lambda (v) (assoc X N v))
(defun YDOT(LAMBDA(X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))


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

(lambda (v) (assoc X N v))
(defun MAP(LAMBDA(L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))


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

(defun MAP(LAMBDA(L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(LAMBDA (A) (PROG (B С) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(lambda (v) (assoc X N v))


Какое из приведенных определений можно компилировать без информации о типе свободной переменной

(defun YDOT(LAMBDA(Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))
(lambda (v) (assoc X N v))
(LAMBDA (A) (PROG (B С) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))


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

(defun MAP(LAMBDA(L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(LAMBDA (A) (PROG (B С) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(defun YDOT(LAMBDA(Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))


Какое из определений не содержит функциональных переменных?

(defun YDOT(LAMBDA(X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))
(defun MAP(LAMBDA(L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(LAMBDA (A Fn) (PROG (B) S (SETQ B A) (SETQ C (CONS (Fn A) C)) (GO S) ))


Какое из определений содержит функциональные переменные?

(defun YDOT(LAMBDA(X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))
(lambda (v) (assoc X N v))
(defun MAP(LAMBDA(L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))


Какое из определений не использует функциональных переменных?

(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) )
(defun YDOT(LAMBDA(X Y FN)(MAPCAR FN X Y))))))
(defun MAP(LAMBDA(L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))


Какое из приведенных определений требуют понимания переменных как функций?

(lambda (v) (funcall (cond (((E P)v)(E S1))(T(E S2)) ) v)
(defun MAP(LAMBDA(L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(defun YDOT(LAMBDA(X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))


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

(lambda (w) ((lambda (v)(cond ( (w 'E v) 'S)(T v))))
(lambda (v) (funcall (cond (((E P)v)(E S1))(T(E S2)) ) v)
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(defun YDOT(LAMBDA(X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))


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

(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(defun YDOT(LAMBDA(X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))
(defun MAP(LAMBDA(L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(lambda (v) (funcall (cond ((E P)S1) (T(E S2)) ) v)


Какое из определений не содержит безымянных функций?

(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(lambda (v) (funcall (lambda (x) (cons x x)) v)
(defun YDOT (X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))


Какое из определений не содержит безымянных функций?

(defun fn (v) (funcall (cond ((EQ P v)(print S1)) ) v)
(defun YDOT (X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))
(lambda (v) (funcall (lambda (x) (cons x x)) v)


В какое из определений не входят безымянные функции?

(lambda (v) (funcall (lambda (x) (cons x x)) v)
(defun MAP (L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(defun YDOT (X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))


В каком из приведенных определений вхождение функциональной переменной малосущественно, т.к. она не используется как функция?

(defun YDOT (X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))
(defun MAP (L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(defun MAPF(LAMBDA(L FN)(COND ((NULL L)NIL)(T(LIST FN L (MAP(CDR L)FN))))))


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

(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(defun YDOT (X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))
(defun MAP (L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))


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

(defun MAP (L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN))))))
(defun fn (v) (cond ((EQ P v)(print S1)) (T(EQ v S2)) ) v)
(defun YDOT (X Y)(MAPLIST (FUNCTION(LAMBDA(J)(CONS(CAR J)Y))) X)))


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

(defun YDOT (Y)(MAPLIST X(FUNCTION(LAMBDA(J)(CONS(CAR J)Y)))))
(LAMBDA (A) (PROG (B С) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(defun MAP (L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN)))))
(lambda (v) (assoc-i X N v))


В каких определениях имеются свободные переменные?

(lambda (v) (cons 'ATOM (eq 'COND v)))
(defun YDOT (X Y)(MAPLIST X(FUNCTION(LAMBDA(J)(CONS(CAR J)Y)))))
(lambda (v)(replace N v X (E A)))
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(lambda (v) (assoc-i X N v))


Какие из определений не содержат свободных переменных?

(lambda (v) (assoc-i X N v))
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(defun MAP (L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN)))))
(defun YDOT (X Y)(MAPLIST X(FUNCTION(LAMBDA(J)(CONS(CAR J)Y)))))


Какие из определений содержат функциональные переменные?

(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))
(defun отобр (список ФН)(COND ((NULL список)NIL)(T(CONS(ФН список)(MAP(CDR список)FN)))))
(defun YDOT (X Y)(MAPLIST X(FUNCTION(LAMBDA(J)(CONS(CAR J)Y)))))


Какие из приведенных определений могут вызывать при компиляции обработку функциональных переменных?

(defun YDOT (X Y)(MAPLIST X(FUNCTION(LAMBDA(J)(CONS(CAR J)Y)))))
(defun MAP (L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN)))))
(lambda (w) ((lambda (v)(cond ( (w 'E v) 'S)(T v))))
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))


Какие из определений не содержат функциональных переменных?

(defun YDOT (X Y)(MAPLIST X(FUNCTION(LAMBDA(J)(CONS(CAR J)Y)))))
(defun MAP (L FN)(COND ((NULL L)NIL)(T(CONS(FN L)(MAP(CDR L)FN)))))
(LAMBDA (A) (PROG (B) S (SETQ B A) (SETQ C (CONS (CAR A) C)) (GO S) ))


Какая из перечисленных функций, строящих структуры данных, имеет в языке Clisp деструктивный аналог, позволяющий повышать эффективность функциональных программ?

sort
pairlis
list
append


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

list
reverse
sort
pairlis


Замена какой из перечисленных функций на имеющийся в языке Clisp деструктивный аналог повышает эффективность программ без потери функциональной эквивалентности?

sort
union
list
pairlis


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

reverse
remove
union
list


Для какой из перечисленных функций, строящих структуры данных, деструктивные аналоги не имеют смысла?
union
remove
pairlis
reverse


Какая из перечисленных функций, строящих структуры данных, не имеет в системе Clisp деструктивных аналогов?

reverse
sort
remove
union


Какая из перечисленных функций, деструктурирущих данные, функционально эквивалентна другой функции языка Clisp, не разрушаюшей исходные данные?

union
nunion
sort
Pairlis
cons
list


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

list
Subst
sort
Pairlis
Nsubst


Какая из перечисленных функций, деструктурирущих данные, является в языке Clisp функциональным эквивалентом другой функции, сохраняющей исходные данные?

Pairlis
list
nconc
cons
sort


Отметьте форму, открывающую файл так, что в нем сохраняется вся попадавшая в него информация.

(open "protocol" :direction :output :if-exists :overwrite :if-does-not-exist :error)
(open "history" :direction :output :if-exists :append :if-does-not-exist :create )
(open "output" :direction :output :if-exists :rename)


Отметьте формы, открывающие файл так, чтобы он был пригоден только для чтения данных.

(open file-in :direction :io )
(open "history" :direction :output :if-exists :append :if-does-not-exist :create )
(open "protocol" :direction :input :if-does-not-exist :create)


Отметьте форму, открывающую файл так, что в нем можно сохранить результаты только текущего сеанса, без более ранней информации.

(open "history" :direction :output :if-exists :append)
(open "output" :direction :output :if-exists :rename :if-does-not-exist :create)
(open file-in :direction :input )


Присутствие какого из перечисленных атомов можно обнаружить с помощью заданной формы (apropos 'CAR ) в системе программирования для языка Clisp?

CADR
CHAR
CADAR
MAPCAR


Присутствие какого из перечисленных атомов можно обнаружить с помощью заданной формы (apropos 'CDR ) в системе программирования для языка Clisp?

CDR
CHAR
CADR
MAPCAR
CARDINAL


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

(documentation 'fn 'function)
(apropos 'FN )
(describe 'fn)


Какая из форм позволит увидеть формальное определение всех свойств атома в системе в данный момент в системе программирования для языка Clisp?

(apropos 'FN )
(describe 'fn)
(documentation 'fn 'function)
(symbol-plist 'fn)


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

(symbol-plist 'fn)
(apropos 'FN )
(documentation 'fn 'function)
(describe 'fn)


Какая из форм позволяет увидеть список атомов заданного пакета, имена которых содержат CAR, в системе программирования для языка Clisp?

(documentation 'car 'package)
(symbol-plist 'car)
(describe 'car)
(apropos 'CAR 'package)


Какая из форм позволит получить список атомов, имена которых содержат CAR, в системе программирования для языка Clisp?

(symbol-plist 'fn)
(symbol-plist 'fn)
(documentation 'fn 'function)
(apropos-list 'CAR )


Какая из форм позволяет увидеть список всех атомов, имена которых содержат CAR в системе программирования для языка Clisp?

(apropos 'CAR )
(documentation ' CAR 'function)
(symbol-plist ' CAR)
(describe 'car)


Какие из перечисленных функций, составляющих структуры данных, имеют деструктивные аналоги, позволяющие повышать эффективность функциональных программ на языке Clisp?

sort
list
pairlis
union
append
reverse


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

remove
list
union
reverse
sort
pairlis


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

sort
list
Pairlis
nconc
nsubst
nunion


Отметьте форму, открывающую файл так, что в нем сохраняется вся попадавшая в него информация

(open "context" :direction :output :if-exists :rename)
(open "dump" :direction :output :if-exists :append :if-does-not-exist :create )
(open "remark" :direction :output :if-exists :overwrite :if-does-not-exist :error)


Отметьте формы, открывающие файл так, чтобы он был пригоден для чтения данных

(open "history" :direction :output :if-exists :append :if-does-not-exist :create )
(open "protocol" :direction :io :if-does-not-exist :create)
(open file-in :direction :input )


Отметьте формы, открывающие файл так, что в нем можно сохранить результаты только текущего сеанса, без лишней информации.

(open "output" :direction :output :if-exists :rename :if-does-not-exist :create)
(open file-in :direction :io )
(open "history" :direction :output :if-exists :append)


Что из перечисленного удобно рассматривать как объект того же класса, что и <тетрадь>?

блокнот
степлер
записная книжка
скрепка
кнопка
карандаш


Что из перечисленного удобно рассматривать как объект того же класса, что и <кресло>?

шкаф
трюмо
стул
стол
этюдник
диван


Что из перечисленного удобно рассматривать как объект того же класса, что и <куртка>?

пальто
брюки
жилет
носки
шуба


Что из перечисленного не стоит рассматривать как объект класса <канцелярские товары>?

тетрадь
ежедневник
книга
фломастер


Что из перечисленного не стоит рассматривать как объект класса <мебель>?

шкаф
телевизор
стол
кресло


Что из перечисленного не стоит рассматривать как объект класса <одежда> ?

шаровары
сапоги
платье
жилет


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

толщина линии при рисовании
координаты точек пересечения с границами экрана
цвет линии


Что из перечисленного можно рассматривать как атрибут, помогающий управлять визуализацией объектов класса "круги"?

коэффициенты уравнения для прорисовки линии
цвет линии
координаты точек выхода за границы экрана


Что из перечисленного можно рассматривать как основную характеристику объекта класса "кривые второго порядка"?

коэффициенты уравнения для прорисовки линии
толщина линии при рисовании
координаты точек пересечения с осями


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

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


Какую из перечисленных функций имеет смысл рассматривать как метод с именем <вес»>

привокзальная площадь
место в очереди
дистанция между поездами
объем цилиндра


Что из перечисленного имеет смысл вычислять по методу с именем <мера>?

широта души
охват проблемы
уровень потребностей
вес конструируемого прибора


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

площадь круга
объем цилиндра
площадь у вокзала
длина отрезка


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

длина отрезка
координаты точки
объем цилиндра
вес гирьки


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

номерок в гардеробе
площадь круга
координаты точки
почтовый адрес


Отметьте выражение, объявляющее новый метод.

(defclass expr (alltd) ((sd :accessor ft)) (:documentation "C-expression"))
(setf (slot-value e3 'sd) (read))
(defclass alltd () ((type :accessor td)) (:documentation "everyting"))
(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))
(setf e3 (make-instance 'expr))
(texpr e3 'expr)
(td e3)


Отметьте выражения, объявляющие новый экземпляр объекта.

(texpr e3 'expr)
(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))
(defclass alltd () ((type :accessor td)) (:documentation "everyting"))
(td e3)
(setf e3 (make-instance 'expr))
(setf (slot-value e3 'sd) (read))
(defclass expr (alltd) ((sd :accessor ft)) (:documentation "C-expression"))


Отметьте выражение, объявляющее новый класс.

(texpr e3 'expr)
(td e3)
(setf (slot-value e3 'sd) (read))
(defun fd (x) (cons x x))
(setf e3 (make-instance 'expr))
(defclass expr (alltd) ((sd :accessor ft)) (:documentation "C-expression"))
(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))


Отметьте выражение, объявляющее новый класс.

(defclass alltd () ((type :accessor td)) (:documentation "everyting"))
(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))
(defun expr (sd) (cond ((eq sd 'ft) (print 'FT)) (T (print 'NEW))) ))
(setf (slot-value e3 'sd) (read))
(texpr e3 'expr)
(td e3)
(setf e3 (make-instance 'expr))


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

(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))
(setf (slot-value e3 'sd) (read))
(texpr e3 'expr)
(td e3)


Какое из перечисленных выражений дает новое значение полю существующего объекта?

(defclass expr () ((type :accessor td) (sd :accessor ft)) (:documentation "C-expression"))
(setf (slot-value e3 'sd) (read))
(setf e3 (make-instance 'expr))
(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))
(td e3)


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

(texpr e3 'expr)
(setf (slot-value e3 'sd) (read))
(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))
(defclass expr () ((type :accessor td) (sd :accessor ft)))


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

(defclass expr () ((type :accessor td) (sd :accessor ft)) (:documentation "C-expression"))
(td e3)
(texpr e3 'expr)
(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))
(setf e3 (make-instance 'expr))


Отметьте объект, который не стоит рассматривать как объект общего класса с остальными?

жилет
туфли
юбка
пиджак
брюки


Что из перечисленного можно рассматривать как объекты общего класса?

Портфель
фотоаппарат
перекидной календарь
тетрадь
бумага


Что из перечисленного можно рассматривать как объекты одного класса?

стул
стол
стан


Какая из функций соответствует спецификации аргументов и результатов (X List(X)) -> List(X)?

(lambda (x y) (cons x y))
(lambda (x) (cond (x (cond ((eq 'A (car x))x)))))
(lambda (x y) (eq x y))


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

(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))
(texpr e3 'expr)
(setf (slot-value e3 'sd) (read))
(setf e3 (make-instance 'expr))
(td e3)
(defclass expr () ((type :accessor td) (sd :accessor ft)) (:documentation "C-expression"))


Отметьте выражения, объявляющие новый класс, экземпляр объекта, метод.

(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))
(defclass alltd () ((type :accessor td)) (:documentation "everyting"))
(setf e3 (make-instance 'expr))
(defclass expr (alltd) ((sd :accessor ft)) (:documentation "C-expression"))
(td e3)
(setf (slot-value e3 'sd) (read))
(texpr e3 'expr)


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

(texpr e3 'expr)
(td e3)
(setf (slot-value e3 'sd) (read))
(defclass expr () ((type :accessor td) (sd :accessor ft)))
(setf e3 (make-instance 'expr))
(defmethod texrp ((x expr) (nt atom)) (setf (slot-value x 'type) nt) (setf (td x) nt))


Какое из определений при попадании в тупик позволяет передать значение, зависящее от внутреннего контекста?

(defun escape (x) (throw 'esc Nil))
(defun escape (x ) (throw 'esc (cons 'ESCAPE x)))
(defun escape (x) (throw 'esc 'ESCAPE))


Какое из определений при попадании в тупик позволяет передать значение, зависящее от внутреннего контекста?

(defun escape (x) (throw 'esc Nil))
(defun escape (x ) (throw 'esc (cons 'ESCAPE x)))
(defun escape (x) (throw 'esc 'ESCAPE))
(defun escape (x) (throw 'esc (print (list 'ESCAPE x))))

Вы можете обратится к нам напрямую, через:

skype По Skype: molodoyberkut
telegram По Telegram: @MolodoyBerkut
icq По ICQ: 657089516

Или через форму обратной связи на нашем сайте
Пока сочиняется...
4.png