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

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

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

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

формализация выводимости типов

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

формализация функциональной программы(Верный ответ)

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

В чем состоит преимущество комбинаторной логики перед классической?

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

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

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

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

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

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

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

В чем состоит основное назначение ламбда-исчисления?

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