Комбинатор (комбинаторная логика)

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Комбинатор — в комбинаторной логике объект исчисления. Комбинатор имеет наименование и обладает комбинаторной характеристикой.

См. также[править]