Тесты СинергияАртём Хелп
Артём Help онлайнПолучить расчёт
Бесплатно оценим сроки и стоимостьОтправить задание в Telegram
Функциональное программирование и интеллектуальные системы.(1)

Функциональное программирование и интеллектуальные системы.(1)

Просмотрите все вопросы и варианты бесплатно. Правильные ответы скрыты и открываются только после получения доступа.

120 вопросов Вариант 1 Доступ 7 дней
Содержание теста

Вопросы и варианты

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

Вопрос 1

Какими недостатками обладает «машина» Тьюринга?

  1. непригодность для практических задач
  2. алгоритмы занимают много места
  3. универсальность формулировки
  4. отдаленная близость к существующим реализациям компьютеров
Вопрос 2

В каком языке программирования применяется S -выражения?

  1. Lisp
  2. Паскаль
  3. С+
  4. Basic
Вопрос 3

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

  1. аргументы функции полностью вычисляются до вызова
  2. аргументы функции начинают вычисляться только тогда, когда в них возникает надобность, но редукции не выполняются внутри лямбда-абстракций
  3. дублирование вычислений
Вопрос 4

В чем заключается суть «ленивого» порядка редукций?

  1. аргументы функции начинают вычисляться только тогда, когда в них возникает надобность
  2. аргументы функции полностью вычисляются до вызова
  3. вариант реализации «вызова по имени, при котором не происходит дублирование вычислений
Вопрос 5

Какими достоинствами обладает «машина» Тьюринга?

  1. простота формулировки
  2. непригодность для практических задач
  3. определенная близость к существующим реализациям компьютеров
  4. алгоритмы занимают много места и не поддаются чтению и пониманию
Вопрос 6

С помощью какого алгоритма основана модель типизации?

  1. алгоритм вывода типов выражений
  2. алгоритм передачи данных
  3. алгоритм переменных значений
  4. алгоритм ввода типов выражений
Вопрос 7

Верно ли следующее утверждение: «Сначала в соответствии с заданным алгоритмом строится значение функции, а затем аргументы вычисляются в порядке вхождения»?

  1. Да
  2. Нет
Вопрос 8

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

  1. включение любых символов с определенным смыслом
  2. способ обработки аргументов нестандартным способом по любой заданной схеме
  3. фаза поиска оптимального решения
  4. процесс вычислений как последовательное изменение состояний
Вопрос 9

В чем заключается суть «аппликативного» порядка редукций?

  1. аргументы функций полностью вычисляются до вызова
  2. дублирование вычислений
  3. аргументы функции начинают вычисляться только тогда, когда в них возникает надобность
Вопрос 10

Из каких атомов состоят S -выражения?

  1. символьные
  2. числовые
  3. процентные
  4. нумерационные
Вопрос 11

В чем суть безопасной типизации?

  1. задает некоторые ограничения на смешение операций над разными типами данных
  2. определяет совместимость типов данных, используя их структуры
  3. позволяет применять любые операции, к любым данным, а все типы данных рассматриваются как последовательности битов различной длины
  4. предполагает использование системы типов языка для предотвращения некоторых типов ошибочного и неопределенного поведения программы
Вопрос 12

Как в бета-редукции определяется понятие «свободная программа»?

  1. вхождение переменной v в терм T
  2. отсутствием в лямбде-терме свободного вхождения
  3. использование разного количества редукций
Вопрос 13

Как называется выражение, над которым можно произвести бета-редукцию, т.е. подстановку аргументов во все функции?

  1. апликации
  2. абстракции
  3. термы
  4. редекс
Вопрос 14

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

  1. Бейсик
  2. Си+
  3. Outlook
  4. ПАСКАЛЬ
  5. Excel
Вопрос 15

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

  1. аргументы функции начинают вычисляться только тогда, когда в них возникает надобность
  2. аргументы функции полностью вычисляются до вызова, но редукции не выполняются внутри лямбда-абстракций
  3. дублирование вычислений
