INTUITIONISTIC - переклад на Українською

• інтуїтивної
• інтуїціоністської
• інтуїціонистська
• інтуїціоністська
• інтуїційного
• інтуїтивній
• інтуїтивна

Приклади вживання Intuitionistic Англійська мовою та їх переклад на Українською

This idea lies at the basis of the Curry- Howard isomorphism, and of intuitionistic type theory.
Ця ідея лежить в основі ізоморфізмуКеррі-Говарда і інтуЇтивної теорії типів.

Its nodes are the propositional formulas in one variable up to intuitionistic logical equivalence,
Її вузли- пропозиціональні формули в однієї змінної до інтуїціоністської логічної еквівалентності,

This idea lies at the basis of the Curry- Howard isomorphism, and of intuitionistic type theory.
Ця ідея лежить в основі ізоморфізму Керрі-Говарда та інтуїтивної теорії типів.

Unproved statements in Intuitionistic logic are not given an intermediate truth value(as is sometimes mistakenly asserted).
Недоведеним твердженням в інтуїтивній логіці не надаються проміжні значення істинності(як іноді помилково стверджується).

It was discovered that Tarski-like semantics for intuitionistic logic were not possible to prove complete.
Було виявлено, що подібна семантика Тарскі для інтуїтивної логіки не була повністю доведена.

Intuitionistic logic is related by duality to a paraconsistent logic known as Brazilian,
Інтуїтивна логіка пов'язана дуальністю з паранепротирічною логікою, відомою як бразильська,

However, Robert Constable has shown that a weaker notion of completeness still holds for intuitionistic logic under a Tarski-like model.
Однак Роберт Констебль показав, що більш слабке поняття повноти все ще міститься для інтуїтивної логіки під подібною моделлю Тарскі.

Therefore intuitionistic logic can instead be seen as a means of extending classical logic with constructivist semantics.
Тому інтуїтивна логіка замість цього може бути розглянута як засіб розширення класичної логіки з конструктивною семантикою.

A formula is valid in intuitionistic logic if and only if it receives the value of the top element for any valuation on any Heyting algebra.
Формула допустима в інтуїтивній логіці, коли вона отримує значення верхнього елемента для будь-якої оцінки в алгебрі Гейтінга.

Formalized intuitionistic logic was originally developed by Arend Heyting to provide a formal basis for Brouwer's programme of intuitionism.
Формалізована інтуїтивна логіка була спочатку розроблена Арендом Гейтінгом, щоб забезпечити формальну основу для програми інтуїтивізму Брауера.

Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics.
Гейтінг дав перший офіційний розвиток інтуїціоністській логіці для того, щоб кодифікувати спосіб Брауэра розв'язувати математику.

In 1932, Kurt Gödel defined a system of Gödel logics intermediate between classical and intuitionistic logic;
У 1932 Курт Гедель визначив систему логік Геделя, проміжну між класичною логікою та інтуїтивною логікою;

In 1932, Kurt Gödel defined a system of logics intermediate between classical and intuitionistic logic;
У 1932 Курт Гедель визначив систему логік Геделя, проміжну між класичною логікою та інтуїтивною логікою;

Because many classically valid tautologies are not theorems of intuitionistic logic, but all theorems of intuitionistic logic are valid classically,
Оскільки багато класичних дійсних тавтологій не є теоремами інтуїтивної логіки, але всі теореми інтуїтивної логіки дійсні класично,

A corresponding theorem is true for intuitionistic logic, but instead of assigning each formula a value from a Boolean algebra,
Відповідна теорема вірна для інтуїціоністської логіки, але замість призначення кожній формулі значення з алгебри логіки,

In contrast, propositional formulae in intuitionistic logic are not assigned any definite truth value at all
Навпаки, пропозиціональним формулам(предикатам) в інтуїтивній логіці взагалі не надається ніякого певного значення істинності:

In contrast, propositional formulae in intuitionistic logic are not assigned a definite truth value
Навпаки, пропозиціональним формулам(предикатам) в інтуїтивній логіці взагалі не надається ніякого певного значення істинності:

Intuitionistic logic', sometimes more generally called constructive logic,
Інтуїтивна логіка, у більшості випадків називають конструктивною логікою,

validity of formulae in pure intuitionistic logic is not tied to any individual Heyting algebra
законність формул в чистій інтуїтивній логіці не пов'язана ні з якої індивідуальною алгеброю Гейтінга, але стосується кожної частини

Intuitionistic logic, sometimes more generally called constructive logic,
Інтуїтивна логіка(інколи конструктивна логіка)- система символічної логіки,