Ответы к контрольной работе: Введение в теорию программирования. Функциональный подход
Новинка
-20%
Описание
Здесь представлена подборка ответов на тестовые вопросы по предмету "Введение в теорию программирования. Функциональный подход". Перед покупкой проверяйте точно ли здесь представлены те вопросы, ответы на которые вам нужны.
Список вопросов
Что является недостатком языков параллельного программирования?
Что из перечисленного является формализацией для абстрактной машины?
Какой из перечисленных языков программирования является бестиповым?
Какой функции соответствует аксиома Кxу=x?
Что означает название .NET?
В чем состоит особенность языков объектно-ориентированного программирования?
Какой тип семантики формализуется с помощью доменов?
Какие виды рекурсии существуют?
Какие языки программирования формализованы абстрактными машинами?
Какая конструкция используется в языке SML для рекурсивного определения типов?
В чем состоит основное назначение семантики?
Какой вид имеет правая часть БНФ для типов SML-выражений?
Какие из перечисленных языков программирования основаны на сценарном подходе?
В чем состоит суть теоремы о неподвижной точке?
Что понимается под циклом работы КАМ?
Какие символы являются специальными в алфавите формальной системы комбинаторной логики?
Каковы основные свойства отношения конвертируемости?
Каковы основные стратегии вычислений?
Что понимается под типом?
Что из перечисленного является формализацией КАМ?
Какова схема трансляции в код КАМ?
В чем состоит основное назначение комбинаторной логики?
Каким образом осуществляется построение ламбда-термов?
Что отличает аксиомы от прочих утверждений формальной теории?
Какие из перечисленных языков программирования являются диалектами языка SML?
Каково минимально необходимое количество параметров многоместных операций в КАМ?
Каков наиболее полный перечень синтаксических категорий языка SML?
Что отличает Microsoft .NET от других платформ разработки приложений?
Каковы основные способы задания типа?
Какие типы SML относятся к базисным?
Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?
Что из перечисленного является синонимом "ленивых" вычислений?
Какие домены имеют неопределенные элементы?
Что понимается под литералом в языке программирования?
Как осуществляется приписывание типа в теории типов?
Каким образом осуществляется построение типов?
Что означает выводимость типов?
В чем состоят преимущества языка программирования SML?
На что ориентированы основные подходы к семантике?
Каковы основные пути оптимизации КАМ-кода?
Каковы основные компоненты формальной теории?
В чем состоит преимущество функционального подхода к программированию перед другими подходами?
Что представляет собой "список инструкций" КАМ?
Какая формализация абстрактных машин отвечает требованию реализма?
Необходимо ли наличие выражения после else в условном выражении if…then…else…?
Какой из объектов адекватно формализует рекурсию?
Какие объекты могут определяться рекурсивно?
Какой функции соответствует аксиома Ix=x?
В чем состоит основное назначение синтаксиса?
Что отличает ранние языки программирования от поздних?
Какая операция не является основной операцией в ламбда-исчислении?
Что является недостатком "классической" версии КАМ?
Какие действия выполняет инструкция push?
Какие условия необходимы для формирования декартово замкнутых категорий?
На каком этапе трансляции программы используются абстрактные машины?
В чем состоит основное назначение абстрактных машин?
Какой из типов можно определить рекурсивно?
Каковы требования к рекурсивному определению?
Сколько видов конструкторов доменов в теории вычислений Д. Скотта?
Что понимается под конструкторами доменов?
Каковы требования к описанию формального языка?
Каковы виды семантик, ориентированные на интерпретацию?
Какие ключевые слова используются для описания в языке SML?
Что понимается под комбинатором?
Какое отношение задают аксиомы ламбда-исчисления?
В чем состоит особенность языков функционального программирования?
Что понимается под интероперабельностью?
В чем состоит особенность использования языков программирования для Microsoft .NET?
Что отличает языки сценариев от других языков программирования?
Какие из перечисленных языков программирования основаны на объектно-ориентированном подходе?
Для чего используется механизм сопоставления с образцом?
Что понимается под семантикой?
В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?
Какие из перечисленных языков программирования основаны на концепции параллельных вычислений?
Что представляет собой среда вычислений при кодировании по де Брейну?
В чем заключаются технологические особенности Microsoft .NET?
Каков графический механизм формализации ленивых вычислений?
Какой из языков функционального программирования назван по имени абстрактной машины?
Какая формализация абстрактных машин является зрелой?
В чем состоит основное назначение типизации?
Что понимается под конверсией в ламбда-исчислении?
Каковы характеристики типизации языка SML?
Что отличает ламбда-исчисление от булевой логики?
Какая задача формализуема рекурсивно?
В чем состоит основное назначение кода де Брейна?
Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?
При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
Какие из перечисленных языков программирования основаны на функциональном подходе?
Для каких доменов рекурсивные определения разрешимы?
Для чего используются кортежи в языке SML?
Какие объекты может содержать выражение языка SML?
Каким образом осуществляется построение комбинаторов?
Что из перечисленного является формализацией семантики?
Что отличает аксиомы комбинаторной логики от прочих утверждений?
В чем состоит особенность Microsoft .NET в контексте безопасности?
Какие синтаксические домены описываю семантику SML?
В чем состоит особенность вычислительной модели Microsoft .NET?
В чем состоит недостаток языков функционального программирования?
При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?
Какая из формализаций является наиболее зрелой?
Характеристики ответов (шпаргалок) к КР
Тип
Коллекция: Ответы к контрольной работе
Предмет
Семестр
Просмотров
0
Качество
Идеальное компьютерное
Количество вопросов
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_100332_12444.png&w=1632&h=400&t=1")
Гарантия сдачи без лишних хлопот! ✅🎓 Ответы на тесты по любым дисциплинам, базы вопросов, работы и услуги для Синергии, МЭИ и других вузов – всё уже готово! 🚀 🎯📚 Гарантия качества – или возврат денег! 💰✅
meimei1337
Вчера в 13:40
Комментарии
Нет комментариев
Стань первым, кто что-нибудь напишет!
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
