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

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

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

комбинаторная логика Х.Карри

абстрактная машина П.Лендина(Верный ответ)

теория вычислений Д. Скотта(Верный ответ)

Похожие вопросы

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

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

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

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

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

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

Что из перечисленного является этапом развития теории типов?

Что является значением индивидуализирующей функции?

Что является преимуществом типизации Microsoft .NET?

Чем является объект по отношению к классу?