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

идеология проектирования и реализации программного обеспечения
технологическая платформа для разработки программного обеспечения
многоаспектный подход, включающий идеологию, модель и инструментально-технологическую платформу разработки программного обеспечения

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171684

Вопрос есть в коллекциях

В чем состоит особенность языков объектно-ориентированного программирования?

этот класс языков основан на сценариях
этот класс языков концептуально близок к любой предметной области
этот класс языков является наиболее машинно-независимым

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171683

Вопрос есть в коллекциях

Какой тип семантики формализуется с помощью доменов?

операционная семантика
пропозиционная семантика
денотационная семантика

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171682

Вопрос есть в коллекциях

Какие виды рекурсии существуют?

прямая, обратная, взаимная
прямая, обратная, частичная
прямая, взаимная, частичная

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171681

Вопрос есть в коллекциях

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

ML и CaML
ML и С#
ML и ProLog

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171680

Вопрос есть в коллекциях

Какая конструкция используется в языке SML для рекурсивного определения типов?

let
letrec
datatype

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171679

Вопрос есть в коллекциях

В чем состоит основное назначение семантики?

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171678

Вопрос есть в коллекциях

Какой вид имеет правая часть БНФ для типов SML-выражений?

int|bool |<тип>*…<тип>|<тип> -> <тип>
int|bool |<тип> -> <тип>
int|bool |<тип>*…<тип>

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171677

Вопрос есть в коллекциях

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

JavaScript и ProLog
VBScript и ProLog
JavaScript и VBScript

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171676

Вопрос есть в коллекциях

В чем состоит суть теоремы о неподвижной точке?

любая функция, которая может быть представлена в ламбда-исчислении, имеет неподвижную точку
любая функция имеет неподвижную точку
любой объект языка SML имеет неподвижную точку

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171675

Вопрос есть в коллекциях

Что понимается под циклом работы КАМ?

варианты трансляции кода
множество инструкций КАМ
множество изменений состояний

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171674

Вопрос есть в коллекциях

Какие символы являются специальными в алфавите формальной системы комбинаторной логики?

"(", ")", "λ"
"(", ")", "λ", "."
"(", ")"

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171673

Вопрос есть в коллекциях

Каковы основные свойства отношения конвертируемости?

рефлексивность, симметричность, интранзитивность
рефлексивность, симметричность, транзитивность
рефлексивность, антисимметричность, транзитивность

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171672

Вопрос есть в коллекциях

Каковы основные стратегии вычислений?

вызов по имени и по значению
вызов по имени и по необходимости
вызов по имени, по значению и по необходимости

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171671

Вопрос есть в коллекциях

Что понимается под типом?

совокупность элементов предметной области
название предметной области
модель предметной области

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171670

Вопрос есть в коллекциях

Что из перечисленного является формализацией КАМ?

код де Брейна
комбинаторная логика Х. Карри
категориальная комбинаторная логика

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171669

Вопрос есть в коллекциях

Какова схема трансляции в код КАМ?

программа → ламбда-терм → код де Брейна → терм ККЛ → КАМ-код
программа → ламбда-терм → терм ККЛ → КАМ-код
программа → ламбда-терм → код де Брейна → КАМ-код

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171668

Вопрос есть в коллекциях

В чем состоит основное назначение комбинаторной логики?

формализация функциональной программы
формализация программной среды Microsoft .NET
формализация выводимости типов

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171667

Вопрос есть в коллекциях

Каким образом осуществляется построение ламбда-термов?

посредством рекурсии
посредством дедукции
посредством индукции

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171666

Вопрос есть в коллекциях

Что отличает аксиомы от прочих утверждений формальной теории?

лаконичность формулировок
фундаментальность
отсутствие необходимости доказательства истинности

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171665

Вопрос есть в коллекциях

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

СaML и Haskell
Mosml и Haskell
СaML и Mosml

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171664

Вопрос есть в коллекциях

Каково минимально необходимое количество параметров многоместных операций в КАМ?

два
три
более трех

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171663

Вопрос есть в коллекциях

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

выражение, описание, служебное слово, комментарий
константа, функция, переменная, значение
идентификатор, константа, функция, переменная

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171662

Вопрос есть в коллекциях

Что отличает Microsoft .NET от других платформ разработки приложений?

