Скачать тест — (Функциональное программирование и интеллектуальные_76ea6e60.pdf)
- В чем заключается суть «вызова по значению» порядка редукций?
- В чем заключается суть «ленивого» порядка редукций?
- Из чего состоит синтаксис лямбда-исчисления?
- Как называется программный код в лямбда-исчислении?
- Как называют замену редекса?
- Какими недостатками обладает «машина» Тьюринга?
- Какое лямбда-выражение является правоассоциативным?
- Что из ниже перечисленного не является лямбда-термы?
- Что такое полиморфизм подтипов?
- В каком языке программирования применяется S -выражения?
- В чем заключается суть модели типизацииХиндли-Милнера?
- В чем предназначение динамической типизации?
- В чем предназначение неявной типизации?
- В чем предназначение строгой типизации?
- В чем предназначение структурной типизации?
- В чем суть безопасной типизации?
- В чем суть правила построения S -выражения?
- Верно ли следующее утверждение: «Что функционал, есть эффективный механизм абстрагирования, моделирования,проектирования и формализации крупномасштабной обработки информации»?
- Верно ли следующее утверждение: Что динамическая типизация является противоположностью статической типизации»?
- Дайте определение, что такое Рекурсия?
- Дайте определение, что такое список, как элемент программирования?
- Дайте определение, что такое функционал?
- Для написания термов вводятся следующие соглашения, в случае, когда «в применении группируем скобки влево» — пишем значение fghx, а что подразумеваем?
- Для написания термов вводятся следующие соглашения, в случае, когда «в функциях группируем скобки вправо» — пишем значение — λx.λy.x, а подразумеваем?
- Из каких атомов состоят S -выражения?
- Какие предикаты сравнения содержит язык программирования – Lisp ?
- Какие свойства S -выражений существуют?
- Какие формы S -выражений не существуют?
- Каким способом можно любой список в программировании превратить в константу?
- С помощью каких этапов происходит выполнение рекурсивной функции?
- С помощью какого алгоритма основана модель типизации?
- Что из ниже перечисленного не является преимуществом использования функционального программирования?
- В 70-х – начале 80-х годов XX века появляется множество типизированных функциональных языков, какие из ниже перечисленных являются таковыми?
- В каком году был разработан язык программирования — ALGOL , с целью упрощения выражения математических алгоритмов?
- В каком году стали развиваться все возможные ассемблерные языки программирования с простой мнемоникой?
- В чем главное предназначение языка обработки символьной информации, Lisp?
- В чем главное предназначение языка обработки символьной информации, Prolog?
- В чем заключается основная цель структурного программирования?
- В чем заключается основное предназначение гипертекстовой системы с интеллектуальным интерфейсом?
- В чем заключается основное предназначение системы когнитивной графики с интеллектуальным интерфейсом?
- В чем заключается способность рекурсивных функций в программировании?
- В чем заключается способность специальных функций в программировании?
- В чем заключается суть «аппликативного» порядка редукций?
- В чем заключается суть «вызова по имени» порядка редукций?
- В чем заключается суть «нормального» порядка редукций?
- В чем заключается суть логических значений, с помощью которого можно организовывать ветвление алгоритма?
- В чем заключается суть преобразования «карринг»?
- В чем заключается суть теоремы Черча-Россера?
- В чем заключаются основные преимущества функционального программирования?
- В чем суть правила для написания программного кода, если x – переменная, а М-терм, то(λx.M) – терм?
- В чем суть правила для написания программного кода, если М и N – термы, то ( MN ) – терм?
- В чем суть правила для написания программного кода, когда переменные x , y , z ….. являются термами?
- Верно ли следующее утверждение: «Если в терме М встречается переменная x , то она становится связанной»?
- Верно ли следующее утверждение: «Если переменная x является связанной, то и в терме λ y .x,она связана»?
- Верно ли следующее утверждение: «Сначала в соответствии с заданным алгоритмом строится значение функции, а затем аргументы вычисляются в порядке вхождения»?
- Верно ли следующее утверждение: «Что Инженер знаний«извлекает» из экспертов процедуры, стратегии, эмпирические правила, которые они используют при решении задач, и встраивает эти знания в экспертную систему»?
- Верно ли следующее утверждение: «Что телекоммуникационные технологии обеспечивают огромному числу пользователей доступ к возможностям экспертных систем, это способствует окупаемости затрат на разработку электронной системы»?
- Дайте определение, что такое апликативные системы в функциональном программировании?
- Дайте определение, что такое логическое программирование?
- Дайте определение, что такое объектно-ориентированное программирование?
- Дайте определение, что такое парадигма программирования?
- Дайте определение, что такое структурное программирование?
- Дайте определение, что такое функциональное программирование?
- Если необходимо избавиться от всех редексов в выражении, то с какого редекса лучше начать в вычислении по значению?
- Если необходимо избавиться от всех редексов в выражении, то с какого редекса лучше начать в вычислении по имени?
- Из каких основных базовых управляющих структур построена методология разработки программного обеспечения?
- Из каких основных элементов состоит объектно-ориентированное программирование?
- Из чего состоит вычислительный процесс лямбда-выражений?
- Как в бета-редукции определяется понятие «свободная программа»?
- Как выглядит функция двух аргументов + или *, если из нее сделать функцию одного аргумента?
- Как называется выражение в лямбда-исчислении?
- Как называется выражение, над которым можно произвести бета-редукцию, т.е. подстановку аргументов во все функции?
- Как называется теоретическая модель, управление обработкой информации, которой осуществляется в рамках иерархии свободных и связанных переменных, реализуемых с помощью таблицы соответствия символов и их толкования?
- Как называется язык программирования, где ввод-вывод реализован при помощи монад, т.е. нетривиальной концепции, по заимствованной из теории категорий?
- Как назывались первые императивные языки?
- Как называют термы в комбинаторной логике?
- Как называются функции в лямбда-исчислении?
- Как называются функции, овладевающие техникой работы изучения функционального программирования?
- Как называются языки обработки символьной информации?
- Какие виды из ниже перечисленных не относятся к редукциям?
- Какие дополнительные средства не относятся к набору элементов объектно-ориентированного программирования?
- Какие достоинства можно выделить в структурном программировании?
- Какие задачи выполняет электронная система?
- Какие из ниже перечисленных функций не являются комбинаторами?
- Какие основные свойства интеллектуальных задач можно выделить?
- Какие основные функции систем типов данных языка программирования не относятся?
- Какие существуют способы преодоления сложностей решения задач с помощью функциональных определений, используя алгебраический метод?
- Какие языки не используются в модели Хиндли-Милнера?
- Какими достоинствами обладает «машина» Тьюринга?
- Какое из ниже перечисленного правила не относится к написанию программного кода?
- Какое лямбда-выражение является левоассоциативным?
- Какой язык применяется в логическом программировании?
- Кем была разработана система лямбда-исчисление?
- Кто является основоположником комбинаторной логики?
- Кто является разработчиком комбинаторной логики математических основ функционального программирования?
- Кто является создателем языка программирования – Pascal?
- Кто является теоретическим основоположником императивного программирования в 1930-х годах?
- На какие группы подразделяются программные средства интеллектуальной информационной системы?
- На какие основные параметры опираются императивные функции?
- На какие типы подразделяются инструментальные средства построения электронной системы?
- С помощью какой системы было доказано несколько фундаментальных теорем – теорема Черча-Тьюринга?
- Что значит понятие «что то сделать с дном» в терминах «расширенного» лямбда-исчисления?
- Что из ниже перечисленного относится к классу интеллектуальной информационной системы с интеллектуальным интерфейсом?
- Что из ниже перечисленного относится к классу самообучающих систем интеллектуальной информационной системы?
- Что из ниже перечисленного является принципами структурного программирования?
- В чем заключается способность псевдо-функций в программировании?
- Верно ли следующее утверждение: «Числа и строки рассматриваются как самоопределимые атомы, смысл которых не требует никакого ассоциирования»?
- Верно ли следующее утверждение: «Что в расширенном варианте лямбда-исчисление, дно также может появиться от деления на 0»?
- Верно ли следующее утверждение: «Что Структурная типизация является противоположностью номинативной типизации»?
- Дайте определение, что такое декларативное программирование?
- Для написания термов вводятся следующие соглашения, в случае, когда «опускаются внешние скобки» — пишем значение λx.x, а подразумеваем?
- Как называется специальный термин, где нормальная форма есть не у любого лямбда-терма – вычисление некоторых термов «расходится»?
- Какие виды функций в системах программирования существуют?
- Какие недостатками функционального программирования можно выделить?
- Какие примеры относятся к императивному языку функционального программирования?
- Какие элементы в программировании выделяются в качестве основных видов символьных выражений?
- Какой порядок редукций используется в большинстве языков программирования?
- Кто сформулировал концепцию символьной обработки информации компьютером в 1958 году?
- На что ориентированы императивные языки функционального программирования?
- Что из ниже перечисленного относится к классу экспертных систем интеллектуальной информационной системы?
- В каком виде представляется лямбда-выражение в языке Лисп?
- В чем заключается основная суть предиката EQL ?
- В чем заключается основная суть предиката АТОМ?
- В чем заключается основная суть типа MAP -функций,как функция LOOP ?
- В чем заключается основная суть типа MAP -функций,как функция MAPLIST ?
- В чем заключается основная суть функции CAR в языке Лисп?
- В чем заключается основная суть функции CDR в языке Лисп?
- В чем заключается основная суть функции GET?
- В чем заключается основная суть функции LIST ?
- В чем заключается основная суть функции NULL ?
- В чем заключается основная суть функции SET ?
- В чем заключается основная суть функции SETQ ?
- В чем заключается основная суть функции создания CONS ?
- В чем заключается основная суть функций интерпретации выражения, таких как APPLY и FUNCALL ?
- В чем заключается основная суть предиката EQ ?
- В чем заключается суть основной особенности языка программирования Лисп от других языков как автоматическое и динамическое управление памятью?
- В чем заключается суть основной особенности языка программирования Лисп от других языков как функциональная направленность?
- В чем заключается суть основной особенности языка программирования Лисп от других языков как хранение данных не зависящее от места?
- В чем заключается суть основной особенности языка программирования Лисп от других языков, как бестиповый язык?
- В чем заключается суть основной особенности языка программирования Лисп от других языков, как пошаговое программирование?
- Верно ли следующее утверждение, что: «Программа, написанная на Лиспе, представляет собой последовательность вызовов некоторых функций, а средством связи между последовательно вызываемыми функциями являются переменные, позволяющие запомнить любой объект»?
- Верно ли следующее утверждение, что: «Функционалы MAPCAR и MAPLIST используются для программирования циклов специального вида и в определении других функций, так как с их помощью можно сократить запись повторяющихся вычислений»?
- Верно ли следующее утверждение: «При успешном завершении операции, LOAD возвращает имя последней функции, определенной в файл»?
- Верно ли следующее утверждение: «Функция LOAD может вызываться из другой функции Lisp »?
- Верно ли следующее утверждение: «Функция в языке F # имеет имя, имеет параметры, может принимать аргументы, а также функция имеет тело»?
- Верно ли следующее утверждение: Если операция не выполнена, LOAD возвращает имя файла в виде строкового выражения»?
- Где используются эскейп-коды ?
- Дайте определение, что такое лямбда-выражение?
- Дайте определение,что такое предикат?
- Из каких основных шагов состоит Лисп-система?
- Из каких полей состоит списочная ячейка?
- Из чего состоит верхний уровень модуля программы на Haskell (далее — язык)?
- К основным типам MAP — функций не относятся?
- Как выглядит комбинация вызовов CAR и CDR ?
- Как выглядит список, в котором нет ни одного элемента в языке Lisp ?
- Как называется вариант порядка применения, при котором аргументы функции начинают вычисляться только тогда, когда в них возникает необходимость?
- Как называется вариант порядка применения, при котором аргументы функции полностью вычисляются до ее вызова?
- Как называется входящий в состав формы список, образованный из параметров?
- Как называется произвольная форма, значение которой может вычислить интерпретатор Лиспа?
- Как называется функция, с помощью которой можно просматривать весь список свойств?
- Какая операция для функции в языке F # является главной?
- Какие варианты порядка применения в языке F #не существуют?
- Какие основные этапы вычисления лямбда-вызова существуют?
- Какие типы данных языка Lisp существуют?
- Какие функции интерпретации выражения существуют?
- Какие функции обеспечивает язык программирования Haskell ?
- Какими отличительными признаками обладает язык программирования Лисп от других языков?
- Какой показатель используется при логическом сравнивании списков?
- Какую функцию выполняет команда :! <command> в программе Haskell ?
- Какую функцию выполняет команда : also < filenames > в программе Haskell?
- Какую функцию выполняет команда : browse < modules > в программе Haskell?
- Какую функцию выполняет команда : cd <directory> в программе Haskell?
- Какую функцию выполняет команда : edit [< filename >] в программе Haskell?
- Какую функцию выполняет команда : find < name > в программе Haskell ?
- Какую функцию выполняет команда : info < names > в программе Haskell?
- Какую функцию выполняет команда : module < module > в программе Haskell?
- Какую функцию выполняет команда : names [ pat ] в программе Haskell?
- Какую функцию выполняет команда : project < filename > в программе Haskell?
- Какую функцию выполняет команда : quit в программе Haskell?
- Какую функцию выполняет команда :set [< options >] в программе Haskell?
- Какую функцию выполняет команда :type < expr > в программе Haskell?
- Какую функцию используют при загрузке и хранении в файлах определения функций?
- Кто является создателем идеи теории типов выражения языка F #?
- Кто является создателем языка Лисп?
- На какие виды делятся числовые литералы?
- На какие пространства имен делятся идентификаторы программ на Haskell?
- С помощью какого значения определяются функции в языке F #?
- С помощью какой записи задаются литералы с плавающей точкой?
- С помощью какой функции свойства символа передаются другому символу?
- Что из ниже перечисленного не является базовой функцией языка Лисп?
- Что из ниже перечисленного не является основой средств управления вводом-выводом?
- Что означает функция DEFUN ?
- Что подразумевается под понятием «список» в языке Лисп?
- Что является ядром программы на Haskell ?
- В каком году появилось первое упоминание о языке F#?
- В чем заключается императивность F#?
- В чем заключается основная суть предиката EQUAL ?
- В чем заключается основная суть типа MAP-функций, как функция MAPCAR ?
- В чем заключается основная суть функции SETF ?
- В чем заключается суть основной особенности языка программирования Лисп от других языков как наличие одинаковой формы данных и программ?
- Верно ли следующее утверждение, что: «Программа на языке F #состоит из деклараций»?
- Верно ли следующее утверждение: Для преобразования значений из одного типа в другой нужно использовать одноименные встроенные функции, например, byte, sbyte и т.д.
- Верно ли следующее утверждение: Компилятор языка F# может поддерживать псевдонимы различных типов
- Верно ли следующее утверждение: «Функция READ и RATOM позволяет осуществлять операций ввода и вывода S -выражений и атомов»?
- Верно ли следующее утверждение: «Язык Lisp основан на алгебре списочных структур, лямбда-исчислении и теории рекурсий»?
- Из чего состоит нижний уровень модуля программы на Haskell (далее – язык)?
- К какому типу языков можно отнести F# ?
- Как называется вариант порядка применения, при котором не происходит дублирование вычислений?
- Как называется кодировка символов, которая используется в программах на Haskell ?
- Как называется ссылка нового символа при генерации или считывании языка Lisp ?
- Как называется функция, с помощью которой можно удалить свойства и его значения?
- Какая запись означает функцию, принимающую на входе два параметра типа string и возвращающую string в качестве результата?
- Какие типы деклараций в языке F # существуют?
- Каким образом в F# обозначается единственное значение типа unit?
- Какое значение в F# обозначает отсутствие результата исполнения функции?
- Какое название имеет компилятор исходного кода F#?
- Какое расширение имеет файл с кодом на F#, который может быть скомпилирован?
- Какое расширение имеет файл с кодом на F#, который описывает публичный интерфейс модуля?
- Какое расширение имеет файл, содержащий код на F#, исполняющий скрипт?
- Какой продукт фирмы Microsoft поддерживает разработку на F#?
- Какой суффикс используется для различия числовых литералов типа System.Byte?
- Какой суффикс используется для различия числовых литералов типа System.UInt32?
- Какой язык был взят за основу при разработке языка F#?
- Какой язык, хоть и не стал непосредственным родителем языка F#, но оказал на его развитие большое влияние?
- Какую функцию выполняет данная команда : load [< filenames >] в программе Haskell ?
- Какую функцию выполняет команда : gc в программе Haskell?
- Какую функцию выполняет команда : reload в программе Haskell ?
- Какую функцию выполняет команда : version в программе Haskell?
- На какие программы следует ориентироваться при создании объектно-ориентированных обёрток, входящих в библиотеки F#?
- На какой платформе основывается реализация функциональной парадигмы языка F#?
- На языке F# тип каждого выражения …
- Написание какой директивы отключает режим совместимости синтаксиса F# с OCaml?
- С какого расширения файла начинается запуск любой Лисп-машины?
- Сколько раз могут содержаться в системе логически идентичные атомы?
- Спомощью какой записи задаются целые литералы?
- Чем обусловлены объектно-ориентированные возможности F#?
- Что из ниже перечисленного не является видом имен в Haskell?
- Что подразумевает под собой строка «разрыв» в языке Haskell?
- Что присутствует в F# в качестве атрибута функционального программирования?
- Что такое F#?