What is the translation of " COMBINATORY " in Ukrainian?

• комбінаторної
• комбінаторна
• комбінаторній

Examples of using Combinatory in English and their translations into Ukrainian

Combinatory terms.
Комбінаторні вирази.

Reduction in combinatory logic.
Редукція в комбінаторній логіці.

Combinatory calculi.
Комбінаторне числення.

Some forms of combinatory logic;
Деякі форми комбінаторної логіки;

The combinatory versions have T= K and F=(K I).
Комбінаторні версії: T= K і F=( K I).

The Principal Type- Scheme of an Object in Combinatory Logic.
Основную тип- об'єкта у комбінаторної.

Combinatory logic can be given a variety of interpretations.
Комбінаторній логіці можна надати різні інтерпретації.

The Principal Type- Scheme of an Object in Combinatory Logic.
Гіндлі публікує тип- схему об'єкта у комбінаторної логіці.

In combinatory logic, each primitive combinator comes with a reduction rule of the form.
У комбінаторній логіці кожен примітивний комбінатор має правило редукції форми.

Einstein described his scientific method as combinatory play.
Айнштайн описував свій науковий метод як комбінаційну гру.

Despite its simplicity, combinatory logic captures many essential features of computation.
Незважаючи на свою простоту, комбінаторна логіка охоплює багато суттєвих особливостей обчислення.

Curry and Feys(1958), and Curry et al.(1972) survey the early history of combinatory logic.
Каррі і Фейс"(1958) і"Curry et al."(1972) оглядають ранню історію комбінаторної логіки.

Combinatory logic is a model of computation equivalent to lambda calculus, but without abstraction.
Комбінаторна логіка є моделлю обчислення, еквівалентною лямбда-численням, але без абстракції.

Dana Scott in the 1960s and 1970s showed how to marry model theory and combinatory logic.
Дана Скотт в 1960-х і 1970-х роках показав, як поєднати теорію моделей та комбінаторну логіку.

Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic.
Комбінаторна логіка є позначенням для усунення необхідності кількісних змінних в математичній логіці.

In contrast, evaluating expressions in combinatory logic is much simpler, because there is no notion of substitution.
Навпаки, оцінювання виразів у комбінаторній логіці набагато простіше, оскільки не існує поняття заміщення.

Combinatory logic was originally intended as a'pre-logic' that would clarify the role of quantified variables in logic, essentially by eliminating them.
Комбінаторна логіка спочатку створювалася як«пре-логіка», яка б пояснювала роль кількісних змінних в логіці шляхом їх усунення.

It is undecidable whether a general combinatory term has a normal form; whether two combinatory terms are equivalent, etc.
Не можна вирішити, чи має загальний комбінаторний термін нормальну форму; чи еквівалентні два комбінаторні терміни, і т. д.

Combinatory logic A concept which has many similarities to λ{\displaystyle\lambda}-calculus, but also important differences exist(e.g. fixed point combinator Y has normal form in combinatory logic but not in λ{\displaystyle\lambda}-calculus).
Комбінаторна логіка Концепція, що має багато спільного з лямбда-численням, але яка має важливі відмінності(наприклад, комбінатор фіксованої точки Y має нормальну форму в комбінаторній логіці, але не в лямбда-численні).

The question then is to ascertain whether language makes such combinatory operations possible or whether the operations evolve independently of language.
Питання, таким чином, полягає в тому, щоб з'ясувати, мова чи робить можливим операції комбінаторики, або ж ці операції виникають незалежно від мови.

Hence combinatory logic has been used to model some non-strict functional programming languages and hardware.
Тому комбінаторна логіка була використана для моделювання деяких нетривких функціональних мов програмування та апаратного забезпечення.

In 1969, J. Roger Hindley publishes The Principal Type-Scheme of an Object in Combinatory Logic, later generalized into the Hindley- Milner type inference algorithm.
У 1969 році Дж Роджер Гіндлі публікує основну тип-схему об'єкта у комбінаторної логіці, пізніше узагальнену у алгоритм виведення типів Гіндлі-Мілнера.

In computer science, combinatory logic is used as a simplified model of computation, used in computability theory and proof theory.
У комп'ютерній науці комбінаторна логіка використовується як спрощена модель обчислень, що використовується в теорії обчислюваності та теорії доведення.

In 1969, J. Roger Hindley publishes The Principal Type-Scheme of an Object in Combinatory Logic, later generalized into the Hindley- Milner type inference algorithm.
У 1969 році Дж Роджер Хиндли публікує основную тип-схему об'єкта у комбінаторної логіці, пізніше узагальнена у алгоритм виведення типів Хіндлі-Мілнера.

A normal form is any combinatory term in which the primitive combinators that occur, if any, are not applied to enough arguments to be simplified.
Нормальною формою є будь-який комбінаторний термін, в якому примітивні комбінатори, які виникають, якщо такі є, не застосовуються до достатньої кількості спрощених аргументів.

The original inventor of combinatory logic, Moses Schönfinkel, published nothing on combinatory logic after his original 1924 paper.
Оригінальний винахідник комбінаторної логіки, Мойсей Шенфінкель, не опублікував нічого про комбінаторну логіку після своєї оригінальної статті 1924 року.

While the expressive power of combinatory logic typically exceeds that of first-order logic, the expressive power of predicate functor logic is identical to that of first order logic(Quine 1960, 1966, 1976).
Хоча виразність комбінаторної логіки зазвичай перевищує таку логіки першого порядку, виразність логіки предикативного функтора ідентична логіці першого порядку( Квайн 1960, 1966, 1976).

For a more modern treatment of combinatory logic and the lambda calculus together, see the book by Barendregt,[5] which reviews the models Dana Scott devised for combinatory logic in the 1960s and 1970s.
Для більш сучасного трактування комбінаторної логіки та лямбда-числення див. книгу Барендрегта[5], в яка розглядає моделі Дана Скотта, розроблені для комбінаторної логіки в 1960-х і 1970-х роках.

But taken from a psychological viewpoint, this combinatory play seems to be the essential feature in productive thought--before there is any connection with logical construction in words or other kinds of signs which can be communicated to others.
Але з психологічної точки зору ця комбінаторна гра займає, мабуть, істотне місце в продуктивному мисленні- перш ніж виникає якась зв'язок з логічною конструкцією, вираженої в словах або яких-небудь інших знаках, які можуть бути передані іншим людям»….