Сертификат "Введение в теорию программирования. Функциональный подход"
  • Сертификат "Введение в теорию программирования. Функциональный подход"
  • Сертификат "Введение в теорию программирования. Функциональный подход"
Сертификат "Введение в теорию программирования. Функциональный подход"
  • Сертификат "Введение в теорию программирования. Функциональный подход"
  • Сертификат "Введение в теорию программирования. Функциональный подход"

Введение в теорию программирования. Функциональный подход

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

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

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

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

C# и SML
C# и ProLog
C# и Fortran



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

С# и C++
С# и SML
С# и ProLog



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

SML и ProLog
LISP и ProLog
SML и LISP



Что отличает объектно-ориентированный подход к программированию от компонентно-ориентированного?

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



Что отличает императивные языки программирования от декларативных?

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



Что отличает ранние языки программирования от поздних?

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



В чем состоит особенность языков объектно-ориентированного программирования?

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



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

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



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

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



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

JavaScript и ProLog
JavaScript и VBScript
VBScript и ProLog



Что объединяет языки ООП и языки сценариев?

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



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

структура программы
стиль программирования
совместимость с CASE- и RAD-средствами



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

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



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

С# и Ada
Modula и Ada
С# и Modula



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

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



Что означает название .NET?

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



В чем состоит особенность вычислительной модели Microsoft .NET?

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



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

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



Чем отличается подход к программированию Microsoft .NET от других Internet-ориентированных подходов?

высокой степенью интеграции приложений
высокой степенью интерактивности
высокой степенью безопасности



Что отличает Microsoft .NET от других платформ разработки приложений?

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



Что отличает Microsoft .NET от предыдущих идеологий?

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



В чем состоит особенность использования языков программирования для Microsoft .NET?

можно использовать любые языки
нельзя использовать объектно-ориентированные языки
нельзя использовать ранние языки, такие как COBOL



В чем состоит особенность языков программирования для Microsoft .NET?

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



В чем состоит особенность Microsoft .NET в контексте безопасности?

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



Что понимается под интероперабельностью?

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



В чем заключаются технологические особенности Microsoft .NET?

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



В чем заключается цель использования web-сервисов в Microsoft .NET?

в обеспечении строгого соответствия стандартам
в обеспечении удобства использования
в обеспечении интероперабельности, масштабируемости



Каковы наиболее значительные недостатки Microsoft .NET?

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



Сколько языков программирования реализовано для Microsoft .NET?

несколько десятков
менее 10
более 100



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

LISP и ProLog
SML и ProLog
SML и LISP



Каково соотношение понятий функции в математике и программировании?

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



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

СaML и Mosml
Mosml и Haskell
СaML и Haskell



Что отличает ламбда-исчисление от булевой логики?

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



Что объединяет классический ML и более поздние аналоги?

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



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

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



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

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



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

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



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

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



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

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



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

преобразование синтаксиса языка
преобразование объектов исчисления
преобразование семантики языка



Что понимается под ламбда-исчислением?

теория для формализации семантики языка
теория для формализации обозначений и переобозначений
теория для формализации синтаксиса языка



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

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



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

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



В чем состоят преимущества языка программирования SML?

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



Для какого из перечисленных языков программирования использовалось ламбда-исчисление?

ALGOL 60
SIMULA 67
FORTRAN IV



В чем состоит основное назначение ламбда-исчисления?

формализация функциональной программы
формализации обозначения и переобозначения
формализация программной среды Microsoft .NET



Что является преимуществом ламбда-исчисления перед классической логикой?

Наглядность
возможность формализации процесса программирования
возможность оптимизации программного кода



Что означает выводимость типов?

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



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

отсутствие необходимости доказательства истинности
фундаментальность
лаконичность формулировок



Каким образом осуществляется построение ламбда-термов?

посредством дедукции
посредством рекурсии
посредством индукции



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

Mosml
SML
CaML



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

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



Каковы основные свойства отношения конвертируемости?

