Внимание ! Вопросы к тесту выложены исключительно в ознакомительных целях: количество вопросов может не совпадать с действительным, актуальность не поддерживается,- за решением теста Welcome to the cashier! Какие из перечисленных языков программирования основаны на структурном подходе?
C# и SML C# и ProLog C# и Fortran
Какие из перечисленных языков программирования основаны на объектно-ориентированном подходе?
С# и C++ С# и SML С# и ProLog
Какие из перечисленных языков программирования основаны на функциональном подходе?
SML и ProLog LISP и ProLog SML и LISP
Что отличает объектно-ориентированный подход к программированию от компонентно-ориентированного?
стиль программирования степень зависимости от среды реализации структура программы
Что отличает императивные языки программирования от декларативных?
структура программы стиль программирования степень зависимости от среды реализации
Что отличает ранние языки программирования от поздних?
cущественных различий нет программы на ранних языках более наглядны cтепень зависимости от среды реализации
В чем состоит особенность языков объектно-ориентированного программирования?
этот класс языков концептуально близок к любой предметной области этот класс языков основан на сценариях этот класс языков является наиболее машинно-независимым
В чем состоит особенность языков функционального программирования?
этот класс языков легко формализуем математически этот класс языков концептуально близок к любой предметной области этот класс языков основан на сценариях
В чем состоит особенность языков логического программирования?
этот класс языков является наиболее машинно-независимым этот класс языков основан на функциях этот класс языков моделирует правила
Какие из перечисленных языков программирования основаны на сценарном подходе?
JavaScript и ProLog JavaScript и VBScript VBScript и ProLog
Что объединяет языки ООП и языки сценариев?
ориентированность на пользователя ориентированность на архитектуру компьютера событийная ориентированность
Что отличает языки сценариев от других языков программирования?
структура программы стиль программирования совместимость с CASE- и RAD-средствами
Что является недостатком языков параллельного программирования?
событийная ориентированность высокая стоимость разработки программного обеспечения ориентированность на пользователя
Какие из перечисленных языков программирования основаны на концепции параллельных вычислений?
С# и Ada Modula и Ada С# и Modula
Какова наиболее характерная область применения языков параллельного программирования?
учетные системы системы реального времени системы электронной почты
Что означает название .NET?
идеология проектирования и реализации программного обеспечения многоаспектный подход, включающий идеологию, модель и инструментально-технологическую платформу разработки программного обеспечения технологическая платформа для разработки программного обеспечения
В чем состоит особенность вычислительной модели Microsoft .NET?
используется объектно-ориентированный подход используется структурный подход используется компонентный подход
Какие из перечисленных характеристик определяют сборку?
множество модулей для установки уникальный и самодостаточный набор модулей для установки описание модулей для установки
Чем отличается подход к программированию Microsoft .NET от других Internet-ориентированных подходов?
высокой степенью интеграции приложений высокой степенью интерактивности высокой степенью безопасности
Что отличает Microsoft .NET от других платформ разработки приложений?
многоязыковая поддержка удобство использования соответствие современным стандартам
Что отличает Microsoft .NET от предыдущих идеологий?
предоставление программного обеспечения как сервиса экономия сил и средств при создании приложений безопасность и удобство использования
В чем состоит особенность использования языков программирования для Microsoft .NET?
можно использовать любые языки нельзя использовать объектно-ориентированные языки нельзя использовать ранние языки, такие как COBOL
В чем состоит особенность языков программирования для Microsoft .NET?
допустимы различные языки программирования недопустимы языки программирования на основе сценариев недопустимы самостоятельно реализованные языки программирования
В чем состоит особенность Microsoft .NET в контексте безопасности?
автоматизированное управление памятью автоматизированное управление жизненным циклом приложений автоматизированный контроль выхода за границы массива
Что понимается под интероперабельностью?
возможность совместной работы пользователей возможность работы с унаследованными системами возможность интегрированной обработки гетерогенных данных
В чем заключаются технологические особенности Microsoft .NET?
В чем заключается цель использования web-сервисов в Microsoft .NET?
в обеспечении строгого соответствия стандартам в обеспечении удобства использования в обеспечении интероперабельности, масштабируемости
Каковы наиболее значительные недостатки Microsoft .NET?
высокие аппаратные требования, неполная стандартизация крайне скудная документация невозможность самостоятельной разработки компиляторов
Сколько языков программирования реализовано для Microsoft .NET?
несколько десятков менее 10 более 100
Какие из перечисленных языков программирования основаны на функциональном подходе?
LISP и ProLog SML и ProLog SML и LISP
Каково соотношение понятий функции в математике и программировании?
это эквивалентные понятия математические функции моделируют функции в программировании это несопоставимые понятия
Какие из перечисленных языков программирования являются диалектами языка SML?
СaML и Mosml Mosml и Haskell СaML и Haskell
Что отличает ламбда-исчисление от булевой логики?
существенных различий нет ламбда-исчисление адекватно формализует процесс программирования булева логика более наглядно формализует процесс программирования
Что объединяет классический ML и более поздние аналоги?
поддержка рекурсии механизм сопоставления с образцом полиморфная типизация
В чем состоит преимущество функционального подхода к программированию перед другими подходами?
прозрачность реализации рекурсии близость к предметной области высокая вычислительная эффективность
В чем состоит особенность языков функционального программирования?
этот класс языков легко формализуется математически этот класс языков концептуально близок к любой предметной области этот класс языков основан на сценариях
В чем состоит недостаток языков функционального программирования?
узкая проблемная ориентированность высокая степень машинной независимости нелинейная структура программы
В чем состоит особенность языка функционального программирования SML?
это язык программирования с полиморфной типизацией это язык программирования с параметрическим полиморфизмом это бестиповый язык программирования
Какая из формализаций адекватна для программирования?
Что понимается под конверсией в ламбда-исчислении?
преобразование синтаксиса языка преобразование объектов исчисления преобразование семантики языка
Что понимается под ламбда-исчислением?
теория для формализации семантики языка теория для формализации обозначений и переобозначений теория для формализации синтаксиса языка
Для чего используется механизм сопоставления с образцом?
для удобства создания экономичного программного кода для удобства декомпозиции и верификации программного кода для удобства повторного использования программного кода
Какая теория логически предшествовала ламбда-исчислению?
теория алгоритмов теория категорий простая теория функций
В чем состоят преимущества языка программирования SML?
полиморфизм, безопасность кода, удобочитаемость программы поддержка рекурсии, безопасность кода, эргономичность выводимость типов, параметрический полиморфизм, сопоставление с образцом
Для какого из перечисленных языков программирования использовалось ламбда-исчисление?
ALGOL 60 SIMULA 67 FORTRAN IV
В чем состоит основное назначение ламбда-исчисления?
формализация функциональной программы формализации обозначения и переобозначения формализация программной среды Microsoft .NET
Что является преимуществом ламбда-исчисления перед классической логикой?
Наглядность возможность формализации процесса программирования возможность оптимизации программного кода
Что означает выводимость типов?
возможность доказать, что выражение имеет тот или иной тип возможность приписать тип выражениям в цепочке вывода возможность определить тип из контекста окружения
Что отличает аксиомы от прочих утверждений формальной теории?
отсутствие необходимости доказательства истинности фундаментальность лаконичность формулировок
Каким образом осуществляется построение ламбда-термов?
посредством дедукции посредством рекурсии посредством индукции
Какой из языков функционального программирования назван по имени абстрактной машины?
Mosml SML CaML
Что из перечисленного является этапом развития ламбда-исчисления?
теория простых функций теория вычислений логика первого порядка
Каковы основные свойства отношения конвертируемости?
синтаксический, лексический, семантический анализ семантический, лексический, синтаксический анализ лексический, синтаксический, семантический анализ
Что понимается под синтаксисом?
описание формы языка совокупность элементов языка модель реализации языка
На какие категории подразделяются типы SML?
структурированные и неструктурированные литералы и функции переменные и константы
Какие объекты может содержать выражение языка SML?
условие, литерал, выражение функция, идентификатор, литерал идентификатор, литерал, выражение
Что из перечисленного является формализацией синтаксиса?
комбинаторная логика форма Бэкуса-Наура ламбда-исчисление
Что понимается под литералом в языке программирования?
объект, семантика которого не связана с синтаксисом объект, семантика которого полностью определяется синтаксисом объект, синтаксис которого полностью определяется семантикой
Какой вид имеет правая часть БНФ для типов SML-выражений?
Необходимо ли наличие выражения после else в условном выражении if…then…else…?
избыточно необходимо не обязательно
Внимание ! Вопросы к тесту выложены исключительно в ознакомительных целях: количество вопросов может не совпадать с действительным, актуальность не поддерживается,- за решением теста Welcome to the cashier! Для чего используются кортежи в языке SML?
для реализации списков для реализации многоместных функций для реализации баз данных
В чем состоит основное назначение семантики?
формализация абстрактной машины для реализации языка формализация вида и формы конструкций языка формализация значения конструкций языка
Какая из теорий не является формализацией семантики?
аксиоматический метод Хоара метод индуктивных утверждений Р. Флойда формы Бэкуса-Наура
Каковы виды семантик, ориентированные на интерпретацию?
формализация значения функций языка формализация самоссылающихся функций и определений формализация абстрактной машины для реализации языка
Какая конструкция используется в языке SML для рекурсивного определения типов?
letrec let datatype
Каковы требования к рекурсивному определению?
строгость корректность ссылка на определяемый объект
Какой комбинатор используется для формализации рекурсии?
комбинатор неподвижной точки Y комбинатор композиции B комбинатор тождества I
Какая задача формализуема рекурсивно?
выбор минимальной из двух величин вычисление квадрата величины вычисление факториала
Что из перечисленного является формализацией рекурсии?
теория вычислений Д. Скотта комбинаторная логика Х. Карри абстрактная машина П. Лендина
Какой из типов можно определить рекурсивно?
Список дерево массив
Какой из объектов адекватно формализует рекурсию?
тип множество домен
В чем состоит суть теоремы о неподвижной точке?
любая функция, которая может быть представлена в ламбда-исчислении, имеет неподвижную точку любой объект языка SML имеет неподвижную точку любая функция имеет неподвижную точку
Что из перечисленного является формализацией для абстрактной машины?
форма Бэкуса-Наура комбинаторная логика Х. Карри теория вычислений Д. Скотта
Какая формализация абстрактных машин является зрелой?
машина Тьюринга категориальная абстрактная машина SECD-машина Лендина
Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?
аппликация и каррирование абстракция и каррирование аппликация и абстракция
На каком этапе трансляции программы используются абстрактные машины?
на этапе создания промежуточного кода на этапе выполнения программы на этапе синтаксического анализа
Какая операция называется каррированием?
преобразование из константной формы в аппликативную преобразование из аппликативной формы в алгебраическую преобразование из алгебраической формы в аппликативную
Какие условия необходимы для формирования декартово замкнутых категорий?
абстракция и каррирование аппликация и абстракция аппликация и каррирование
Какие условия необходимы для формирования декартовых категорий?
формирование упорядоченной пары, первая и вторая проекции формирование упорядоченной пары, каррирование, декаррирование первая и вторая проекции, каррирование, декаррирование
Какая операция категориальной комбинаторной логики эквивалентна цитированию?
программа → ламбда-терм → терм ККЛ → КАМ-код программа → ламбда-терм → код де Брейна → КАМ-код программа → ламбда-терм → код де Брейна → терм ККЛ → КАМ-код
Какое условие не относится к характеристическим равенствам КАМ?
связь операции спаривания и взятия проекций связь тождества и композиции связь аппликации и абстракции
Что понимается под циклом работы КАМ?
множество изменений состояний варианты трансляции кода множество инструкций КАМ
Что называется числом де Брейна?
число шагов для преобразования терма к коду де Брейна глубина связывания переменной без единицы число инструкций в коде де Брейна
Что из перечисленного является формализацией КАМ?
категориальная комбинаторная логика комбинаторная логика Х. Карри код де Брейна
Что представляет собой среда вычислений при кодировании по де Брейну?
множество пар вида (<переменная>,<терм>) множество пар вида (<переменная>,<значение>) множество пар вида (<терм>,<значение>)
Что представляет собой код де Брейна?
пару вида (<терм де Брейна>,<среда>) пару вида (<значение>,<среда>) пару вида (<переменная>,<значение>)
Каковы необходимые требования для построения категориальной комбинаторной логики?
декартово замкнутые категории формализация семантики языка программирования декартово замкнутые категории и формализация семантики языка программирования
В чем состоит основное назначение кода де Брейна?
редукция комбинаторного терма ликвидация коллизии переменных оптимизация кода абстрактной машины
Что представляет собой "список инструкций" КАМ?
car cdr push swap cons app cur quote car cdr push pop cons app cur quote car cdr in out cons app cur quote
Какие действия выполняет инструкция swap?
значение терма и вершина стека меняются местами значение терма помещается на вершину стека вершина стека помещается в голову терма
Какие действия выполняет инструкция push?
значение терма и вершина стека меняются местами значение терма помещается на вершину стека вершина стека помещается в голову терма
Каковы основные формализации ленивых вычислений?
теория вычислений и комбинаторная логика редукция графов и комбинаторная логика редукция графов и теория вычислений
В чем состоит основное значение оптимизации кода?
повышение удобочитаемости программ повышение вычислительной эффективности повышение удобства использования программ
Что является недостатком "классической" версии КАМ?
коллизии переменных поддержка только одноместных операций отсутствие поддержки рекурсивных вычислений
Каковы основные стратегии вычислений?
вызов по имени, по значению и по необходимости вызов по имени и по необходимости вызов по имени и по значению
В чем состоит практическое значение теоремы Черча-Россера?
в эквивалентности вызова по имени и вызова по значению в возможности "ленивых" вычислений в возможности ликвидации коллизий переменных
Каков графический механизм формализации ленивых вычислений?
такого механизма не существует теория вычислений редукция графов
Что из перечисленного является синонимом "ленивых" вычислений?
вызов по необходимости вызов по значению вызов по имени
Каковы основные пути оптимизации КАМ-кода?
ведение многоместных операций устранение коллизий переменных поддержка рекурсивных вычислений
Каковы возможные способы реализации "ленивых" вычислений?
редукция графов расширение абстрактных машин категориальная комбинаторная логика
Какой из списков содержит лишь многоместные операции КАМ?
if eq cons if eq add if eq app
Какая из формализаций является наиболее зрелой?
категориальная абстрактная машина абстрактная машина Поста абстрактная машина Лендина
Каково минимально необходимое количество параметров многоместных операций в КАМ?
три более трех два
Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?
wind и dum dum wind
При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
при вычислении с вызовом по необходимости при вычислении с вызовом по имени при вычислении с вызовом по значению
При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?
при вычислении с вызовом по значению при вычислении с вызовом по необходимости при вычислении с вызовом по имени
Вы можете обратится к нам напрямую, через:
По Skype: molodoyberkut По Telegram: @MolodoyBerkut По ICQ: 657089516