База ответов ИНТУИТ

Введение в теорию программирования. Объектно-ориентированный подход

<<- Назад к вопросам

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

(Отметьте один правильный вариант ответа.)

Варианты ответа
денотационная семантика(Верный ответ)
пропозиционная семантика
операционная семантика
Похожие вопросы
Что из перечисленного является формализацией семантики?
В чем состоит основное назначение семантики?
Какая из теорий не является формализацией семантики?
Какая из теорий не является формализацией семантики?
Что понимается под конструкторами доменов?
Сколько видов конструкторов доменов в теории вычислений Д.Скотта?
Какой описатель соответствует элементам интерфейса?
Какой описатель определяет элемент интерфейса?
Какой из перечисленных языков программирования является бестиповым?
Какой описатель определяет реализованный метод интерфейса?