многоязыковая поддержка
удобство использования
соответствие современным стандартам

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171661

Вопрос есть в коллекциях

Каковы основные способы задания типа?

явное перечисление элементов
индивидуализирующая функция
приписывание типа

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171660

Вопрос есть в коллекциях

Какие типы SML относятся к базисным?

int, string, bool
int, string, ->
int, bool, ->

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171659

Вопрос есть в коллекциях

Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?

wind
dum
wind и dum

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171658

Вопрос есть в коллекциях

Что из перечисленного является синонимом "ленивых" вычислений?

вызов по имени
вызов по необходимости
вызов по значению

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171657

Вопрос есть в коллекциях

Какие домены имеют неопределенные элементы?

все
ни один
только конечные и стандартные

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171656

Вопрос есть в коллекциях

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

объект, семантика которого полностью определяется синтаксисом
объект, синтаксис которого полностью определяется семантикой
объект, семантика которого не связана с синтаксисом

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171655

Вопрос есть в коллекциях

Как осуществляется приписывание типа в теории типов?

на основании выводимости типов
на основании аксиом и правил вывода
на основании непосредственной проверки

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171654

Вопрос есть в коллекциях

Каким образом осуществляется построение типов?

посредством рекурсии
посредством дедукции
посредством индукции

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171653

Вопрос есть в коллекциях

Что означает выводимость типов?

возможность определить тип из контекста окружения
возможность доказать, что выражение имеет тот или иной тип
возможность приписать тип выражениям в цепочке вывода

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171652

Вопрос есть в коллекциях

В чем состоят преимущества языка программирования SML?

выводимость типов, параметрический полиморфизм, сопоставление с образцом
полиморфизм, безопасность кода, удобочитаемость программы
поддержка рекурсии, безопасность кода, эргономичность

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171651

Вопрос есть в коллекциях

На что ориентированы основные подходы к семантике?

на компиляцию
на интерпретацию
на корректность типизации

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171650

Вопрос есть в коллекциях

Каковы основные пути оптимизации КАМ-кода?

ведение многоместных операций
поддержка рекурсивных вычислений
устранение коллизий переменных

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171649

Вопрос есть в коллекциях

Каковы основные компоненты формальной теории?

алфавит, аксиомы, теоремы
алфавит, аксиомы, правила вывода
алфавит, теоремы, правила вывода

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171648

Вопрос есть в коллекциях

В чем состоит преимущество функционального подхода к программированию перед другими подходами?

близость к предметной области
прозрачность реализации рекурсии
высокая вычислительная эффективность

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171647

Вопрос есть в коллекциях

Что представляет собой "список инструкций" КАМ?

car cdr in out cons app cur quote
car cdr push swap cons app cur quote
car cdr push pop cons app cur quote

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171646

Вопрос есть в коллекциях

Какая формализация абстрактных машин отвечает требованию реализма?

машина Тьюринга
машина Поста
машина Лендина

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171645

Вопрос есть в коллекциях

Необходимо ли наличие выражения после else в условном выражении if…then…else…?

необходимо
не обязательно
избыточно

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171644

Вопрос есть в коллекциях

Какой из объектов адекватно формализует рекурсию?

домен
множество
тип

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171643

Вопрос есть в коллекциях

Какие объекты могут определяться рекурсивно?

выражения, функции, типы
идентификаторы, функции, типы
множества, функции, типы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171642

Вопрос есть в коллекциях

Какой функции соответствует аксиома Ix=x?

первой проекции
тождеству
композиции

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171641

Вопрос есть в коллекциях

В чем состоит основное назначение синтаксиса?

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171640

Вопрос есть в коллекциях

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

cтепень зависимости от среды реализации
программы на ранних языках более наглядны
cущественных различий нет

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171639

Вопрос есть в коллекциях

Какая операция не является основной операцией в ламбда-исчислении?

композиция
абстракция
аппликация

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171638

Вопрос есть в коллекциях

Что является недостатком "классической" версии КАМ?

коллизии переменных
отсутствие поддержки рекурсивных вычислений
поддержка только одноместных операций

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171637

Вопрос есть в коллекциях

Какие действия выполняет инструкция push?

вершина стека помещается в голову терма
значение терма и вершина стека меняются местами
значение терма помещается на вершину стека

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171636

Вопрос есть в коллекциях

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

