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

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

Правильные ответы выделены зелёным цветом.
Все ответы: Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Какие из перечисленных языков программирования основаны на функциональном подходе?
(1) SML и ProLog
(2) LISP и ProLog
(3) SML и LISP
В чем состоит основное назначение семантики?
(1) формализация вида и формы конструкций языка
(2) формализация значения конструкций языка
(3) формализация абстрактной машины для реализации языка
В чем состоит основное назначение рекурсии?
(1) формализация самоссылающихся функций и определений
(2) формализация значения функций языка
(3) формализация абстрактной машины для реализации языка
В чем состоит основное назначение абстрактных машин?
(1) формализация вычислительной машины
(2) формализация синтаксиса языка программирования
(3) формализация семантики языка программирования
В чем состоит основное назначение кода де Брейна?
(1) ликвидация коллизии переменных
(2) оптимизация кода абстрактной машины
(3) редукция комбинаторного терма
В чем состоит основное значение оптимизации кода?
(1) повышение вычислительной эффективности
(2) повышение удобочитаемости программ
(3) повышение удобства использования программ
Что означает название .NET?
(1) идеология проектирования и реализации программного обеспечения
(2) технологическая платформа для разработки программного обеспечения
(3) многоаспектный подход, включающий идеологию, модель и инструментально-технологическую платформу разработки программного обеспечения
Какие из перечисленных языков программирования основаны на функциональном подходе?
(1) SML и ProLog
(2) LISP и ProLog
(3) SML и LISP
В чем состоит основное назначение ламбда-исчисления?
(1) формализация функциональной программы
(2) формализация программной среды Microsoft .NET
(3) формализации обозначения и переобозначения
В чем состоит основное назначение комбинаторной логики?
(1) формализация функциональной программы
(2) формализация программной среды Microsoft .NET
(3) формализация выводимости типов
В чем состоит основное назначение типизации?
(1) структуризация предметной области
(2) единообразие манипулирования объектами
(3) упрощение процесса компиляции
В чем состоит основное назначение синтаксиса?
(1) формализация вида и формы конструкций языка
(2) формализация значения конструкций языка
(3) формализация абстрактной машины для реализации языка
Что отличает императивные языки программирования от декларативных?
(1) степень зависимости от среды реализации
(2) стиль программирования
(3) структура программы
Каковы требования к описанию формального языка?
(1) ясность, полнота, естественность, реализм
(2) корректность, естественность, удобство использования
(3) строгость, полнота, простота, эффективность
Каковы требования к рекурсивному определению?
(1) корректность
(2) ссылка на определяемый объект
(3) строгость
Каково основное требование к абстрактной машине?
(1) адекватная формализация компьютера
(2) высокая вычислительная эффективность
(3) лаконичность конструкций языка
Какова схема трансляции в код КАМ?
(1) программа →​ ламбда-терм →​ код де Брейна →​ терм ККЛ →​ КАМ-код
(2) программа →​ ламбда-терм →​ терм ККЛ →​ КАМ-код
(3) программа →​ ламбда-терм →​ код де Брейна →​ КАМ-код
Каковы основные стратегии вычислений?
(1) вызов по имени, по значению и по необходимости
(2) вызов по имени и по значению
(3) вызов по имени и по необходимости
Что отличает Microsoft .NET от предыдущих идеологий?
(1) безопасность и удобство использования
(2) экономия сил и средств при создании приложений
(3) предоставление программного обеспечения как сервиса
В чем состоит преимущество функционального подхода к программированию перед другими подходами?
(1) близость к предметной области
(2) прозрачность реализации рекурсии
(3) высокая вычислительная эффективность
Что является преимуществом ламбда-исчисления перед классической логикой?
(1) возможность оптимизации программного кода
(2) возможность формализации процесса программирования
(3) наглядность
В чем состоит преимущество комбинаторной логики перед классической?
(1) возможность оптимизации программного кода
(2) возможность формализации процесса программирования
(3) наглядность
Что является преимуществом типизации Microsoft .NET?
(1) унификация
(2) однозначное отображение типов языков программирования во внутренние типы системы
(3) большое количество типов
Какова последовательность синтаксического разбора программы?
(1) лексический, синтаксический, семантический анализ
(2) синтаксический, лексический, семантический анализ
(3) семантический, лексический, синтаксический анализ
В чем состоит особенность языков объектно-ориентированного программирования?
(1) этот класс языков основан на сценариях
(2) этот класс языков концептуально близок к любой предметной области
(3) этот класс языков является наиболее машинно-независимым
Что из перечисленного является формализацией семантики?
(1) теория вычислений Д. Скотта
(2) комбинаторная логика Х. Карри
(3) абстрактная машина П. Лендина
Что из перечисленного является формализацией рекурсии?
(1) теория вычислений Д. Скотта
(2) комбинаторная логика Х. Карри
(3) абстрактная машина П. Лендина
Что из перечисленного является формализацией для абстрактной машины?
(1) теория вычислений Д. Скотта
(2) комбинаторная логика Х. Карри
(3) форма Бэкуса-Наура
Что из перечисленного является формализацией КАМ?
(1) код де Брейна
(2) комбинаторная логика Х. Карри
(3) категориальная комбинаторная логика
Что из перечисленного является синонимом "ленивых" вычислений?
(1) вызов по имени
(2) вызов по необходимости
(3) вызов по значению
В чем состоит особенность использования языков программирования для Microsoft .NET?
(1) нельзя использовать объектно-ориентированные языки
(2) нельзя использовать ранние языки, такие как COBOL
(3) можно использовать любые языки
В чем состоит недостаток языков функционального программирования?
(1) высокая степень машинной независимости
(2) нелинейная структура программы
(3) узкая проблемная ориентированность
Что из перечисленного является этапом развития ламбда-исчисления?
(1) логика первого порядка
(2) теория простых функций
(3) теория вычислений
Что из перечисленного является этапом развития комбинаторной логики?
(1) логика первого порядка
(2) теория простых функций
(3) теория вычислений
Что из перечисленного является этапом развития теории типов?
(1) полиморфизм
(2) теория простых функций
(3) теория вычислений
Что из перечисленного является формализацией синтаксиса?
(1) форма Бэкуса-Наура
(2) ламбда-исчисление
(3) комбинаторная логика
Какие из перечисленных языков программирования основаны на сценарном подходе?
(1) JavaScript и ProLog
(2) VBScript и ProLog
(3) JavaScript и VBScript
Какой тип семантики формализуется с помощью доменов?
(1) операционная семантика
(2) пропозиционная семантика
(3) денотационная семантика
В чем состоит суть теоремы о неподвижной точке?
(1) любая функция, которая может быть представлена в ламбда-исчислении, имеет неподвижную точку
(2) любая функция имеет неподвижную точку
(3) любой объект языка SML имеет неподвижную точку
На каком этапе трансляции программы используются абстрактные машины?
(1) на этапе создания промежуточного кода
(2) на этапе выполнения программы
(3) на этапе синтаксического анализа
Что представляет собой среда вычислений при кодировании по де Брейну?
(1) множество пар вида (<переменная>,<значение>)
(2) множество пар вида (<переменная>,<терм>)
(3) множество пар вида (<терм>,<значение>)
Какая из формализаций является наиболее зрелой?
(1) абстрактная машина Поста
(2) абстрактная машина Лендина
(3) категориальная абстрактная машина
В чем заключаются технологические особенности Microsoft .NET?
(1) многоязыковая поддержка, интероперабельность, масштабируемость
(2) многоязыковая поддержка, эргономичность
(3) многоязыковая поддержка, эргономичность, полное соответствие стандартам
Что понимается под ламбда-исчислением?
(1) теория для формализации обозначений и переобозначений
(2) теория для формализации синтаксиса языка
(3) теория для формализации семантики языка
Какое отношение задают аксиомы ламбда-исчисления?
(1) отношение взаимно однозначного соответствия
(2) отношение частичного порядка
(3) отношение конвертируемости
В каком случае переменная x называется свободной в терме λx.A?
(1) если она не имеет вхождений в терм А
(2) если она имеет единственное вхождение в терм А
(3) если она имеет хотя бы одно вхождение в терм А
Как осуществляется приписывание типа в теории типов?
(1) на основании выводимости типов
(2) на основании аксиом и правил вывода
(3) на основании непосредственной проверки
Какой вид имеет правая часть БНФ для комбинаторного терма?
(1) K |<переменная>|(<терм><терм>)
(2) K|S|<переменная>|(<терм><терм>)
(3) K|S|<переменная>|(Λ<терм>.<терм>)
Какие из перечисленных языков программирования основаны на концепции параллельных вычислений?
(1) С# и Ada
(2) Modula и Ada
(3) С# и Modula
Какая из теорий не является формализацией семантики?
(1) аксиоматический метод Хоара
(2) формы Бэкуса-Наура
(3) метод индуктивных утверждений Р. Флойда
Какие домены имеют неопределенные элементы?
(1) все
(2) ни один
(3) только конечные и стандартные
Какая операция категориальной комбинаторной логики эквивалентна цитированию?
(1) первая проекция
(2) каррирование
(3) декаррирование
Что представляет собой "список инструкций" КАМ?
(1) car cdr push swap cons app cur quote
(2) car cdr in out cons app cur quote
(3) car cdr push pop cons app cur quote
Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?
(1) wind
(2) dum
(3) wind и dum
Какая теория логически предшествовала ламбда-исчислению?
(1) теория алгоритмов
(2) теория категорий
(3) простая теория функций
В каком направлении восстанавливаются скобки для аппликации в ламбда-исчислении?
(1) вправо
(2) влево
(3) в любом направлении
Какой функции соответствует аксиома Кxу=x?
(1) первой проекции
(2) тождеству
(3) композиции
На каком этапе определяются типы выражений в языке SML?
(1) до компиляции программы
(2) в ходе компиляции программы
(3) в ходе выполнения программы
Какой вид имеет правая часть БНФ для аппликации SML-выражений?
(1) <выражение> . <выражение>
(2) <выражение> = <выражение>
(3) <выражение> <выражение>
Какие из перечисленных языков программирования основаны на объектно-ориентированном подходе?
(1) С# и SML
(2) С# и C++
(3) С# и ProLog
Какая из теорий не является формализацией семантики?
(1) аксиоматический метод Хоара
(2) формы Бэкуса-Наура
(3) метод индуктивных утверждений Р. Флойда
Какие объекты могут определяться рекурсивно?
(1) множества, функции, типы
(2) идентификаторы, функции, типы
(3) выражения, функции, типы
Какие языки программирования формализованы абстрактными машинами?
(1) ML и CaML
(2) ML и С#
(3) ML и ProLog
Каковы необходимые требования для построения категориальной комбинаторной логики?
(1) декартово замкнутые категории и формализация семантики языка программирования
(2) декартово замкнутые категории
(3) формализация семантики языка программирования
Каковы основные формализации ленивых вычислений?
(1) редукция графов и комбинаторная логика
(2) редукция графов и теория вычислений
(3) теория вычислений и комбинаторная логика
В чем состоит особенность вычислительной модели Microsoft .NET?
(1) используется структурный подход
(2) используется компонентный подход
(3) используется объектно-ориентированный подход
Каково соотношение понятий функции в математике и программировании?
(1) это несопоставимые понятия
(2) это эквивалентные понятия
(3) математические функции моделируют функции в программировании
Для какого из перечисленных языков программирования использовалось ламбда-исчисление?
(1) ALGOL 60
(2) SIMULA 67
(3) FORTRAN IV
Для реализации какого из перечисленных языков программирования использовалась категориальная комбинаторная логика?
(1) CaML
(2) SML
(3) Mosml
Какой из перечисленных языков программирования является бестиповым?
(1) LISP
(2) SML
(3) Mosml
Какой из объектов не имеет обозначения в формах Бэкуса-Наура?
(1) определяемая конструкция
(2) альтернативные конструкции
(3) цитирование
Что отличает ранние языки программирования от поздних?
(1) cтепень зависимости от среды реализации
(2) программы на ранних языках более наглядны
(3) cущественных различий нет
Что понимается под семантикой?
(1) модель интерпретации абстрактного синтаксиса
(2) модель реализации языка программирования
(3) модель предметной области
Какая задача формализуема рекурсивно?
(1) вычисление факториала
(2) вычисление квадрата величины
(3) выбор минимальной из двух величин
Какая формализация абстрактных машин отвечает требованию реализма?
(1) машина Тьюринга
(2) машина Поста
(3) машина Лендина
Какое условие не относится к характеристическим равенствам КАМ?
(1) связь тождества и композиции
(2) связь операции спаривания и взятия проекций
(3) связь аппликации и абстракции
Каков графический механизм формализации ленивых вычислений?
(1) такого механизма не существует
(2) теория вычислений
(3) редукция графов
Что отличает Microsoft .NET от других платформ разработки приложений?
(1) многоязыковая поддержка
(2) удобство использования
(3) соответствие современным стандартам
Что отличает ламбда-исчисление от булевой логики?
(1) ламбда-исчисление адекватно формализует процесс программирования
(2) булева логика более наглядно формализует процесс программирования
(3) существенных различий нет
Что означает выводимость типов?
(1) возможность определить тип из контекста окружения
(2) возможность доказать, что выражение имеет тот или иной тип
(3) возможность приписать тип выражениям в цепочке вывода
Что понимается под комбинатором?
(1) ламбда-терм без переменных
(2) ламбда-терм без связанных переменных
(3) ламбда-терм без свободных переменных
Что понимается под типом?
(1) совокупность элементов предметной области
(2) название предметной области
(3) модель предметной области
Что понимается под синтаксисом?
(1) совокупность элементов языка
(2) описание формы языка
(3) модель реализации языка
В чем состоит особенность языков логического программирования?
(1) этот класс языков основан на функциях
(2) этот класс языков моделирует правила
(3) этот класс языков является наиболее машинно-независимым
На что ориентированы основные подходы к семантике?
(1) на компиляцию
(2) на интерпретацию
(3) на корректность типизации
Какой из типов можно определить рекурсивно?
(1) список
(2) дерево
(3) массив
Какая формализация абстрактных машин является зрелой?
(1) SECD-машина Лендина
(2) категориальная абстрактная машина
(3) машина Тьюринга
Что называется числом де Брейна?
(1) глубина связывания переменной без единицы
(2) число инструкций в коде де Брейна
(3) число шагов для преобразования терма к коду де Брейна
Каковы основные пути оптимизации КАМ-кода?
(1) ведение многоместных операций
(2) поддержка рекурсивных вычислений
(3) устранение коллизий переменных
В чем состоит особенность Microsoft .NET в контексте безопасности?
(1) автоматизированное управление памятью
(2) автоматизированное управление жизненным циклом приложений
(3) автоматизированный контроль выхода за границы массива
В чем состоит особенность языка функционального программирования SML?
(1) это бестиповый язык программирования
(2) это язык программирования с полиморфной типизацией
(3) это язык программирования с параметрическим полиморфизмом
Какой из языков функционального программирования назван по имени абстрактной машины?
(1) Mosml
(2) CaML
(3) SML
Каковы основные операции формальной системы комбинаторной логики?
(1) аппликация
(2) абстракция
(3) аппликация и абстракция
Каковы основные способы задания типа?
(1) явное перечисление элементов
(2) индивидуализирующая функция
(3) приписывание типа
Какие объекты может содержать выражение языка SML?
(1) идентификатор, литерал, выражение
(2) функция, идентификатор, литерал
(3) условие, литерал, выражение
Что отличает языки сценариев от других языков программирования?
(1) совместимость с CASE- и RAD-средствами
(2) стиль программирования
(3) структура программы
В какой последовательности строится теория вычислений Д. Скотта?
(1) стандартные домены, конечные домены, конструкторы доменов
(2) конечные домены, стандартные домены, конструкторы доменов
(3) конструкторы доменов, стандартные домены, конечные домены
Возможна ли неявная реализация комбинатора неподвижной точки на языке SML?
(1) нет
(2) да
(3) в зависимости от версии компилятора
Какая операция называется каррированием?
(1) преобразование из алгебраической формы в аппликативную
(2) преобразование из аппликативной формы в алгебраическую
(3) преобразование из константной формы в аппликативную
Что представляет собой код де Брейна?
(1) пару вида (<терм де Брейна>,<среда>)
(2) пару вида (<переменная>,<значение>)
(3) пару вида (<значение>,<среда>)
Каково минимально необходимое количество параметров многоместных операций в КАМ?
(1) два
(2) три
(3) более трех
В чем заключается цель использования web-сервисов в Microsoft .NET?
(1) в обеспечении интероперабельности, масштабируемости
(2) в обеспечении удобства использования
(3) в обеспечении строгого соответствия стандартам
Что понимается под конверсией в ламбда-исчислении?
(1) преобразование объектов исчисления
(2) преобразование синтаксиса языка
(3) преобразование семантики языка
Каким целям служит редукция в ламбда-исчислении?
(1) целям упрощения термов
(2) целям ликвидации коллизий обозначений
(3) целям наглядности
Какие символы являются специальными в алфавите формальной системы комбинаторной логики?
(1) "(", ")", "λ"
(2) "(", ")", "λ", "."
(3) "(", ")"
Какие типы SML относятся к базисным?
(1) int, string, bool
(2) int, string, ->
(3) int, bool, ->
Какой вид имеет правая часть БНФ для типов SML-выражений?
(1) int|bool |<тип>*…<тип>|<тип> -> <тип>
(2) int|bool |<тип> -> <тип>
(3) int|bool |<тип>*…<тип>
Что является недостатком языков параллельного программирования?
(1) высокая стоимость разработки программного обеспечения
(2) ориентированность на пользователя
(3) событийная ориентированность
Сколько видов конструкторов доменов в теории вычислений Д. Скотта?
(1) два
(2) три
(3) четыре
Для каких доменов рекурсивные определения разрешимы?
(1) для всех
(2) ни для одного
(3) только для конечных и стандартных
Какие условия необходимы для формирования декартово замкнутых категорий?
(1) абстракция и каррирование
(2) аппликация и абстракция
(3) аппликация и каррирование
Какие действия выполняет инструкция push?
(1) вершина стека помещается в голову терма
(2) значение терма и вершина стека меняются местами
(3) значение терма помещается на вершину стека
При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
(1) при вычислении с вызовом по значению
(2) при вычислении с вызовом по имени
(3) при вычислении с вызовом по необходимости
Сколько языков программирования реализовано для Microsoft .NET?
(1) менее 10
(2) несколько десятков
(3) более 100
В чем состоят преимущества языка программирования SML?
(1) выводимость типов, параметрический полиморфизм, сопоставление с образцом
(2) полиморфизм, безопасность кода, удобочитаемость программы
(3) поддержка рекурсии, безопасность кода, эргономичность
В каком направлении восстанавливаются скобки для абстракции в ламбда-исчислении?
(1) вправо
(2) влево
(3) в любом направлении
В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?
(1) вправо
(2) влево
(3) в любом направлении
Каковы характеристики типизации языка SML?
(1) сильная, динамическая, полиморфная
(2) сильная, статическая, полиморфная
(3) слабая, статическая, полиморфная
Необходимо ли наличие выражения после else в условном выражении if…then…else…?
(1) необходимо
(2) не обязательно
(3) избыточно
Какие из перечисленных языков программирования основаны на структурном подходе?
(1) C# и ProLog
(2) C# и Fortran
(3) C# и SML
Каковы виды семантик, ориентированные на интерпретацию?
(1) операционные, пропозиционные, денотационные
(2) операционные, композиционные, денотационные
(3) операционные, аппликативные, денотационные
Какая конструкция используется в языке SML для рекурсивного определения типов?
(1) let
(2) letrec
(3) datatype
Какой вариант вызова параметра моделирует машина Лендина?
(1) вызов по имени
(2) вызов по необходимости
(3) вызов по значению
Какой вариант вызова параметра моделирует машина Лендина?
(1) вызов по имени
(2) вызов по необходимости
(3) вызов по значению
Что является недостатком "классической" версии КАМ?
(1) поддержка только одноместных операций
(2) отсутствие поддержки рекурсивных вычислений
(3) коллизии переменных
Какие из перечисленных характеристик определяют сборку?
(1) множество модулей для установки
(2) уникальный и самодостаточный набор модулей для установки
(3) описание модулей для установки
Какие из перечисленных языков программирования являются диалектами языка SML?
(1) СaML и Haskell
(2) Mosml и Haskell
(3) СaML и Mosml
Каковы основные компоненты формальной теории?
(1) алфавит, аксиомы, теоремы
(2) алфавит, аксиомы, правила вывода
(3) алфавит, теоремы, правила вывода
Каковы основные компоненты формальной теории комбинаторной логики?
(1) алфавит, аксиомы, теоремы
(2) алфавит, аксиомы, правила вывода
(3) алфавит, теоремы, правила вывода
Каковы основные компоненты чистой системы типов?
(1) сорта, аксиомы, функциональные пространства
(2) алфавит, сорта, аксиомы
(3) сорта, аксиомы, правила вывода
Каков наиболее полный перечень синтаксических категорий языка SML?
(1) выражение, описание, служебное слово, комментарий
(2) константа, функция, переменная, значение
(3) идентификатор, константа, функция, переменная
Что отличает объектно-ориентированный подход к программированию от компонентно-ориентированного?
(1) степень зависимости от среды реализации
(2) стиль программирования
(3) структура программы
Какая формализация относится к денотационным семантикам?
(1) теория вычислений Д. Скотта
(2) аксиоматический метод Ч. Хоара
(3) абстрактная машина П. Лендина
Какой комбинатор используется для формализации рекурсии?
(1) комбинатор неподвижной точки Y
(2) комбинатор композиции B
(3) комбинатор тождества I
Что означает аббревиатура SECD?
(1) состояние машины: стек, дамп, среда, код
(2) состояние машины: стек, терм, код, дамп
(3) состояние машины: стек, дамп, терм, среда
Что является состоянием КАМ?
(1) тройка вида: стек, дамп, среда
(2) тройка вида: стек, терм, код
(3) тройка вида: стек, дамп, терм
В чем состоит практическое значение теоремы Черча-Россера?
(1) в возможности "ленивых" вычислений
(2) в возможности ликвидации коллизий переменных
(3) в эквивалентности вызова по имени и вызова по значению
Чем отличается подход к программированию Microsoft .NET от других Internet-ориентированных подходов?
(1) высокой степенью безопасности
(2) высокой степенью интерактивности
(3) высокой степенью интеграции приложений
Что объединяет классический ML и более поздние аналоги?
(1) механизм сопоставления с образцом
(2) полиморфная типизация
(3) поддержка рекурсии
Что отличает аксиомы от прочих утверждений формальной теории?
(1) лаконичность формулировок
(2) фундаментальность
(3) отсутствие необходимости доказательства истинности
Что отличает аксиомы комбинаторной логики от прочих утверждений?
(1) лаконичность формулировок
(2) фундаментальность
(3) отсутствие необходимости доказательства истинности
Что отличает теорию типов от прочих теорий?
(1) принцип индукции
(2) принцип полноты
(3) принцип иерархичности
Какие ключевые слова используются для описания в языке SML?
(1) val, fun, let
(2) val, if, local
(3) val, fun, local
В чем состоит особенность языков функционального программирования?
(1) этот класс языков основан на сценариях
(2) этот класс языков концептуально близок к любой предметной области
(3) этот класс языков легко формализуем математически
Какая формализация относится к операционным семантикам?
(1) теория вычислений Д. Скотта
(2) аксиоматический метод Ч. Хоара
(3) абстрактная машина П. Лендина
Какой из объектов адекватно формализует рекурсию?
(1) множество
(2) тип
(3) домен
Каковы основные условия для декартово замкнутых категорий?
(1) тождество, композиция, упорядоченная пара, первая проекция
(2) тождество, композиция, упорядоченная пара, перестановка
(3) тождество, композиция, упорядоченная пара, проекции
Что понимается под циклом работы КАМ?
(1) варианты трансляции кода
(2) множество инструкций КАМ
(3) множество изменений состояний
Каковы возможные способы реализации "ленивых" вычислений?
(1) расширение абстрактных машин
(2) редукция графов
(3) категориальная комбинаторная логика
В чем состоит особенность языков программирования для Microsoft .NET?
(1) недопустимы языки программирования на основе сценариев
(2) допустимы различные языки программирования
(3) недопустимы самостоятельно реализованные языки программирования
В чем состоит особенность языков функционального программирования?
(1) этот класс языков основан на сценариях
(2) этот класс языков концептуально близок к любой предметной области
(3) этот класс языков легко формализуется математически
Каким образом осуществляется построение ламбда-термов?
(1) посредством рекурсии
(2) посредством дедукции
(3) посредством индукции
Каким образом осуществляется построение комбинаторов?
(1) посредством рекурсии
(2) посредством дедукции
(3) посредством индукции
Каким образом осуществляется построение типов?
(1) посредством рекурсии
(2) посредством дедукции
(3) посредством индукции
На какие категории подразделяются типы SML?
(1) структурированные и неструктурированные
(2) литералы и функции
(3) переменные и константы
Что объединяет языки ООП и языки сценариев?
(1) ориентированность на пользователя
(2) событийная ориентированность
(3) ориентированность на архитектуру компьютера
Что понимается под конструкторами доменов?
(1) способы комбинирования доменов
(2) способы описания доменов
(3) способы определения доменов
Какие виды рекурсии существуют?
(1) прямая, обратная, взаимная
(2) прямая, обратная, частичная
(3) прямая, взаимная, частичная
Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?
(1) аппликация и абстракция
(2) аппликация и каррирование
(3) абстракция и каррирование
Какой из списков содержит лишь многоместные операции КАМ?
(1) if eq cons
(2) if eq add
(3) if eq app
Что понимается под интероперабельностью?
(1) возможность совместной работы пользователей
(2) возможность работы с унаследованными системами
(3) возможность интегрированной обработки гетерогенных данных
Какая из формализаций адекватна для программирования?
(1) исчисление предикатов
(2) исчисление ламбда-конверсий
(3) исчисление высказываний
Каковы основные свойства отношения конвертируемости?
(1) рефлексивность, симметричность, интранзитивность
(2) рефлексивность, симметричность, транзитивность
(3) рефлексивность, антисимметричность, транзитивность
Какой функции соответствует аксиома Ix=x?
(1) первой проекции
(2) тождеству
(3) композиции
Какой тип имеет функция из int в bool?
(1) int -> true
(2) bool -> int
(3) int -> bool
Что понимается под литералом в языке программирования?
(1) объект, семантика которого полностью определяется синтаксисом
(2) объект, синтаксис которого полностью определяется семантикой
(3) объект, семантика которого не связана с синтаксисом
Какова наиболее характерная область применения языков параллельного программирования?
(1) учетные системы
(2) системы реального времени
(3) системы электронной почты
Какие синтаксические домены описываю семантику SML?
(1) домены идентификаторов, команд и выражений
(2) домены идентификаторов, команд и функций
(3) домены идентификаторов, функций и выражений
Для каких доменов допустимы рекурсивные равенства?
(1) для всех
(2) ни для одного
(3) только для конечных и стандартных
Какие условия необходимы для формирования декартовых категорий?
(1) формирование упорядоченной пары, каррирование, декаррирование
(2) первая и вторая проекции, каррирование, декаррирование
(3) формирование упорядоченной пары, первая и вторая проекции
Какие действия выполняет инструкция swap?
(1) вершина стека помещается в голову терма
(2) значение терма и вершина стека меняются местами
(3) значение терма помещается на вершину стека
При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?
(1) при вычислении с вызовом по значению
(2) при вычислении с вызовом по имени
(3) при вычислении с вызовом по необходимости
Каковы наиболее значительные недостатки Microsoft .NET?
(1) высокие аппаратные требования, неполная стандартизация
(2) крайне скудная документация
(3) невозможность самостоятельной разработки компиляторов
Для чего используется механизм сопоставления с образцом?
(1) для удобства создания экономичного программного кода
(2) для удобства декомпозиции и верификации программного кода
(3) для удобства повторного использования программного кода
Какая операция не является основной операцией в ламбда-исчислении?
(1) аппликация
(2) абстракция
(3) композиция
Сколько базисов комбинаторов существует в комбинаторной логике?
(1) один: {K,S}
(2) три: {I,K,S}, {I,B,C,S}, {B,W,K}
(3) бесконечное множество
Какие объекты преимущественно обрабатывает полиморфная функция?
(1) объекты фиксированного типа
(2) объекты переменного типа
(3) объекты, не имеющие типа
Для чего используются кортежи в языке SML?
(1) для реализации многоместных функций
(2) для реализации баз данных
(3) для реализации списков