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