logician oor Koreaans
logician
en
A person who studies or teaches logic.
Vertalings in die woordeboek Engels - Koreaans
논리 학자
en
person who studies or teaches logic
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
There are plenty of logicians who would say,
본 히팅시스템은 외부에 노출된 연료필터의 필터 커트리지 외면에 손쉽게 탈착 및 부착이 가능하고, 나아가 디젤연료의 결빙을 효과적으로 방지할 수 있다.QED QED
What would theologians be without logicians to prove the existence of God -- which, of course, doesn't work.
본 발명은 파력 발전 장치에 관한 것으로서, 파도의 모든 운동에너지를 효율적으로 이용하여 발전효율을 최대한 증대시키는 것을 목적으로 한다.QED QED
logicians, statisticians, economists, architects, engineers, and many others to build and test their theories on.
콘크리트에어레이션제QED QED
The first logicians to debate conditional statements were Diodorus and his pupil Philo of Megara.
수리용 원자현미경 탐침이 포토 마스크의 결함 부분에 위치하도록 하고, 상기 수리용 원자현미경 탐침을 왕복 동작시키는 것에 의하여 상기 포토 마스크의 결함 부분을 제거하고, 상기 수리용 원자현미경 탐침에 의한 상기 포토 마스크의 수리 과정을 전자현미경으로 관찰하고, 그리고 상기 수리용 원자현미경 탐침과는 다른 관측용 원자현미경 탐침을 사용하여 수리 후의 상기 포토 마스크의 형상을 인-시츄(in-situ)로 확인한다.WikiMatrix WikiMatrix
Which proves that in the early Roman- Catholic church there weren't that many logicians around.
본 발명은 설페이트계 음이온성 계면활성제를 함유하지 않는 설페이트-프리 샴푸 조성물에 관한 것이다.QED QED
Logician Saul Kripke makes use of fixed points in his influential theory of truth.
바퀴달린 쇼핑백WikiMatrix WikiMatrix
So any logician will tell you,
이륜모터차량 또는 자전거용 핸들바QED QED
Created by logician Raymond Smullyan and popularized by his colleague George Boolos, this riddle has been called the hardest logic puzzle ever.
에어컨디셔너용 여과기ted2019 ted2019
Britain's Government Code and Cipher School (GC&CS), before its move to Bletchley Park, had realised the value of recruiting mathematicians and logicians to work in codebreaking teams.
피혁마무리용 오일WikiMatrix WikiMatrix
The American philosopher and logician Willard Quine said Russell's work represented the greatest influence on his own work.
공업용 제본장치 및 기계WikiMatrix WikiMatrix
Takeuti was president (2003–2009) of the Kurt Gödel Society, having worked on the book Memoirs of a Proof Theorist: Godel and Other Logicians.
육상차량용 전동축WikiMatrix WikiMatrix
Imagine an island where 100 people, all perfect logicians, are imprisoned by a mad dictator.
비알코올성 과일주스음료ted2019 ted2019
The peaceful meeting between Zermelo and Gödel at Bad Elster was not the start of a scientific friendship between two logicians.
유리기구제조기계ParaCrawl Corpus ParaCrawl Corpus
Peano may not only be classified as a 19th century mathematician and logician, but because of his originality and influence, must be judged one of the great scientists of that century.
운드 리트랙터ParaCrawl Corpus ParaCrawl Corpus
Hamilton was one of the first in a series of British logicians to create the algebra of logic and introduced the 'quantification of the predicate'.
소정의 제1 객체 위치 정보를 포함하는 부모 객체를 생성하는 부모 객체 생성부; 상기 부모 객체 상에 위치하며, 상기 제1 객체 위치 정보를 이용하여 산출된 제1 위치 결정 규칙에 상응하는 제2 객체 위치 정보를 포함하는 제1 자녀 객체를 생성하는 제1 자녀 객체 생성부; 및 상기 부모 객체 상에 위치하며, 상기 제2 객체 위치 정보를 이용하여 산출된 제2 위치 결정 규칙에 상응하는 제3 객체 위치 정보를 포함하는 제2 자녀 객체를 생성하는 제2 자녀 객체 생성부를 포함하는 프로그램 개발시 화면 객체의 상황인지 위치 결정 장치는 프로그램 개발시 부모 객체 상에 놓이는 자녀 객체의 위치를 부모 객체의 정보를 고려한 상황을 인지하여 결정할 수 있다.ParaCrawl Corpus ParaCrawl Corpus
Only one of his books deals with applied mathematics but it may surprise mathematicians who think of Robinson only as a mathematical logician to realise that almost half his papers are on applied mathematics, particularly on aerodynamics.
재봉틀용 페달식 구동장치ParaCrawl Corpus ParaCrawl Corpus
INTP Personality ("The Logician") Learn from yesterday, live for today, hope for tomorrow.
비선형 광섬유ParaCrawl Corpus ParaCrawl Corpus
As the 1940s began, Curry had reached the position of being one of the leading mathematical logicians in the world.
복수의 접촉 입력을 감지하는 방법 및 장치ParaCrawl Corpus ParaCrawl Corpus
As a mathematical logician, he was interested in increasing understanding by treating it as a game.
냉장고 임대업ParaCrawl Corpus ParaCrawl Corpus
He can be considered a mathematical logician with exceptionally broad mathematical interests.
효소식이보충제ParaCrawl Corpus ParaCrawl Corpus
In addition to his mathematical work, Bolzano was important as a philosopher and as a logician.
이런 젠장. 생각 그는 아직 거기 있나?ParaCrawl Corpus ParaCrawl Corpus
It is interesting to note that he was the first mathematical logician to hold a chair at a British University and he exercised an important influence on the development of this topic in the UK :
원추형 종이백ParaCrawl Corpus ParaCrawl Corpus
Another major treatise which has presented intuitionism to both mathematicians and logicians was Intuitionism: an Introduction (1956, second edition 1966).
비금속제 등록판ParaCrawl Corpus ParaCrawl Corpus
Karp was a mathematical logician but, as noted in , her work was closely related to algebra:
최루가스화기ParaCrawl Corpus ParaCrawl Corpus
Tarski is recognised as one of the four greatest logicians of all time, the other three being Aristotle , Frege , and Gödel .
의료용 콰시아ParaCrawl Corpus ParaCrawl Corpus
28 sinne gevind in 7 ms. Hulle kom uit baie bronne en word nie nagegaan nie.