직관 논리 oor Engels

직관 논리

Vertalings in die woordeboek Koreaans - Engels

intuitionistic logic

naamwoord

logic

voorbeelde

순수한 논리로부터 직관으로 이어지는 것입니다.
From pure logic to intuition.

그런데 직관 뿐 아니라 제 논리와도 맞지 않았어요
But it didn't sit well with my logical side either.

복권 참가자들은 기술이 아니라 행운에, 논리가 아니라 직관에 의지한다.
Lottery players count on luck and not skill, on intuition and not logic.

양쪽이 상호 배타적이거나 그런 게 아니라 논리적이면서도 직관적일 수도 있는 것입니다
This would be someone who's entirely intuitive.

왼쪽 뇌는 논리를 담당하구요 그리고 오른쪽 뇌는 직관을 담당하죠
There's the left half, which is the logical side, and then the right half, which is the intuitive.

“문장, 항, 페이지 등이 서서히, 연속적으로, 직관적인 것과는 거리가 먼 논리에 따라 펼쳐진다”고 커뮤니케이션 전문가인 닐 포스트먼은 기술합니다.
“Sentences, paragraphs, and pages unfold slowly, in sequence, and according to a logic that is far from intuitive,” writes communications expert Neil Postman.

예를 들면 이건 완전 논리적인 사람의 뇌일테구요 이건 완전히 직관적인 사람일 겁니다
There's the left half, which is the logical side, and then the right half, which is the intuitive.

이러한 큰 숫자의 강력한 법 자신의 버전과 반복 로그의 율법을 포함, 분화와 통합의 작업의 일부 generalisations, 그리고 직관적인 논리에 기여했다. 그의 논문은 ... 이 분야의 전문가에 의해 마지막으로 주제에 대한 경외와 간주됩니다.
These included his versions of the strong law of large numbers and the law of the iterated logarithm, some generalisations of the operations of differentiation and integration, and a contribution to intuitional logic . His papers ... on this last topic are regarded with awe by specialists in the field.

초기의 기독교도는, 특히 교부 시대에는 직관적·신비적으로, 이성이나 논리적 논의에 근거하지 않고 생각하는 경향이 있었다.
Early Christian thought, in particular in the patristic period, tends to be intuitional and mystical, and is less reliant on reason and logical argument.

Combinatory 논리는 일반적으로 직관적이고 unanalysed 방법으로 사용되는 수학의 기초의 특정 기본 개념과 걱정입니다.
Combinatory logic is concerned with certain basic notions of the foundations of mathematics which are usually used in an intuitive and unanalysed way.

Heyting 떨어져 큰 문제부터, 수학의 연구에서, 직관적인, 공식적인 논리적 개념을 파악하는 노력에 집중하고 이동.
Heyting moved away from these big problems, concentrating on trying to identify formal, intuitive, and logical concepts in the study of mathematics.

MACH2의 캡 네비게이터 패드는 2 및 다중 언어 컬러 디스플레이 3 논리적으로 구조화되어 직관적으로 사용자가 사용할 수 있습니다.
The multi-language color display 2 and the cab navigator pad 3 of MACH2 are logically structured and intuitively operable for the user.

보다 직관적이고 이해하기 쉽기 때문에 심사위원과 내 고객에게 3D로 아이디어를 보여주는 것은 논리적입니다."
It just seems like a logical progression to show the reviewing committee and my clients my idea in 3D since it's more intuitive and it's easier to understand."