Ответы на курс: Основы функционального программирования
В каком определении функция зависит от свободных переменных?
Когда были сформулированы математические основы функционального программирования?
Какой метод решения задач особенно характерен для функционального программирования?
Какой из перечисленных механизмов реализации языка Лисп способствовал практическому успеху функционального программирования?
Применение какого языка программирования впервые показало возможности функционального программирования при решении новых сложных задач?
Какая особенность функционального подхода дает путь к достижению надежности программ?
Какой из перечисленных механизмов языка Лисп унаследован новыми языками программирования, например Java и другие?
В каком языке программирования впервые реализованы идеи функционального программирования?
Кто впервые сформулировал идеи языка программирования, послужившие основой для функционального программирования?
Какой из перечисленных механизмов языка Лисп унаследован новыми языками программирования, например Perl и другие?
Какое из перечисленных свойств не присуще функциональному программированию как методу организации процессов?
Чьи идеи языковой поддержки задач искусственного интеллекта реализованы как язык программирования Lisp?
Отметьте атомы, представляющие функции, входящие в базис языка Лисп?
Чьи идеи были выбраны Джоном Мак-Карти в качестве семантической основы языка Лисп?
Какой из перечисленных механизмов реализации языка Лисп способствовал практичности функционального программирования?
Какой из перечисленных механизмов языка Лисп исторически применялся в практике реализации других языков программирования, например С?
Отметьте имя автора языка программирования, поддерживающего фукнциональный подход к решению сложных задач?
Отметьте название языка программирования, в котором впервые поддержаны идеи функционального программирования
Решение какой задачи было воспринято как ответ на вопрос о реализуемости искусственного разума?
Какой из перечисленных механизмов реализации языка Лисп способствовал
применению функционального программирования неспециалистами?
Какие структуры данных используются для представления программ на языке Лисп?
Отметьте структуры данных, удобные для функционального программирования?
Какое из приведенных данных представляет собой список?
Какой из приведенных текстов не изображает ни список, ни сложное S-выражение?
Какое из приведенных S-выражений может играть роль представления функций в Лисп-программе?
Как можно изменить форму (cons (a ‘три) (b ‘два)), чтобы увидеть ее значение при заданных a и b, а не диагностическое сообщение?
Какое из приведенных данных представляет собой сложное S-выражение?
Как можно изменить форму (cons (a ‘три) (b ‘четыре)), чтобы получить значение при заданных значениях переменных a и b, а не диагностическое сообщение?
Какое из приведенных S-выражений не может играть роль представления функций в Лисп-программе?
Какое из приведенных данных не представляет собой список?
По какой причине не может быть вычислена форма ((cons x ‘два) ‘три). Что в ней надо подправить, чтобы добиться вычислимости?
Какое из приведенных данных представляет собой составное S-выражение?
Какое из приведенных данных представляет собой список?
Какое из приведенных S-выражений может играть роль представления функций в вычисляемой форме?
По какой причине не может быть вычислена форма ((cons ‘один ‘два) ‘три) и как ее исправить?
Какое из приведенных S-выражений может изображать функцию в Лисп-программе?
В какой из приведенных форм представления функций расположены корректно?
Какой из приведенных текстов не представляет собой ни список, ни сложное S-выражение?
В каком из приведенных S-выражений представления функций расположены корректно?
Какое из приведенных данных не представляет собой ни список, ни сложное S-выражение?
Как преобразовать форму (cons ‘a1 ‘b2 ‘c3 ‘d4), чтобы получить выражение, имеющее значение?
Какое из приведенных S-выражений не может изображать функцию в Лисп-программе?
Что можно подправить, чтобы форма (cons ‘один ‘два ‘три) имела значение?
Как можно воздействовать на форму (cons (a ‘два) (b ‘семь)), чтобы интерпретатор обязательно выдал ее значение, а не диагностическое сообщение?
Как можно изменить форму (cons (a три) (b четыре)), чтобы получить значение cons от заданных списков, а не диагностическое сообщение?
Какое из приведенных данных представляет собой самое простое составное S-выражение?
Почему форма ((cons ‘a1 ‘b2) ‘c3) не может быть вычислена?
Какие из приведенных данных не представляют собой ни список, ни S-выражение?
На каком наборе данных функция member (поиск заданного элемента из списка) выполнит ровно два витка (обращения к самой себе)?
Отметьте правильное число обращений к CONS, которое произойдет при выполнении функции append (соединение двух списков в один) на заданных аргументах.
Какое из заданных выражений вычислимо? (pairlis – наращивает список пар, соединяя в пары элементы первых двух аргументов)
Какие из данных текстов изображают перечень ветвей условного выражения?
На каком данном функция insert (в список перед вторым аргументом вставляет третий) сделает более двух витков?
На каком наборе данных функция insert (вставляет в список перед заданным элементом третий аргумент) сделает более двух обращений к самой себе?
В каком случае правильно указано число обращений к CONS, которое произойдет
при выполнении функции append (соединение двух списков в один) на заданных аргументах?
В каком случае при выяснении, совпадают ли заданные S-выражения, число обращений к себе функции equal (сравнение двух структур) указано верно?
На каком наборе данных функция member (поиск заданного элемента из списка) выполнит ровно одно обращение к самой себе?
На каком наборе данных функция insert (вставляет в список перед заданным элементом третий аргумент) сделает более двух обращений к самой себе?
На каком наборе данных функция append (соединение двух списков в один) даст результат сразу, без рекурсии (обращений к самой себе)?
На каких данных расход памяти (число cons) при вычислении функции subst (подстановка первого аргумента вместо второго в третий) равен длине последнего из аргументов?
На каких данных расход памяти (число вызовов cons) при вычислении функции subst (подстановка первого аргумента вместо второго в третий) пропорционален длине последнего из аргументов?
Какое из заданных выражений имеет определенный результат?
(pairlis – наращивает список пар, соединяя в пары элементы первых двух аргументов)
Какие из перечисленных текстов представляют перечень ветвей условного выражения?
На каких данных функция member (поиск элемента в списке) выполнит ровно три обращения к себе?
На каком наборе данных функция member (поиск заданного элемента из списка) выполнит ровно три шага (обращения к самой себе)?
На каком наборе данных функция insert (вставляет в список перед заданным элементом третий аргумент) сделает менее трех обращений к самой себе?
На каком наборе данных функция append (соединение двух списков в один) даст результат сразу, без рекурсивных обращений к себе?
Отметьте вариант, в котором правильно указано число обращений к себе функции equal, сравнивающей две структуры для выяснения, совпадают ли они?
Какая из заданных форм пригодна для успешной интерпретации?
Какие из списков представляют перечень ветвей условного выражения (можно вставить cond вслед за первой скобкой)?
На каком данном функция append (сцепление двух списков) даст результат сразу, без рекурсии?
На каких данных расход памяти (число cons) при вычислении функции subst (подстановка первого аргумента вместо второго в третий) превосходит длину последнего из аргументов?
В каких случаях правильно указано число обращений к CONS, которое произойдет при выполнении функции append (сцепление списков) на указанных аргументах?
Какие из перечисленных форм выработает результат (1 4 7 2 5 8 3 6 9)?
Какое из выражений при вычислении не искажает исходные данные?
Результат какой из форм совпадает с фактически построенной структурой?
Какая из перечисленных форм построит значение ((2 3)(3) Nil)?
В какой из форм несоответствия типов значений помешает выполнению отображающей функции?
В какой из форм выполнение отображающей функции не зависит от числа аргументов?
Какая из перечисленных форм обработает аргументы не по общей схеме?
Какая из форм корректно выполнит отображающую функцию на всех наборах аргументов?
Какая из форм безопасна для исходных данных?
Какая из форм опасна для сохранения исходных данных?
Какая из форм формально дает результат, отличающийся от построенной структуры данных?
Какие из форм не искажают исходные данные?
При вычислении какой из форм не возникнет проблем с выполнением отображающей функции на всех наборах аргументов?
В каком выражении не выполнима отображающая функция (несоответствие типов значений)?
В каком выражении отображающая функция не выполнится из-за несоответствия числа аргументов?
При вычислении какой из форм формальный результат не совпадает с построенной структурой?
В какой из форм отображающая функция не выполнится из-за несоответствия типов значений?
Какая из перечисленных форм имеет значение (5 7 9)?
Какая из форм может разрушить исходные данные?
Какая из форм сохраняет исходные данные?
Какие из форм дают формально одинаковый результат?
Какое из выражений корректно вычислит отображающую функцию на всех наборах аргументов?
Какие из форм при вычислении разрушает исходные данные?
Какое из перечисленных S-выражений может быть изображено как (A B (C D) E)?
Какое из S-выражений равносильно (A B C (D E))?
Отметьте правильное создание именованной константы
Которое из выражений не даст результат (Альфа Центавра) ни при каком значении переменной?
Какое из S-выражений не равносильно (A (B C) D (E))?
Отметьте правильное введение связной переменной x
Отметьте правильное создание именованной константы
Какое из перечисленных S-выражений равносильно (A B (C D) E)?
Какое из S-выражений распечатается как (A (B C) D E)?
Какое из S-выражений структурно отличается от (A (B C) D (E))?
Отметьте функцию со свободной переменной
При вычислении какой формы получится результат (A . B)?
Которое из выражений даст результат (Альфа Центавра)?
Которое из выражений не даст результат (Альфа Центавра) при любых значениях переменной?
Какое из перечисленных S-выражений напечатается как (A B (C D) E)?
Какое выражение даст результат (A . B)?
Которое из выражений построит список (Альфа Центавра)?
Которое из выражений даст результат (Альфа Центавра)?
Отметьте создание глобальной переменной
Значение какого выражения — (A . B)?
Какое из S-выражений не является представлением структуры (A (B C) D (E))?
Которое из выражений не может дать результат (Альфа Центавра) независимо от значения переменной?
Отметьте правильное введение локальной переменной x
Какое из S-выражений имеет ту же структуру, что и (A B C (D E))?
Отметьте S-выражение, не равносильное остальным?
Какие из перечисленных S-выражений равносильны?
Какой список фактических параметров соответствуют списку формальных параметров вида (x y z &rest t)?
Какая из форм не равнозначна остальным?
Какая форма последовательно вычислит выражения e1 e2 e3, а потом выдаст значение e1 из них как результат?
Какая из форм выведет значение (3 . 3) на экран?
Какое из определений функций дает в результате список из единиц?
Какое из выражений формально имеет то же значение, что и (rplaca x y)?
Отметьте определение функции, дающей в результате список из единиц?
Какая из форм имеет значение (3 . 3)?
Какой список фактических параметров не соответствует списку формальных параметров вида (x y z &rest t)?
Какая из форм поможет избавиться от совпадений чисел в аргументах (использовать определение объединения из лекции)?
Какая из форм равнозначна (cons (car x) y)?
Какая из форм построит список уникальных чисел (использовать определение объединения из лекции)?
В каком случае указанная форма последовательно вычислит ряд выражений e1 e2 e3, а потом выдаст значение e1 как результат?
Какая из форм выдает то же значение, что и (cons y (cdr x))?
Какая из форм выдает (возвращает) результат (3 . 3)?
Какой список аргументов не соответствует списку формальных параметров (x y z &rest t)?
Какая из форм отлична от остальных по результату?
Выберите определение функции, чтобы получить список из единиц такой же длины как аргумент:
Какой из списков аргументов соответствует списку формальных параметров вида (x y z &rest t)?
Какая из форм не убирает повторы в списках (использовать определение объединения из лекции)?
Какой список значений аргументов соответствует списку параметров вида (x y z &rest t)?
Какая форма последовательно последовательно вычислит выражения e1 e2 3, а потом выдаст значение e1 результат?
Какой из списков фактических параметров не соответствует списку формальных параметров вида (x y z &rest t)?
Отметьте вариант, в котором последовательно будут вычислены выражения e1 e2 e3, а потом выдаст значение e1 как результат?
Какая из перечисленных команд SECD не влияет на размер стека результатов?
Какая из перечисленных команд SECD увеличивают размер стека результатов (S)?
Какое выражение может быть исходным для объектного кода ( LD @n CDR CAR )?
Какая из перечисленных команд используется при компиляции выражения (CADR n)?
Какая из перечисленных команд SECD сохраняет размер стека результатов?
Какое выражение может при компиляции дать объектный код ( LD @n CDR CAR )?
Какая из перечисленных команд SECD изменяет состояние дампа (D)?
Какое выражение не эквивалентно коду программы на языке абстрактной машины (LD @n CDR CAR)?
Какое выражение эквивалентно объектному коду ( LD @n CDR CAR )?
Какая из перечисленных команд SECD удлиняет стек результатов (S)?
Какая из перечисленных команд SECD изменяет состояние дампа (D)?
Какая из перечисленных команд понадобятся при компиляции выражения (CADR n)?
Для какого выражения не может быть результатом компиляции на язык абстрактной машины кода программы вида (LD @n CDR CAR)?
Какая команда машины SECD не нужна при компиляции выражения (CADR n )?
Какая из перечисленных команд SECD изменяет состояние дампа (D)?
Какая из перечисленных команд SECD укорачивает стек результатов (S)?
Какой код может быть результатом компиляции выражения (CADR n )?
Какая из перечисленных команд нужна при компиляции выражения (CADR n)?
Какие из перечисленных команд SECD не меняют размер стека результатов?
В какое из определений не входят безымянные функции?
В какое из определений не входят свободные переменные?
Компиляция какого из приведенных определений требует информации о типе свободной переменной?
Какое из определений не содержит безымянных функций?
В какое определение входят свободные переменные?
Какое из приведенных определений можно компилировать без информации о типе свободной переменной
Какое из определений не содержит функциональных переменных?
Какое из приведенных определений требуют понимания переменных как функций?
В каком из приведенных определений вхождение функциональной переменной малосущественно, т.к. она не используется как функция?
Какое из определений не содержат свободных переменных?
Какое из определений содержит функциональные переменные?
Какое из определений не использует функциональных переменных?
Какое из определений не содержит безымянных функций?
Какие из определений содержит безымянную функциональную константу?
Какое из приведенных определений не зависит от функциональных переменных или безымянных функций?
Какое из определений функций не зависит от свободных переменных?
Какое из приведенных определений не зависит от функциональных аргументов или безымянных функций?
Какие из приведенных определений могут вызывать при компиляции обработку функциональных переменных?
В каком определении имеются свободные переменные?
Какие из определений содержат функциональные переменные?
Какое из приведенных определений требует при компиляции информации о типе свободных переменных?
В каком из приведенных определений переменные понимаются как функции?
Какие из приведенных определений вызывают при компиляции обработку свободных переменных?
Отметьте форму, открывающую файл так, что в нем можно сохранить результаты только текущего сеанса, без более ранней информации.
Какая из форм позволит получить список атомов, имена которых содержат CAR, в системе программирования для языка Clisp?
Для какой из перечисленных функций, строящих структуры данных, деструктивные аналоги не имеют смысла?
Присутствие какого из перечисленных атомов можно обнаружить с помощью заданной формы (apropos ‘CDR ) в системе программирования для языка Clisp?
Отметьте форму, открывающую файл так, что в нем сохраняется вся попадавшая в него информация
Какая из перечисленных функций, строящих структуры данных, может быть замена на имеющийся в языке Clisp деструктивный аналог, позволяющий повысить эффективность функциональной программы?
Отметьте формы, открывающие файл так, чтобы он был пригоден только для чтения данных.
Какая из форм даст неформальное описание заданной функции, если оно включено в комплект поставки системы программирования для языка Clisp?
Какая из форм позволит получить список атомов, имена которых содержат CAR, в системе программирования для языка Clisp?
Какая из форм позволяет увидеть список всех атомов, имена которых содержат CAR в системе программирования для языка Clisp?
Какая из форм позволяет увидеть список атомов заданного пакета, имена которых содержат CAR, в системе программирования для языка Clisp?
Замена какой из перечисленных функций на имеющийся в языке Clisp деструктивный аналог повышает эффективность программ без потери функциональной эквивалентности?
Присутствие какого из перечисленных атомов можно обнаружить с помощью заданной формы (apropos ‘CAR ) в системе программирования для языка Clisp?
Присутствие какого из перечисленных атомов можно обнаружить с помощью заданной формы (apropos ‘CAR ) в системе программирования для языка Clisp?
Какая из перечисленных функций, строящих структуры данных, имеет в языке Clisp деструктивный аналог, позволяющий повышать эффективность функциональных программ?
Какая из перечисленных функций, строящих структуры данных, не имеет в системе Clisp деструктивных аналогов?
Какая из перечисленных функций, строящих структуры данных, не может иметь деструктивных аналогов?
Какая из форм позволит увидеть формальное определение всех свойств атома в системе в данный момент в системе программирования для языка Clisp?
Какая из перечисленных функций, деструктурирущих данные, является в языке Clisp функциональным эквивалентом другой функции, сохраняющей исходные данные?
Какая из перечисленных функций, деструктурирущих данные, функционально эквивалентна другой функции языка Clisp, не разрушаюшей исходные данные?
Отметьте форму, открывающую файл так, что в нем сохраняется вся попадавшая в него информация.
Какая из форм позволит увидеть формальное определение заданной функции в данный момент в системе программирования для языка Clisp?
Какая из форм позволит получить список атомов, имена которых содержат CAR, в системе программирования для языка Clisp?
Какая из форм позволит получить список атомов, имена которых содержат CAR, в системе программирования для языка Clisp?
Какая из форм позволит получить список атомов, имена которых содержат CAR, в системе программирования для языка Clisp?
Какая из перечисленных функций языка Clisp, деструктурирущих данные, может быть заменена на функциональный эквивалент, гарантирующих сохранение исходных данных?
Какая из форм позволит получить список атомов, имена которых содержат CAR, в системе программирования для языка Clisp?
Какая из форм позволит получить список атомов, имена которых содержат CAR, в системе программирования для языка Clisp?
Отметьте формы, открывающие файл так, чтобы он был пригоден для чтения данных
Какие из перечисленных функций, составляющих структуры данных, являются деструктивными аналогами других функций в языке Clisp?
Выделите выражение, обеспечивающее возможность прямого доступа к атрибутам объекта определяемого класса.
Что из перечисленного не стоит рассматривать как объект класса <одежда> ?
Какую из перечисленных функций не стоит включать в общее семейство с остальными функциями?
Отметьте объект, который не стоит рассматривать как объект общего класса с остальными?
Что из перечисленного не стоит рассматривать как объект класса <канцелярские товары>?
Что из перечисленного можно рассматривать как полезный атрибут, являющийся эффективной реализацией метода работы с объектами класса «прямые»?
Что из перечисленного имеет смысл вычислять по методу с именем <мера>?
Отметьте выражение, объявляющее новый класс.
Что из перечисленного можно рассматривать как атрибут, помогающий управлять визуализацией объектов класса «круги»?
Какую из перечисленных функций имеет смысл рассматривать как метод с именем <вес»>
Какую из перечисленных функций не стоит включать в одно семейство с остальными функциями?
Выделите выражение, осуществляющее прямой доступ к атрибуту объекта без изменения его значения.
Что из перечисленного можно рассматривать как объекты общего класса?
Какую из перечисленных функций имеет смысл рассматривать как метод с именем <расстояние>?
Что из перечисленного можно рассматривать как основную характеристику объекта класса «кривые второго порядка»?
Какое из перечисленных выражений дает новое значение полю существующего объекта?
Какую из перечисленных функций неестественно включить в общее семейство?
Что из перечисленного не стоит рассматривать как объект класса <мебель>?
Отметьте выражение, объявляющее новый метод.
Какое из перечисленных выражений изменяет содержимое отдельных полей существующего объекта?
Отметьте выражение, объявляющее новый класс.
Что из перечисленного удобно рассматривать как объект того же класса, что и <тетрадь>?
Отметьте выражения, объявляющие новый экземпляр объекта.
Что из перечисленного удобно рассматривать как объект того же класса, что и <кресло>?
Что из перечисленного можно рассматривать как объекты одного класса?
Выделите выражения, осуществляющие доступ к атрибутам объекта без изменения их значений.
Отметьте, в чем сходство вариантов и множеств.
В какой из ловушек не вполне корректно размечены тупики?
Какая из ловушек позволяет поймать внутреннее прерывание?
Какие особенности множеств не характерны для вариантов?
Какие особенности множеств не характерны для вариантов?
Отметьте, в чем подобны варианты и множества.
Какая задача легче описывается в терминах множеств, чем вариантов?
Какое из определений при попадании в тупик позволяет передать значение, зависящее от внутреннего контекста?
В чем выражаются отличия структуры вариантов от множеств?
Какая из задач легче решается в терминах вариантов, чем множеств?
Отметьте, в чем схожи варианты и множества.
Какое из определений явно сигнализирует о попадании в тупик?
В чем выражаются отличия структуры множеств от вариантов?
Какое из определений недостаточно для четкого сигнала о попадании в тупик?
Какая из ловушек приспособлена к реакции на внутреннее прерывание?
Какое из определений при попадании в тупик позволяет получить значение, зависящее от внутреннего контекста?
Какая из ловушек поймает внутреннее прерывание?
Чем отличается структура вариантов от множеств?
Какое из определений при попадании в тупик позволяет передать значение, зависящее от внутреннего контекста?
Отметьте, в чем варианты и множества схожи:
Отметьте формы, эквивалентные логической конъюнкции — «a и b».
Отметьте функции для работы с множествами
Какая из перечисленных форм содержит подвыражения, которые можно не вычислять, т.к. результат от их значения не зависит?
В какой из перечисленных форм все подвыражения необходимо вычислить?
Какая из перечисленных форм содержит подвыражения, которые можно не вычислять, т.к. на результат их значения не влияют?
В какой из перечисленных форм можно вычислять не все подвыражения независимо от значений переменных?
Вычисление какой подформулы не гарантировано при исполнении общей формулы?
Вычисление каких подформул не имеет смысла?
Какая из перечисленных форм содержит подвыражения, которые можно не вычислять, т.к. их значения не влияют на результат?
В какой из форм нет константных подвыражений?
В какой из перечисленных форм возможность не вычислять все подвыражения не зависит от значений переменных?
Какая из форм не содержит константных подвыражений?
Вычисление каких конструкций не может происходить вообще?
Какая из форм содержит общие подвыражения, которые целесообразно вычислить предварительно, чтобы избежать повторного вычисления одних и тех же выражений?
Вычисление какой подформулы может происходить или не происходить при исполнении общей формулы в зависимости от хода других вычислений?
Какая из форм не содержит подвыражений, допускающих замену на их значения?
Вычисление каких подформул не может происходить вообще?
Спецификация аргументов какой из функций соотвествует формуле: List(X) -> List(X) ?
Какая из функций не соответствует спецификации результатов (X List(X)) -> List(X)?
Спецификации результатов какой из функций соответствует формуле: (X List(X)) -> List(X) ?
Спецификация результатов какой из функций не соответствует (X List(X)) -> List(X) ?
Какая из спецификаций аргументов и результатов соответствует определению функции:
(lambda (x xl) (cond (xl (cond ((eq x (car xl))xl)))))
Какие из спецификаций аргументов и результатов соответствуют определению функции:
(lambda (x xl) (cond (xl (cond ((eq x (car xl))xl)))))
Какая из спецификаций аргументов и результатов соответствует определению функции:
(lambda (x xl) (cond (xl (cond ((eq x (car xl))xl)))))
Какие из функций соответствуют спецификации или аргументов, или результатов, но не того и другого сразу:
(X List(X)) -> List(X)
Какой из перечисленных языков программирования сложился как эффективная система функционального программирования?
Какая из функций соответствует спецификации аргументов и результатов (X List(X)) -> List(X)?
Результаты какой из функций соответствуют спецификации: (X List(X)) -> List(X) ?
Какая из спецификаций аргументов и результатов соответствует определению функции:
(lambda (xl) (cond (xl (cond ((eq x (car xl))xl)))))
Какие из функций соответствуют спецификации аргументов и результатов:
(X List(X) ) -> List(X):
Какая из функций не требует соответствия спецификации аргументов вида: (X List(X)) -> List(X)?
Аргументы какой из функций должны соответствовать спецификации: List(X) -> List(X) ?
Какая из спецификаций аргументов соответствует определению функции:
(lambda (x xl) (cond (xl (cond ((equal x (car xl)) (eq (cadr xl) x))))))
Спецификации аргументов и результатов какой из функций может иметь вид: (X List(X)) -> List(X)?
Какая из функций соответствует спецификации аргументов: List(X) -> List(X) ?
Какая из спецификаций результатов наиболее точно соответствует определению функции:
(lambda (x xl) (cond (xl (eq x (car xl)) )) )
Какие из спецификаций аргументов соответствуют определению функции:
(lambda (x xl) (cond (xl (cond ((eq x (car xl))T)))))
Какая из функций не соответствует спецификации результатов (X List(X)) -> List(X) ?
Результаты какой из функций не соответствуют спецификации: (X List(X)) -> X ?
Какая из спецификаций аргументов наиболее точно соответствует определению функции:
(lambda (x xl) (cond (xl (cond ((eq x (car xl))(caadr xl))))))
Какие из функций не соответствуют спецификации аргументов и результатов:
( X List(X)) -> List(X):
Аргументы и результаты какой из функций можно специфицировать формулой: (X List(X)) -> List(X)?
Какая из функций не соответствует спецификации ни аргументов, ни результатов: (X List(X)) -> List(X)?
Какой из тестов соответствует спецификации List (List(Atom)) => List (Atom).
Отметьте тест, на котором сработает функция:
(defun Assoc (x al) (cond (al(cond ((eq (x (caar al))) (car al))))
Выберите тест, на котором функцию Subst нет смысла выполнять, т.к. не получается нового значения.
Отметьте тест, соответствующий спецификации List (Atom) => List ({Number, Atom}).
Выберите тест, соответствующий спецификации List (List(Atom)) => List (Atom).
Отметьте спецификации, которым соответствует функция Subst.
Укажите тест, на котором функция Pairlis (см. лекцию 3) исчерпает два первые аргумента.
Укажите тест, на котором функция Pairlis (см. лекцию 3) может завершиться аварийно из-за неподходящей структуры данных.
Выберите спецификацию, которой заведомо не соответствует тест ((a 1)( b 2)( 3 4)).
Отметьте спецификации, которым соответствует функция:
(defun Assoc (x al) (cond (al(cond ((eq (x (caar al))) (car al))))
Отметьте тест, соответствующий спецификации List (Atom) => List (Number).
Отметьте тест, соответствующий спецификации List (List(Atom)) => List (Atom).
Выберите спецификацию, которой может соответствовать данный тест (a 1 b 2 3 4).
Отметьте спецификации, которым соответствует функция Pairlis.
Какой из упомянутых стилей программирования сложился как развитие функционального программирования?
Какая из упомянутых систем разработана на базе Лиспа:
Отметьте механизм реализации Лисп-систем, встречающийся в системах программирования на базе языка Perl?
Какие из стилей программирования созвучен идеям Лиспа?
Отметьте стандартизованный диалект языка Лисп, активно используемый в наши дни.
Какой механизм реализации Лисп-систем встречается в системах программирования на базе языка Java?
Какой механизм реализации Лисп-систем встречается в системах программирования на базе языка Perl?
Какой механизм реализации Лисп-систем встречаются в таких системах программирования, как Delphi?
Какой из перечисленных механизмов реализации Лисп-систем встречается в системах программирования на базе языка Perl?
Какой из указанных стилей программирования отражает влияние идей функционального программирования?
Какие из перечисленных языков являются языками функционального программирования?
Какой из перечисленных языков программирования сложился система функционального программирования для исследовательских целей?
Отметьте систему, разработанную на базе Лиспа.
В какой из перечисленных форм необходимость вычислять все подвыражения зависит от значений переменных?
Отметьте тест, соответствующий спецификации List (Atom) => List ({Number, Atom}).
Какой спецификации соответствует данный тест ((a . 1)( b . 2)( 3 . 4)).
Какой из спецификаций не может соответствовать тест ((a . 1)( b . 2)( 3 . 4)).
Какой из тестов соответствует спецификации List (Atom) => List (Number).
Какой из тестов соответствует спецификации List (Atom) => List ({Number, Atom}).
Отметьте спецификацию, которой не может соответствовать данный тест (a 1 b 2 3 4).
Отметьте систему, разработанную на базе Лиспа.
Какой из стилей программирования сложился и был реализован на базе Лиспа?
Какой из перечисленных стилей программирования сложился под влиянием функционального программирования?
Отметьте версию Лиспа, обладающую особо высокой эффективностью
Какие механизмы реализации Лисп-систем встречаются в современных системах программирования, таких как Delphi?
В какой из форм отображающая функция не выполнится из-за несоответствия числа аргументов?
Какая команда машины SECD заведомо не понадобятся при компиляции выражения (CADR n)?
Какая из форм позволит получить список атомов, имена которых содержат CAR, в системе программирования для языка Clisp?
Какая из перечисленных форм допускает вычисление не всех подвыражений?
В какой из перечисленных форм вычисление всех подвыражений необходимо?
Какая из форм содержит константные выражения, которые можно заменить их значениями?
Выберите тест, которому удовлетворяет функция Subst.
Отметьте тест, на котором не может сработать функция:
(defun Assoc (x al) (cond (al(cond ((eq (x (caar al))) (car al))))
