Ответы на ИНТУИТ

ИНТУИТ ответы на тесты

Решение тестов / курсов
База ответов ИНТУИТ.RU
Заказать решение курсов или тестов:
https://vk.com/id358194635
https://vk.com/public118569203

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

Заказать решение
Количество вопросов 178

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>