рефлексивность, антисимметричность, транзитивность
рефлексивность, симметричность, интранзитивность
рефлексивность, симметричность, транзитивность



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

отношение взаимно однозначного соответствия
отношение конвертируемости
отношение частичного порядка


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

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



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

аппликация
композиция
абстракция



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

в любом направлении
вправо
влево



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

в любом направлении
влево
вправо



В чем состоит основное назначение комбинаторной логики?

формализация выводимости типов
формализация программной среды Microsoft .NET
формализация функциональной программы



Каковы основные компоненты формальной теории комбинаторной логики?

алфавит, теоремы, правила вывода
алфавит, аксиомы, теоремы
алфавит, аксиомы, правила вывода



Для реализации какого из перечисленных языков программирования использовалась категориальная комбинаторная логика?

Mosml
SML
CaML



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

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



Что понимается под комбинатором?

ламбда-терм без свободных переменных
ламбда-терм без связанных переменных
ламбда-терм без переменных



Что из перечисленного является этапом развития комбинаторной логики?

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


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

абстракция
аппликация
аппликация и абстракция


Каким образом осуществляется построение комбинаторов?

посредством дедукции
посредством индукции
посредством рекурсии



Какой функции соответствует аксиома Ix=x?

первой проекции
композиции
тождеству


В каком случае переменная x называется свободной в терме λx.A?

если она не имеет вхождений в терм А
если она имеет хотя бы одно вхождение в терм А
если она имеет единственное вхождение в терм А



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

"(", ")", "λ", "."
"(", ")", "λ"
"(", ")"



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

вправо
в любом направлении
влево



Сколько базисов комбинаторов существует в комбинаторной логике?

один: {K,S}
три: {I,K,S}, {I,B,C,S}, {B,W,K}
бесконечное множество



Какой функции соответствует аксиома Кxу=x?

первой проекции
тождеству
композиции



В чем состоит основное назначение типизации?

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



Каковы основные компоненты чистой системы типов?

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



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

SML
Mosml
LISP



Что понимается под типом?

название предметной области
совокупность элементов предметной области
модель предметной области



Что является преимуществом типизации Microsoft .NET?

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



Что отличает теорию типов от прочих теорий?

принцип индукции
принцип иерархичности
принцип полноты



Что из перечисленного является этапом развития теории типов?

полиморфизм
теория вычислений
теория простых функций



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

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



Каким образом осуществляется построение типов?

посредством дедукции
посредством рекурсии
посредством индукции



Какой тип имеет функция из int в bool?

bool -> int
int -> true
int -> bool



Как осуществляется приписывание типа в теории типов?

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



Какие типы SML относятся к базисным?

int, bool, ->
int, string, ->
int, string, bool



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

сильная, динамическая, полиморфная
слабая, статическая, полиморфная
сильная, статическая, полиморфная



Какие объекты преимущественно обрабатывает полиморфная функция?

объекты, не имеющие типа
объекты фиксированного типа
объекты переменного типа



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

до компиляции программы
в ходе компиляции программы
в ходе выполнения программы



В чем состоит основное назначение синтаксиса?

формализация вида и формы конструкций языка
формализация значения конструкций языка
формализация абстрактной машины для реализации языка



Какой из объектов не имеет обозначения в формах Бэкуса-Наура?

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



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

константа, функция, переменная, значение
выражение, описание, служебное слово, комментарий
идентификатор, константа, функция, переменная



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

val, if, local
val, fun, local
val, fun, let



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

синтаксический, лексический, семантический анализ
семантический, лексический, синтаксический анализ
лексический, синтаксический, семантический анализ



Что понимается под синтаксисом?

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




На какие категории подразделяются типы SML?

структурированные и неструктурированные
литералы и функции
переменные и константы



Какие объекты может содержать выражение языка SML?

условие, литерал, выражение
функция, идентификатор, литерал
идентификатор, литерал, выражение



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

