ІНТУЇТИВНОГО - переклад на Англійською

• intuitive

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

ще більш інтуїтивну і наочну навігацію.
more intuitive and visual navigation.

Вона була дуже інтуїтивною».
He was extremely intuitive.”.

У психології це називається інтуїтивною комунікацією.
In psychology this is called intuitive communication.

Емоційна презентація з блискучою графікою підкреслює зрозумілість інтуїтивної структури управління.
A presentation with brilliant graphics underlines the comprehensibility of the intuitive control structure.

Інтуїтивні(засновані на відчутті того, що вибір правильний).
Intuition: Being able to make decisions based on what feels right(gut feel).

Закон двозначності не міститься в інтуїтивній логіці, лише закон суперечності.
The law of bivalence does not hold in intuitionistic logic, only the law of non-contradiction.

Інтуїтивний користувацький інтерфейс.
Intuitional user interface.

Кілька семантик інтуїтивної логіки було вивчено.
Several semantics for intuitionistic logic have been studied.

Кілька семантик інтуїтивної логіки було вивчено.
Several systems of semantics for intuitionistic logic have been studied.

Синтаксис формул інтуїтивної логіки подібний логіці висловлювань
The syntax of formulæ of intuitionistic logic is similar to propositional logic

Інтуїтивна логіка може бути визначена, використовуючи наступне обчислення стилю Гільберта.
Intuitionistic logic can be defined using the following Hilbert-style calculus.

Те ж саме вірно і для інтуїтивної логіки.
The same is true for intuitionistic logic.

Так, але скоріше інтуїтивним, ніж усвідомленим.
And, more unconscious than conscious.

Його наміром був закарбувати більш природне та інтуїтивне звучання.
The intention was to capture a more natural and visceral sound.

Курт Гедель у 1932 показав, що інтуїтивна логіка не є багатозначною логікою.
But Gödel proved in 1932 that intuitionistic logic is not safer than classical logic.

Багато тавтологій класичної логіки більше не можуть доводитися в інтуїтивній логіці.
Many tautologies of classical logic can no longer be proven within intuitionistic logic.

Багато тавтологій класичної логіки більше не можуть доводитися в інтуїтивній логіці.
Many tautologies in classical logic are not theorems in intuitionistic logic.

Курт Гедель у 1932 показав, що інтуїтивна логіка не є багатозначною логікою.
Kurt Gödel in 1932 showed that intuitionistic logic is not a finitely-many valued logic.

Всі інструменти CMS зрозумілі на інтуїтивному рівні.
All of instruments of CMS are clear at intuitional level.

Оце і є інтуїтивний рівень.
So that's the visceral level.