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

Сколько базисов комбинаторов существует в комбинаторной логике?

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

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

один: {K,S}

три: {I,K,S}, {I,B,C,S}, {B,W,K}

бесконечное множество(Верный ответ)

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

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

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

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

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

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

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

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

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

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

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