комбинаторная логика
форма Бэкуса-Наура
ламбда-исчисление



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

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



Какой вид имеет правая часть БНФ для типов SML-выражений?

int|bool |<тип>*…<тип>
int|bool |<тип>*…<тип>|<тип> -> <тип>
int|bool |<тип> -> <тип>



Какой вид имеет правая часть БНФ для комбинаторного терма?

K |<переменная>|(<терм><терм>)
K|S|<переменная>|(Λ<терм>.<терм>)
K|S|<переменная>|(<терм><терм>)



Какой вид имеет правая часть БНФ для аппликации SML-выражений?

<выражение> <выражение>
<выражение> . <выражение>
<выражение> = <выражение>



Необходимо ли наличие выражения после else в условном выражении if…then…else…?

избыточно
необходимо
не обязательно

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

Для чего используются кортежи в языке SML?

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



В чем состоит основное назначение семантики?

формализация абстрактной машины для реализации языка
формализация вида и формы конструкций языка
формализация значения конструкций языка



Какая из теорий не является формализацией семантики?

аксиоматический метод Хоара
метод индуктивных утверждений Р. Флойда
формы Бэкуса-Наура



Каковы виды семантик, ориентированные на интерпретацию?

операционные, композиционные, денотационные
операционные, аппликативные, денотационные
операционные, пропозиционные, денотационные



Что понимается под семантикой?

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



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

аксиоматический метод Ч. Хоара
теория вычислений Д. Скотта
абстрактная машина П. Лендина



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

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



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

аксиоматический метод Ч. Хоара
теория вычислений Д. Скотта
абстрактная машина П. Лендина



На что ориентированы основные подходы к семантике?

на корректность типизации
на интерпретацию
на компиляцию



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

теория вычислений Д. Скотта
абстрактная машина П. Лендина
комбинаторная логика Х. Карри



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

пропозиционная семантика
денотационная семантика
операционная семантика



Что понимается под конструкторами доменов?

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



В какой последовательности строится теория вычислений Д. Скотта?

конструкторы доменов, стандартные домены, конечные домены
стандартные домены, конечные домены, конструкторы доменов
конечные домены, стандартные домены, конструкторы доменов



Сколько видов конструкторов доменов в теории вычислений Д. Скотта?

четыре
три
два



Какая из теорий не является формализацией семантики?

метод индуктивных утверждений Р. Флойда
аксиоматический метод Хоара
формы Бэкуса-Наура



Какие синтаксические домены описываю семантику SML?

домены идентификаторов, команд и функций
домены идентификаторов, функций и выражений
домены идентификаторов, команд и выражений



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

выражения, функции, типы
идентификаторы, функции, типы
множества, функции, типы



В чем состоит основное назначение рекурсии?

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



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

letrec
let
datatype



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

строгость
корректность
ссылка на определяемый объект



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

комбинатор неподвижной точки Y
комбинатор композиции B
комбинатор тождества I



Какая задача формализуема рекурсивно?

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



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

теория вычислений Д. Скотта
комбинаторная логика Х. Карри
абстрактная машина П. Лендина



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

Список
дерево
массив



Какой из объектов адекватно формализует рекурсию?

тип
множество
домен



В чем состоит суть теоремы о неподвижной точке?

любая функция, которая может быть представлена в ламбда-исчислении, имеет неподвижную точку
любой объект языка SML имеет неподвижную точку
любая функция имеет неподвижную точку



Какие виды рекурсии существуют?

прямая, обратная, частичная
прямая, взаимная, частичная
прямая, обратная, взаимная



Возможна ли неявная реализация комбинатора неподвижной точки на языке SML?

в зависимости от версии компилятора
нет
да



Какие домены имеют неопределенные элементы?

только конечные и стандартные
ни один
все



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

для всех
ни для одного
только для конечных и стандартных



Для каких доменов рекурсивные определения разрешимы?

для всех
только для конечных и стандартных
ни для одного



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

ML и CaML
ML и ProLog
ML и С#