аппликация и абстракция
абстракция и каррирование
аппликация и каррирование

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171635

Вопрос есть в коллекциях

На каком этапе трансляции программы используются абстрактные машины?

на этапе создания промежуточного кода
на этапе синтаксического анализа
на этапе выполнения программы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171634

Вопрос есть в коллекциях

В чем состоит основное назначение абстрактных машин?

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

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171633

Вопрос есть в коллекциях

Какой из типов можно определить рекурсивно?

массив
список
дерево

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171632

Вопрос есть в коллекциях

Каковы требования к рекурсивному определению?

корректность
ссылка на определяемый объект
строгость

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171631

Вопрос есть в коллекциях

Сколько видов конструкторов доменов в теории вычислений Д. Скотта?

два
три
четыре

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171630

Вопрос есть в коллекциях

Что понимается под конструкторами доменов?

способы определения доменов
способы описания доменов
способы комбинирования доменов

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171629

Вопрос есть в коллекциях

Каковы требования к описанию формального языка?

ясность, полнота, естественность, реализм
корректность, естественность, удобство использования
строгость, полнота, простота, эффективность

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171628

Вопрос есть в коллекциях

Каковы виды семантик, ориентированные на интерпретацию?

операционные, композиционные, денотационные
операционные, аппликативные, денотационные
операционные, пропозиционные, денотационные

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171627

Вопрос есть в коллекциях

Какие ключевые слова используются для описания в языке SML?

val, fun, let
val, if, local
val, fun, local

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171626

Вопрос есть в коллекциях

Что понимается под комбинатором?

ламбда-терм без переменных
ламбда-терм без связанных переменных
ламбда-терм без свободных переменных

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171625

Вопрос есть в коллекциях

Какое отношение задают аксиомы ламбда-исчисления?

отношение частичного порядка
отношение взаимно однозначного соответствия
отношение конвертируемости

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171624

Вопрос есть в коллекциях

В чем состоит особенность языков функционального программирования?

этот класс языков основан на сценариях
этот класс языков легко формализуется математически
этот класс языков концептуально близок к любой предметной области

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171623

Вопрос есть в коллекциях

Что понимается под интероперабельностью?

возможность интегрированной обработки гетерогенных данных
возможность совместной работы пользователей
возможность работы с унаследованными системами

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171622

Вопрос есть в коллекциях

В чем состоит особенность использования языков программирования для Microsoft .NET?

нельзя использовать объектно-ориентированные языки
нельзя использовать ранние языки, такие как COBOL
можно использовать любые языки

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171621

Вопрос есть в коллекциях

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

совместимость с CASE- и RAD-средствами
стиль программирования
структура программы

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171620

Вопрос есть в коллекциях

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

С# и SML
С# и C++
С# и ProLog

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171619

Вопрос есть в коллекциях

Для чего используется механизм сопоставления с образцом?

для удобства повторного использования программного кода
для удобства декомпозиции и верификации программного кода
для удобства создания экономичного программного кода

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171618

Вопрос есть в коллекциях

Что понимается под семантикой?

модель интерпретации абстрактного синтаксиса
модель реализации языка программирования
модель предметной области

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171617

Вопрос есть в коллекциях

В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?

вправо
влево
в любом направлении

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171616

Вопрос есть в коллекциях

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

С# и Ada
Modula и Ada
С# и Modula

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171615

Вопрос есть в коллекциях

Что представляет собой среда вычислений при кодировании по де Брейну?

множество пар вида (<переменная>,<значение>)
множество пар вида (<переменная>,<терм>)
множество пар вида (<терм>,<значение>)

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171614

Вопрос есть в коллекциях

В чем заключаются технологические особенности Microsoft .NET?

многоязыковая поддержка, интероперабельность, масштабируемость
многоязыковая поддержка, эргономичность
многоязыковая поддержка, эргономичность, полное соответствие стандартам

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171613

Вопрос есть в коллекциях

Каков графический механизм формализации ленивых вычислений?

такого механизма не существует
теория вычислений
редукция графов

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171612

Вопрос есть в коллекциях

Какой из языков функционального программирования назван по имени абстрактной машины?

Mosml
CaML
SML

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171611

Вопрос есть в коллекциях

Какая формализация абстрактных машин является зрелой?

