разговорный. целей при помощи разного рода ухищрений, комбинаций.
Остальные ходы, правда, рисовались в совершенном уже тумане, но это нисколько не смущало великого комбинатора.
матем. в комбинаторной логике и ламбда-исчислении — особый терм, разрешающий те или иные преобразования аппликативных последовательностей.
Выделяются три константы, обозначающие индивидуальные функции (комбинаторы): два собственных комбинатора К и S, удовлетворяющих равенствам <nowiki>Kab = а</nowiki> и <nowiki>Sabc = ac(bc)</nowiki>, где a, b и с – произвольные обы (скобки в обах восстанавливаются по ассоциации влево) и один дедуктивный комбинатор U как некоторый аналог формальной импликации или оператора функциональности. Эти три комбинатора позволяют заменить любое предложение логико-математических языков комбинацией (обом) из К, S и U и скобок, откуда и название «комбинаторная логика» (введённое Карри).
В традиционном компьютинге центральным понятием, без которого, как обычно считается, нельзя обходиться, является представление о переменной. Переменная играет роль «числа вообще», что помогает строить общие утверждения и анализировать их свойства. Сразу же было осознано, что переменные надо рассматривать шире, считая их «сущностями вообще», некими индетерминантами, не сводя их сферу действия только к чистой арифметике. Комбинаторы же воспринимаются как «константы вообще», предполагая, что строение знания по своей фактуре гранулировано именно константами.
Немецкий
Английский
Испанский
Французский