Вопрос 16

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

  1. аппликативный
  2. нормальный
  3. ленивый
  4. точечный
  5. вызов по имени
Вопрос 17

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

  1. рекурсивные
  2. конечные (нацеленные на результат)
  3. псевдо-функции
  4. аддитивные
  5. специальные
Вопрос 18

Как называется выражение в лямбда-исчислении?

  1. лямбда-термами
  2. лямбда-апликации
  3. лямбда-абстракции
  4. лямбда-редукции
Вопрос 19

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

  1. поиск текстовой информации по ключевым словам в базах
  2. осуществление взаимодействия пользователя ИИС с помощью графических образов
  3. решение слабоформализуемых задач на основе накапливаемого в базе знаний опыта работы экспертов в проблемной области
  4. осуществление группировки в классы: прогнозирование, планирование и контроль
Вопрос 20

Дайте определение, что такое декларативное программирование?

  1. парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода
  2. использование данных, а не написание кода для того, чтобы заставить приложение или компонент выполнить действия
  3. раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
  4. описание процесса вычислений как последовательное изменение состояний
Вопрос 21

Верно ли следующее утверждение: Что динамическая типизация является противоположностью статической типизации»?

  1. Да
  2. Нет
Вопрос 22

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

  1. применение блок-схем и других графических форм изображения алгоритмов
  2. упрощение процесса тестирования и отладки программ
  3. сокращение числа вариантов построения программы по одной и той же спецификации
  4. применение полиморфных переменных и параметров функций в программировании
Вопрос 23

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

  1. нацеленность на формализацию основного множества объектов
  2. расширение, уточнение и настройка реализованных программных средств
  3. определения полной семантической системы операций
  4. реализация переменных с помощью таблицы соответствия символов
Вопрос 24

Как называют замену редекса?

  1. ветвлением
  2. переменной
  3. константой
  4. свёрткой
Вопрос 25

На какие основные параметры опираются императивные функции?

  1. состояние внешних по отношению к функции переменных
  2. модульное тестирование
  3. аргументы
  4. последовательность
Вопрос 26

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

  1. программные средства интеллектуализации доступа к базе данных
  2. средства управления видимостью классов
  3. пакеты программ статистического анализа данных
  4. пакеты данных когнитивной системы
Вопрос 27

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

  1. решение слабоформализуемых задач на основе накапливаемого в базе знаний опыта работы экспертов в проблемной области
  2. поиск текстовой информации по ключевым словам в базах
  3. осуществление взаимодействия пользователя ИИС с помощью графических образов
  4. осуществление группировки в классы: прогнозирование, планирование и контроль
Вопрос 28

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

  1. в 1970
  2. в 1940
  3. в 1950
  4. в 1947
Вопрос 29

В чем заключается суть преобразования «карринг»?

  1. возможность взаимодействия между частями программы
  2. наличие ссылочной прозрачности
  3. присваивание случайного числа
  4. возможность фиксировать несколько первых аргументов функции
Вопрос 30

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

  1. гипертекстовые системы
  2. многоагентные системы
  3. контекстные системы
  4. нейронные системы
Вопрос 31

Что из ниже перечисленного относится к классу экспертных систем интеллектуальной информационной системы?

  1. классифицирующие системы
  2. естественно-языковой интерфейс
  3. индуктивные системы
  4. трансформирующие системы
Вопрос 32

Как называют термы в комбинаторной логике?

  1. комбинаторами
  2. редексаторами
  3. термами
  4. переменными
Вопрос 33

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

  1. Моисей Шейнфинкель
  2. Денис Ритчи
  3. Алонзо Чёрча
  4. Хаскелл Карри
Вопрос 34

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

  1. функция тождества
  2. функция слияния, перестановки и группировки
  3. константная функция
  4. функция равенства
Вопрос 35