SECD-машина Лендина
категориальная абстрактная машина
машина Тьюринга

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171610

Вопрос есть в коллекциях

В чем состоит основное назначение типизации?

структуризация предметной области
единообразие манипулирования объектами
упрощение процесса компиляции

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171609

Вопрос есть в коллекциях

Что понимается под конверсией в ламбда-исчислении?

преобразование объектов исчисления
преобразование синтаксиса языка
преобразование семантики языка

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171608

Вопрос есть в коллекциях

Каковы характеристики типизации языка SML?

сильная, статическая, полиморфная
слабая, статическая, полиморфная
сильная, динамическая, полиморфная

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171607

Вопрос есть в коллекциях

Что отличает ламбда-исчисление от булевой логики?

ламбда-исчисление адекватно формализует процесс программирования
булева логика более наглядно формализует процесс программирования
существенных различий нет

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171606

Вопрос есть в коллекциях

Какая задача формализуема рекурсивно?

вычисление факториала
вычисление квадрата величины
выбор минимальной из двух величин

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171605

Вопрос есть в коллекциях

В чем состоит основное назначение кода де Брейна?

ликвидация коллизии переменных
оптимизация кода абстрактной машины
редукция комбинаторного терма

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171604

Вопрос есть в коллекциях

Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?

абстракция и каррирование
аппликация и абстракция
аппликация и каррирование

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171603

Вопрос есть в коллекциях

При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?

при вычислении с вызовом по необходимости
при вычислении с вызовом по имени
при вычислении с вызовом по значению

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171602

Вопрос есть в коллекциях

Какие из перечисленных языков программирования основаны на функциональном подходе?

SML и ProLog
SML и LISP
LISP и ProLog

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171601

Вопрос есть в коллекциях

Для каких доменов рекурсивные определения разрешимы?

ни для одного
для всех
только для конечных и стандартных

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171600

Вопрос есть в коллекциях

Для чего используются кортежи в языке SML?

для реализации баз данных
для реализации списков
для реализации многоместных функций

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171599

Вопрос есть в коллекциях

Какие объекты может содержать выражение языка SML?

идентификатор, литерал, выражение
функция, идентификатор, литерал
условие, литерал, выражение

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171598

Вопрос есть в коллекциях

Каким образом осуществляется построение комбинаторов?

посредством индукции
посредством рекурсии
посредством дедукции

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171597

Вопрос есть в коллекциях

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

теория вычислений Д. Скотта
комбинаторная логика Х. Карри
абстрактная машина П. Лендина

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171596

Вопрос есть в коллекциях

Что отличает аксиомы комбинаторной логики от прочих утверждений?

лаконичность формулировок
отсутствие необходимости доказательства истинности
фундаментальность

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171595

Вопрос есть в коллекциях

В чем состоит особенность Microsoft .NET в контексте безопасности?

автоматизированное управление памятью
автоматизированный контроль выхода за границы массива
автоматизированное управление жизненным циклом приложений

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171594

Вопрос есть в коллекциях

Какие синтаксические домены описываю семантику SML?

домены идентификаторов, функций и выражений
домены идентификаторов, команд и функций
домены идентификаторов, команд и выражений

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171593

Вопрос есть в коллекциях

В чем состоит особенность вычислительной модели Microsoft .NET?

используется компонентный подход
используется объектно-ориентированный подход
используется структурный подход

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171592

Вопрос есть в коллекциях

В чем состоит недостаток языков функционального программирования?

высокая степень машинной независимости
нелинейная структура программы
узкая проблемная ориентированность

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171591

Вопрос есть в коллекциях

При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?

при вычислении с вызовом по имени
при вычислении с вызовом по значению
при вычислении с вызовом по необходимости

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Новинка

-37%

Вопрос №1171590

Вопрос есть в коллекциях

Какая из формализаций является наиболее зрелой?

абстрактная машина Поста
категориальная абстрактная машина
абстрактная машина Лендина

Ответ за 12 руб. Подробнее

Ответ верный?

Да Нет

Сбросить фильтрОшибка?

Показать быстрые кнопки

Сбросить настройки

Отметить/снять все

Не нашли ответа на свой вопрос?

Добавить ответ

Ведь так и так найдёте ответ для своей учёбы 😉

Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.

Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.

Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.

Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.

Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.

Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.

Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.

Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.

Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.

Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.

Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.

Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.