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

Количество вопросов - 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?

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

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

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