Главная /
Введение в теорию программирования. Функциональный подход
Введение в теорию программирования. Функциональный подход - ответы на тесты Интуит
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Список вопросов:
- # Какие из перечисленных языков программирования основаны на функциональном подходе?
- # Какие из перечисленных языков программирования основаны на объектно-ориентированном подходе?
- # Какие из перечисленных языков программирования основаны на структурном подходе?
- # Что отличает императивные языки программирования от декларативных?
- # Что отличает ранние языки программирования от поздних?
- # Что отличает объектно-ориентированный подход к программированию от компонентно-ориентированного?
- # В чем состоит особенность языков объектно-ориентированного программирования?
- # В чем состоит особенность языков логического программирования?
- # В чем состоит особенность языков функционального программирования?
- # Какие из перечисленных языков программирования основаны на сценарном подходе?
- # Что отличает языки сценариев от других языков программирования?
- # Что объединяет языки ООП и языки сценариев?
- # Какие из перечисленных языков программирования основаны на концепции параллельных вычислений?
- # Что является недостатком языков параллельного программирования?
- # Какова наиболее характерная область применения языков параллельного программирования?
- # В чем состоит основное назначение семантики?
- # Какая из теорий не является формализацией семантики?
- # Каковы виды семантик, ориентированные на интерпретацию?
- # Каковы требования к описанию формального языка?
- # Что понимается под семантикой?
- # Какая формализация относится к денотационным семантикам?
- # Что из перечисленного является формализацией семантики?
- # На что ориентированы основные подходы к семантике?
- # Какая формализация относится к операционным семантикам?
- # Какой тип семантики формализуется с помощью доменов?
- # В какой последовательности строится теория вычислений Д. Скотта?
- # Что понимается под конструкторами доменов?
- # Какая из теорий не является формализацией семантики?
- # Сколько видов конструкторов доменов в теории вычислений Д. Скотта?
- # Какие синтаксические домены описываю семантику SML?
- # В чем состоит основное назначение рекурсии?
- # Какие объекты могут определяться рекурсивно?
- # Какая конструкция используется в языке SML для рекурсивного определения типов?
- # Каковы требования к рекурсивному определению?
- # Какая задача формализуема рекурсивно?
- # Какой комбинатор используется для формализации рекурсии?
- # Что из перечисленного является формализацией рекурсии?
- # Какой из типов можно определить рекурсивно?
- # Какой из объектов адекватно формализует рекурсию?
- # В чем состоит суть теоремы о неподвижной точке?
- # Возможна ли неявная реализация комбинатора неподвижной точки на языке SML?
- # Какие виды рекурсии существуют?
- # Какие домены имеют неопределенные элементы?
- # Для каких доменов рекурсивные определения разрешимы?
- # Для каких доменов допустимы рекурсивные равенства?
- # В чем состоит основное назначение абстрактных машин?
- # Какие языки программирования формализованы абстрактными машинами?
- # Какой вариант вызова параметра моделирует машина Лендина?
- # Каково основное требование к абстрактной машине?
- # Какая формализация абстрактных машин отвечает требованию реализма?
- # Что означает аббревиатура SECD?
- # Что из перечисленного является формализацией для абстрактной машины?
- # Какая формализация абстрактных машин является зрелой?
- # Каковы основные условия для декартово замкнутых категорий?
- # На каком этапе трансляции программы используются абстрактные машины?
- # Какая операция называется каррированием?
- # Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?
- # Какая операция категориальной комбинаторной логики эквивалентна цитированию?
- # Какие условия необходимы для формирования декартово замкнутых категорий?
- # Какие условия необходимы для формирования декартовых категорий?
- # В чем состоит основное назначение кода де Брейна?
- # Каковы необходимые требования для построения категориальной комбинаторной логики?
- # Какой вариант вызова параметра моделирует машина Лендина?
- # Какова схема трансляции в код КАМ?
- # Какое условие не относится к характеристическим равенствам КАМ?
- # Что является состоянием КАМ?
- # Что из перечисленного является формализацией КАМ?
- # Что называется числом де Брейна?
- # Что понимается под циклом работы КАМ?
- # Что представляет собой среда вычислений при кодировании по де Брейну?
- # Что представляет собой код де Брейна?
- # Что представляет собой "список инструкций" КАМ?
- # Какие действия выполняет инструкция push?
- # Какие действия выполняет инструкция swap?
- # В чем состоит основное значение оптимизации кода?
- # Каковы основные формализации ленивых вычислений?
- # Что является недостатком "классической" версии КАМ?
- # Каковы основные стратегии вычислений?
- # Каков графический механизм формализации ленивых вычислений?
- # В чем состоит практическое значение теоремы Черча-Россера?
- # Что из перечисленного является синонимом "ленивых" вычислений?
- # Каковы основные пути оптимизации КАМ-кода?
- # Каковы возможные способы реализации "ленивых" вычислений?
- # Какая из формализаций является наиболее зрелой?
- # Каково минимально необходимое количество параметров многоместных операций в КАМ?
- # Какой из списков содержит лишь многоместные операции КАМ?
- # Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?
- # При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
- # При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?
- # Что означает название .NET?
- # В чем состоит особенность вычислительной модели Microsoft .NET?
- # Какие из перечисленных характеристик определяют сборку?
- # Что отличает Microsoft .NET от предыдущих идеологий?
- # Что отличает Microsoft .NET от других платформ разработки приложений?
- # Чем отличается подход к программированию Microsoft .NET от других Internet-ориентированных подходов?
- # В чем состоит особенность использования языков программирования для Microsoft .NET?
- # В чем состоит особенность Microsoft .NET в контексте безопасности?
- # В чем состоит особенность языков программирования для Microsoft .NET?
- # В чем заключаются технологические особенности Microsoft .NET?
- # В чем заключается цель использования web-сервисов в Microsoft .NET?
- # Что понимается под интероперабельностью?
- # Сколько языков программирования реализовано для Microsoft .NET?
- # Каковы наиболее значительные недостатки Microsoft .NET?
- # Какие из перечисленных языков программирования основаны на функциональном подходе?
- # Каково соотношение понятий функции в математике и программировании?
- # Какие из перечисленных языков программирования являются диалектами языка SML?
- # В чем состоит преимущество функционального подхода к программированию перед другими подходами?
- # Что отличает ламбда-исчисление от булевой логики?
- # Что объединяет классический ML и более поздние аналоги?
- # В чем состоит недостаток языков функционального программирования?
- # В чем состоит особенность языка функционального программирования SML?
- # В чем состоит особенность языков функционального программирования?
- # Что понимается под ламбда-исчислением?
- # Что понимается под конверсией в ламбда-исчислении?
- # Какая из формализаций адекватна для программирования?
- # Какая теория логически предшествовала ламбда-исчислению?
- # В чем состоят преимущества языка программирования SML?
- # Для чего используется механизм сопоставления с образцом?
- # В чем состоит основное назначение ламбда-исчисления?
- # Для какого из перечисленных языков программирования использовалось ламбда-исчисление?
- # Каковы основные компоненты формальной теории?
- # Что является преимуществом ламбда-исчисления перед классической логикой?
- # Что означает выводимость типов?
- # Что отличает аксиомы от прочих утверждений формальной теории?
- # Что из перечисленного является этапом развития ламбда-исчисления?
- # Какой из языков функционального программирования назван по имени абстрактной машины?
- # Каким образом осуществляется построение ламбда-термов?
- # Какое отношение задают аксиомы ламбда-исчисления?
- # Каким целям служит редукция в ламбда-исчислении?
- # Каковы основные свойства отношения конвертируемости?
- # В каком направлении восстанавливаются скобки для аппликации в ламбда-исчислении?
- # В каком направлении восстанавливаются скобки для абстракции в ламбда-исчислении?
- # Какая операция не является основной операцией в ламбда-исчислении?
- # В чем состоит основное назначение комбинаторной логики?
- # Для реализации какого из перечисленных языков программирования использовалась категориальная комбинаторная логика?
- # Каковы основные компоненты формальной теории комбинаторной логики?
- # В чем состоит преимущество комбинаторной логики перед классической?
- # Что понимается под комбинатором?
- # Что отличает аксиомы комбинаторной логики от прочих утверждений?
- # Что из перечисленного является этапом развития комбинаторной логики?
- # Каковы основные операции формальной системы комбинаторной логики?
- # Каким образом осуществляется построение комбинаторов?
- # В каком случае переменная x называется свободной в терме λx.A?
- # Какие символы являются специальными в алфавите формальной системы комбинаторной логики?
- # Какой функции соответствует аксиома Ix=x?
- # Какой функции соответствует аксиома Кxу=x?
- # В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?
- # Сколько базисов комбинаторов существует в комбинаторной логике?
- # В чем состоит основное назначение типизации?
- # Какой из перечисленных языков программирования является бестиповым?
- # Каковы основные компоненты чистой системы типов?
- # Что является преимуществом типизации Microsoft .NET?
- # Что понимается под типом?
- # Что отличает теорию типов от прочих теорий?
- # Что из перечисленного является этапом развития теории типов?
- # Каковы основные способы задания типа?
- # Каким образом осуществляется построение типов?
- # Как осуществляется приписывание типа в теории типов?
- # Какие типы SML относятся к базисным?
- # Какой тип имеет функция из int в bool?
- # На каком этапе определяются типы выражений в языке SML?
- # Каковы характеристики типизации языка SML?
- # Какие объекты преимущественно обрабатывает полиморфная функция?
- # В чем состоит основное назначение синтаксиса?
- # Какой из объектов не имеет обозначения в формах Бэкуса-Наура?
- # Каков наиболее полный перечень синтаксических категорий языка SML?
- # Какова последовательность синтаксического разбора программы?
- # Что понимается под синтаксисом?
- # Какие ключевые слова используются для описания в языке SML?
- # Что из перечисленного является формализацией синтаксиса?
- # Какие объекты может содержать выражение языка SML?
- # На какие категории подразделяются типы SML?
- # Какой вид имеет правая часть БНФ для комбинаторного терма?
- # Какой вид имеет правая часть БНФ для типов SML-выражений?
- # Что понимается под литералом в языке программирования?
- # Какой вид имеет правая часть БНФ для аппликации SML-выражений?
- # Необходимо ли наличие выражения после else в условном выражении if…then…else…?
- # Для чего используются кортежи в языке SML?