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