Каким способом можно любой список в программировании превратить в константу?

  1. поставить после списка знак равенства (=)
  2. поставить перед списком апостроф (
  3. включить в список элемент ELSE
Вопрос 36

Кто сформулировал концепцию символьной обработки информации компьютером в 1958 году?

  1. Бьерн Страуступ
  2. Джон Макарти
  3. Дфенис Ритчи
  4. Ларри Уолл
Вопрос 37

Какое лямбда-выражение является левоассоциативным?

  1. лямбда-абстракция
  2. лямбда-апликация
  3. лямбда-термами
  4. лямбда-редукции
Вопрос 38

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

  1. в кодировке λa
  2. в операторе if
  3. в классе if
Вопрос 39

Дайте определение, что такое логическое программирование?

  1. парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода
  2. раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
  3. описание процесса вычислений как последовательное изменение состояний
  4. парадигма программирования, в которой основными концепциями являются понятия объектов и классов
Вопрос 40

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

  1. лямбда-абстракция
  2. лямбда-апликация
  3. лямбда-термами
  4. лямбда-редукции
Вопрос 41

Из чего состоит синтаксис лямбда-исчисления?

  1. лямбда-абстракции
  2. лямбда редукция
  3. лямбда-аппликация
  4. лямбда- выражение
Вопрос 42

Кем была разработана система лямбда-исчисление?

  1. Чёрчем Россером
  2. Алонзо Чёрчем
  3. Моисеем Шейнфинкелем
  4. Хаскель Карри
Вопрос 43

Что значит понятие «что то сделать с дном» в терминах «расширенного» лямбда-исчисления?

  1. арифметическое понятие
  2. философское понятие
  3. «дно» в позиции функции в лямбда-редукции
  4. «дно» в позиции функции в лямбда-аппликации
Вопрос 44

Верно ли следующее утверждение: «Что в расширенном варианте лямбда-исчисление, дно также может появиться от деления на 0»?

  1. Да
  2. Нет
Вопрос 45

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

  1. λx.x
  2. λy.y
  3. λz.z
  4. λx.y
Вопрос 46

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

  1. последовательность
  2. цикл
  3. классы
  4. точечность
  5. ветвление
Вопрос 47

В чем заключается суть модели типизацииХиндли-Милнера?

  1. задает некоторые ограничения на смешение операций над разными типами данных
  2. позволяет создавать более гибкое программное обеспечение, хотя и ценой большей вероятности ошибок типизации
  3. механизм вывода типов выражений, который реализован в некоторых строгих функциональных языках программирования
  4. реализуется средствами статической типизации, если язык позволяет вывод типов
Вопрос 48

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

  1. матричная компиляция
  2. дельта-исчисление
  3. лямбда-исчисление
  4. математическая псевдо-функция
Вопрос 49

Какие дополнительные средства не относятся к набору элементов объектно-ориентированного программирования?

  1. Какие дополнительные средства не относятся к набору элементов объектно-ориентированного программирования?
  2. нейроны
  3. финализаторы
  4. деструкторы
Вопрос 50

В чем предназначение динамической типизации?

  1. позволяет создавать более гибкое программное обеспечение, хотя и ценой большей вероятности ошибок типизации
  2. определяет совместимость типов данных, используя их структуры
  3. язык программирования задает некоторые ограничения на смешение операций над разными типами данных
  4. не требует явного объявления типа для используемых переменных, может быть реализована средствами статической типизации, если язык позволяет вывод типов
Вопрос 51

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

  1. оптимизация при компиляции
  2. присваивание и замена порождения новых данных
  3. нестрогая модель вычислений
  4. возможность модульного тестирования, а не функционального
Вопрос 52

В чем предназначение неявной типизации?

  1. определяет совместимость типов данных, используя их структуры
  2. позволяет создавать более гибкое программное обеспечение, хотя и ценой большей вероятности ошибок типизации
  3. не требует явного объявления типа для используемых переменных, может быть реализована средствами статической типизации, если язык позволяет вывод типов
  4. язык программирования задает некоторые ограничения на смешение операций над разными типами данных
Вопрос 53

В чем заключается суть «нормального» порядка редукций?

  1. аргументы функций полностью вычисляются до вызова
  2. дублирование вычислений
  3. аргументы функции начинают вычисляться только тогда, когда в них возникает надобность
Вопрос 54

Дайте определение, что такое объектно-ориентированное программирование?

  1. парадигма программирования, в которой основными концепциями являются понятия объектов и классов
  2. описание процесса вычислений как последовательное изменение состояний
  3. раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
  4. методология разработки программного обеспечения, в основе которой лежит представление программы в виде иерархической структуры блоков
Вопрос 55

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

  1. вложение управляющих конструкций друг в друга произвольным образом
  2. последовательное исполнение инструкций, работающих с памятью присваиваний, и итеративные циклы
  3. использование мнемокодов
  4. повышение надежности кода и возможности параллелизма
Вопрос 56

Кто является теоретическим основоположником императивного программирования в 1930-х годах?

  1. Денис Ритчи
  2. Алан Тьюринг
  3. Джон Маккарти
  4. Джон фон Нейман
Вопрос 57

Кто является основоположником комбинаторной логики?

  1. Моисей Шейнфинкель
  2. Джон Маккарти
  3. Денис Ритчи
  4. Ларри Уолл
Вопрос 58

Дайте определение, что такое парадигма программирования?

  1. совокупность идей и понятий, определяющих стиль написания компьютерных программ
  2. раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
  3. программа написана на исключительно функциональном, логическом или языке программирования с ограничениями
  4. методология разработки программного обеспечения, в основе которой лежит представление программы в виде иерархической структуры блоков
Вопрос 59

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

  1. машинные коды
  2. конструктуры
  3. финализаторы
  4. аксессоры
Вопрос 60

Верно ли следующее утверждение: «Если в терме М встречается переменная x , то она становится связанной»?

  1. Да
  2. Нет
Вопрос 61

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

  1. повторение фрагментов и оформление логической целостности программы
  2. упрощение процесса тестирования и отладки структурированных программ
  3. возможность единообразно обрабатывать объекты с различной реализацией при условии наличия общего интерфейса
Вопрос 62

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

  1. "вызов по имени"
  2. "вызов по значению"
  3. нормальный
  4. точечный
  5. аппликативный
Вопрос 63

В чем суть правила построения S -выражения?

  1. список есть S-выражение
  2. последовательность S-выражений в круглых скобках есть S-выражение
  3. X список → S-выражение
  4. атом есть S-выражение
Вопрос 64

В чем суть правила для написания программного кода, когда переменные x , y , z ….. являются термами?

  1. специальный символ лямбда (λ) в выражении (λx.М) говорит о том, что мы собираемся определить функцию с аргументом x и телом функции М
  2. правило применения функции к аргументу
  3. есть алфавит символов, который что-то обозначает, эти символы являются базовыми строительными блоками программы
Вопрос 65

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

  1. если x – переменная, а М-терм, то (λx.M) – терм
  2. если М и N – термы, (MN) - терм
  3. если (λx.M) …. x,y,z – терм
  4. переменные x,y,z …. являются термами
Вопрос 66

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

  1. отсутствие замены на порождение новых данных
  2. возможность параллелизма и оптимизации при компиляции
  3. нестрогая модель вычислений
  4. повышение надежности кода
Вопрос 67

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

  1. не обеспечивает гибкость отображений
  2. определение функции может совсем не зависеть от конкретных имен
  3. любую систему взаимосвязанных функций можно преобразовать к одной функции, используя вызовы безымянных функций
  4. выбор формы результатов зависит на прямую от конкретных имен
Вопрос 68

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

  1. разработка программы осуществляется методом «снизу вверх»
  2. все конструкции должны иметь два входа и один единственный выход
  3. программа строится из 3-х базовых управляющих конструкций: последовательность, ветвление, цикл
  4. повторяющиеся фрагменты программы можно оформить в виде подпрограмм
Вопрос 69

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

  1. отображение аргументов в результаты, для равноправного участия в любой позиции формулы, задающей вычислительный процесс
  2. значения аргументов вычисляются до того, как к ним применяется функция (концепция времени)
  3. обработка аргументов нестандартным способом по любой заданной схеме
  4. фаза поиска оптимального решения
Вопрос 70

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

  1. редексом
  2. аппликацией
  3. термом
  4. редукцией
Вопрос 71

В чем суть правила для написания программного кода, если x – переменная, а М-терм, то(λx.M) – терм?

  1. правило применения функции к аргументу
  2. специальный символ лямбда (λ) в выражении (λx.М) говорит о том, что мы собираемся определить функцию с аргументом x и телом функции М
  3. есть алфавит символов, который что-то обозначает, эти символы являются базовыми строительными блоками программы
Вопрос 72

В чем суть правила для написания программного кода, если М и N – термы, то ( MN ) – терм?

  1. правило применения функции к аргументу
  2. есть алфавит символов, который что-то обозначает, эти символы являются базовыми строительными блоками программы
  3. специальный символ лямбда (λ) в выражении (λx.М) говорит о том, что мы собираемся определить функцию с аргументом x и телом функции М
Вопрос 73

Из чего состоит вычислительный процесс лямбда-выражений?

  1. лямбда-редукций
  2. бета-редукций
  3. дельта-редукций
  4. терма-редукций
Вопрос 74

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

  1. отображение аргументов в результаты, для равноправного участия в любой позиции формулы, задающей вычислительный процесс
  2. значения аргументов вычисляются до того, как к ним применяется функция (концепция времени)
  3. обработка аргументов нестандартным способом по любой заданной схеме
  4. фаза поиска оптимального решения
Вопрос 75

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

  1. с правого редекса
  2. с левого редекса
  3. с левого внешнего редекса
  4. с правого внутреннего редекса
Вопрос 76

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

  1. с левого редекса
  2. с левого внешнего редекса
  3. с правого внутреннего редекса
  4. с правого редекса
Вопрос 77

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

  1. выполнение условий завершения рекурсии
  2. анализ и обработка данных, представляющих информацию разной природы
  3. вычисление действий на основе рекурсивных соотношений
  4. оперирование функциями в качестве аргументов или результатов
Вопрос 78

Дайте определение, что такое Рекурсия?

  1. ключевой механизм информатики
  2. неделимое данное, представляющее информацию произвольной природы
  3. повторяемое выполнение процесса до тех пор, пока не будет удовлетворено некоторое условие
  4. использование определений, которое задает элементы множества с помощью других элементов этого же множества
Вопрос 79

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

  1. системы, основанные на прецедентах
  2. когнитивная графика
  3. информационные хранилища
  4. доопределяющие системы
Вопрос 80

Какие свойства S -выражений существуют?

  1. использование символов
  2. элементы
  3. атомы
  4. использование скобок
Вопрос 81

Какие основные свойства интеллектуальных задач можно выделить?

  1. символьное представление условий задач
  2. 100% обеспечение правильным результатом
  3. узкая размерность пространства решений
  4. неточность и противоречивость знаний
Вопрос 82

Верно ли следующее утверждение: «Если переменная x является связанной, то и в терме λ y .x,она связана»?

  1. Да
  2. Нет
Вопрос 83

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

  1. строки
  2. списки
  3. атомы
  4. подгруппы
Вопрос 84

Для написания термов вводятся следующие соглашения, в случае, когда «в применении группируем скобки влево» - пишем значение fghx, а что подразумеваем?

  1. (λx.xа)
  2. (λx.(λy.x))
  3. ((fg)h)x
Вопрос 85

Для написания термов вводятся следующие соглашения, в случае, когда «в функциях группируем скобки вправо» - пишем значение - λx.λy.x, а подразумеваем?

  1. (λx.xа)
  2. (λx.(λy.x))
  3. ((fg)h)x
Вопрос 86

Для написания термов вводятся следующие соглашения, в случае, когда «опускаются внешние скобки» -  пишем значение λx.x, а подразумеваем?

  1. (λx.xа)
  2. (λx.(λy.x))
  3. ((fg)h)x
Вопрос 87

Дайте определение, что такое список, как элемент программирования?

  1. использование определений, которое задает элементы множества с помощью других элементов этого же множества
  2. схема реализации отображения может быть представлена в виде определения, формальными параметрами которого являются обозначения функций, выполняющих эти роли
  3. составное данное, первый элемент которого может рассматриваться как функция, применяемая к остальным элементам, также представленным как символьные выражения
  4. повторяемое выполнение процесса до тех пор, пока не будет удовлетворено некоторое условие
Вопрос 88

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

  1. обработка аргументов нестандартным способом по любой заданной схеме
  2. фаза поиска оптимального решения
  3. отображение аргументов в результаты, для равноправного участия в любой позиции формулы, задающей вычислительный процесс
  4. значения аргументов вычисляются до того, как к ним применяется функция (концепция времени)
Вопрос 89

В чем предназначение строгой типизации?

  1. позволяет создавать более гибкое программное обеспечение, хотя и ценой большей вероятности ошибок типизации
  2. язык программирования задает некоторые ограничения на смешение операций над разными типами данных
  3. не требует явного объявления типа для используемых переменных, может быть реализована средствами статической типизации, если язык позволяет вывод типов
  4. определяет совместимость типов данных, используя их структуры
Вопрос 90

В чем предназначение структурной типизации?

  1. позволяет создавать более гибкое программное обеспечение, хотя и ценой большей вероятности ошибок типизации
  2. язык программирования задает некоторые ограничения на смешение операций над разными типами данных
  3. определяет совместимость типов данных, используя их структуры
  4. не требует явного объявления типа для используемых переменных, может быть реализована средствами статической типизации, если язык позволяет вывод типов
Вопрос 91

Верно ли следующее утверждение: «Что Структурная типизация является противоположностью номинативной типизации»?

  1. Да
  2. Нет
Вопрос 92

Дайте определение, что такое структурное программирование?

  1. парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода
  2. методология разработки программного обеспечения, в основе которой лежит представление программы в виде иерархической структуры блоков
  3. парадигма программирования, в которой основными концепциями являются понятия объектов и классов
  4. раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
Вопрос 93

Верно ли следующее утверждение: «Что телекоммуникационные технологии обеспечивают огромному числу пользователей доступ к возможностям экспертных систем, это способствует окупаемости затрат на разработку электронной системы»?

  1. Да
  2. Нет
Вопрос 94

В чем заключается суть теоремы Черча-Россера?

  1. для нахождения значений функции, существует какой-нибудь алгоритм, когда функция является вычислимой
  2. если у лямбда-терма есть нормальная форма, то она единственна и достигается нормальным порядком редукций
  3. позволяет за конечное число шагов эффективно определить, является ли заданная замкнутая формула теории доказуемой
Вопрос 95

С помощью какой системы было доказано несколько фундаментальных теорем – теорема Черча-Тьюринга?

  1. лямбда-апликация
  2. лямбда-исчисление
  3. лямбда-абстракция
  4. лямбда-алгоритм
Вопрос 96

Верно ли следующее утверждение: «Что Инженер знаний«извлекает» из экспертов процедуры, стратегии, эмпирические правила, которые они используют при решении задач, и встраивает эти знания в экспертную систему»?

  1. Да
  2. Нет
Вопрос 97

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

  1. ширина
  2. ступень
  3. глубина
  4. позиция
  5. дно
Вопрос 98

В 70-х – начале 80-х годов XX века появляется множество типизированных функциональных языков, какие из ниже перечисленных являются таковыми?

  1. Hope
  2. Goto
  3. ML
  4. Basic
Вопрос 99

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

  1. обеспечение безопасности
  2. абстракция
  3. документация
  4. обеспечение
  5. оптимизация
Вопрос 100

Какие формы S -выражений не существуют?

  1. список с подписками
  2. список значений
  3. список атомов
  4. список символов
  5. один атом
Вопрос 101

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

  1. чистые
  2. графические
  3. математические
  4. идеальные
  5. точные
  6. частные
Вопрос 102

Верно ли следующее утверждение: «Что функционал, есть эффективный механизм абстрагирования, моделирования,проектирования и формализации крупномасштабной обработки информации»?

  1. Да
  2. Нет
Вопрос 103

Дайте определение, что такое функционал?

  1. схема реализации отображения может быть представлена в виде определения, формальными параметрами которого являются обозначения функций, выполняющих эти роли
  2. неделимое данное, представляющее информацию произвольной природы
  3. использование определений, которое задает элементы множества с помощью других элементов этого же множества
  4. повторяемое выполнение процесса до тех пор, пока не будет удовлетворено некоторое условие
Вопрос 104

Дайте определение, что такое функциональное программирование?

  1. раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
  2. описание процесса вычислений как последовательное изменение состояний
  3. совокупность идей и понятий, определяющих стиль написания компьютерных программ
  4. программа написана на исключительно функциональном, логическом или языке программирования с ограничениями
Вопрос 105

Как называются функции в лямбда-исчислении?

  1. аппликациями
  2. термами
  3. редексами
  4. абстракциями
Вопрос 106

Как выглядит функция двух аргументов + или *, если из нее сделать функцию одного аргумента?

  1. λx. λy
  2. λy.Yxx
  3. λb.λx.bxx
  4. λb.λaa
Вопрос 107

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

  1. сокращение число ошибок и упрощение отладки
  2. использование математических принципов резолюций
  3. применение индуктивной системы
  4. повышение производительности труда программистов
Вопрос 108

Верно ли следующее утверждение: «Числа и строки рассматриваются как самоопределимые атомы, смысл которых не требует никакого ассоциирования»?

  1. Да
  2. Нет
Вопрос 109

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

  1. помощь при анализе различных вариантов принятия решения
  2. помощь при распознавании языка программирования
  3. консультация для неопытных пользователей и помощь по вопросам, относящимся к смежным областям деятельности
  4. создание среды для обработки списковых структур
Вопрос 110

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

  1. языки программирования
  2. абстракция программирования
  3. среды программирования
  4. термы программирования
Вопрос 111

Из каких основных элементов состоит объектно-ориентированное программирование?

  1. объявление классов с полями
  2. построение произвольных алгоритмов
  3. оформление подпрограмм
  4. механизм расширения класса
Вопрос 112

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

  1. Si
  2. Prolog
  3. Basic
  4. Fortran
Вопрос 113

В чем главное предназначение языка обработки символьной информации, Prolog?

  1. программирование в терминах логики
  2. обработка списковых структур
  3. перекрытие области видимости
  4. дублирование вычислений
Вопрос 114

Как называется язык программирования, где ввод-вывод реализован при помощи монад, т.е. нетривиальной концепции, по заимствованной из теории категорий?

  1. Basic
  2. Pascal
  3. Haskell
  4. Lisp
Вопрос 115

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

  1. 1965
  2. 1950
  3. 1970
  4. 1980
Вопрос 116

Какие предикаты сравнения содержит язык программирования – Lisp ?

  1. EQ и EQL
  2. HPQ и HPL
  3. EQUAL
  4. SETQ
  5. WET QUL
Вопрос 117

Кто является создателем языка программирования – Pascal?

  1. Бертран Мейер
  2. Алан Кэем
  3. Джон Бэкус
  4. Денис Ритчи
Вопрос 118

Какие языки не используются в модели Хиндли-Милнера?

  1. Haskell
  2. OCaml
  3. Fortress
  4. Basic
  5. Si
Вопрос 119

В чем главное предназначение языка обработки символьной информации, Lisp?

  1. обработка списковых структур
  2. перекрытие области видимости
  3. программирование в терминах логики
  4. дублирование вычислений
Вопрос 120

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

  1. Assembler
  2. Basic
  3. Prolog
  4. Lisp