Какой вариант вызова параметра моделирует машина Лендина?

вызов по имени
вызов по необходимости
вызов по значению



В чем состоит основное назначение абстрактных машин?

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



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

машина Поста
машина Тьюринга
машина Лендина



Что означает аббревиатура SECD?

состояние машины: стек, дамп, среда, код
состояние машины: стек, дамп, терм, среда
состояние машины: стек, терм, код, дамп



Каково основное требование к абстрактной машине?

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



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

тождество, композиция, упорядоченная пара, первая проекция
тождество, композиция, упорядоченная пара, перестановка
тождество, композиция, упорядоченная пара, проекции



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

форма Бэкуса-Наура
комбинаторная логика Х. Карри
теория вычислений Д. Скотта



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

машина Тьюринга
категориальная абстрактная машина
SECD-машина Лендина



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

аппликация и каррирование
абстракция и каррирование
аппликация и абстракция



На каком этапе трансляции программы используются абстрактные машины?

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



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

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



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

абстракция и каррирование
аппликация и абстракция
аппликация и каррирование



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

формирование упорядоченной пары, первая и вторая проекции
формирование упорядоченной пары, каррирование, декаррирование
первая и вторая проекции, каррирование, декаррирование



Какая операция категориальной комбинаторной логики эквивалентна цитированию?

декаррирование
каррирование
первая проекция



Что является состоянием КАМ?

тройка вида: стек, терм, код
тройка вида: стек, дамп, среда
тройка вида: стек, дамп, терм



Какова схема трансляции в код КАМ?

программа → ламбда-терм → терм ККЛ → КАМ-код
программа → ламбда-терм → код де Брейна → КАМ-код
программа → ламбда-терм → код де Брейна → терм ККЛ → КАМ-код



Какое условие не относится к характеристическим равенствам КАМ?

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



Что понимается под циклом работы КАМ?

множество изменений состояний
варианты трансляции кода
множество инструкций КАМ



Что называется числом де Брейна?

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



Что из перечисленного является формализацией КАМ?

категориальная комбинаторная логика
комбинаторная логика Х. Карри
код де Брейна



Что представляет собой среда вычислений при кодировании по де Брейну?

множество пар вида (<переменная>,<терм>)
множество пар вида (<переменная>,<значение>)
множество пар вида (<терм>,<значение>)



Что представляет собой код де Брейна?

пару вида (<терм де Брейна>,<среда>)
пару вида (<значение>,<среда>)
пару вида (<переменная>,<значение>)



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

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



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

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



Что представляет собой "список инструкций" КАМ?

car cdr push swap cons app cur quote
car cdr push pop cons app cur quote
car cdr in out cons app cur quote



Какие действия выполняет инструкция swap?

значение терма и вершина стека меняются местами
значение терма помещается на вершину стека
вершина стека помещается в голову терма



Какие действия выполняет инструкция push?

значение терма и вершина стека меняются местами
значение терма помещается на вершину стека
вершина стека помещается в голову терма



Каковы основные формализации ленивых вычислений?

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



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

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



Что является недостатком "классической" версии КАМ?

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



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

вызов по имени, по значению и по необходимости
вызов по имени и по необходимости
вызов по имени и по значению



В чем состоит практическое значение теоремы Черча-Россера?

в эквивалентности вызова по имени и вызова по значению
в возможности "ленивых" вычислений
в возможности ликвидации коллизий переменных



Каков графический механизм формализации ленивых вычислений?

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



Что из перечисленного является синонимом "ленивых" вычислений?

вызов по необходимости
вызов по значению
вызов по имени



Каковы основные пути оптимизации КАМ-кода?

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



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

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



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

if eq cons
if eq add
if eq app



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

категориальная абстрактная машина
абстрактная машина Поста
абстрактная машина Лендина



Каково минимально необходимое количество параметров многоместных операций в КАМ?

три
более трех
два



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

wind и dum
dum
wind



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

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



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

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

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

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

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