1. What impressive logic!

정말 명쾌한 논리가 아닙니까!

2. (See also Logic; Persuasion; Thinking)

(또한 참조 논리[학]; 사고 [생각]; 설득[력])

3. Philosophical logic also addresses extensions and alternatives to traditional, "classical" logic known as "non-classical" logics.

또한 철학적 논리학은 전통적인 "고전" 논리학의 확장과 대안으로서 "비-고전적" 논리학을 다룬다.

4. If you say logic, you say theology.

논리를 말하는 경우는 신학을 말합니다.

5. What happens is that circular logic takes over.

실제론 순환 논리에 불과합니다.

6. The actual mathematical operation for each instruction is performed by a combinational logic circuit within the CPU's processor known as the arithmetic logic unit or ALU.

모든 명령어의 실제 수학적인 연산은 CPU 내부의 산술논리장치(ALU, arithmetic logic unit)이라는 조합논리회로에서 담당한다.

7. In Łukasiewicz's 1951 book, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, he mentions that the principle of his notation was to write the functors before the arguments to avoid brackets and that he had employed his notation in his logical papers since 1929.

1951년에 쓰여진 루카쉐비치의 책 Aristotle's Syllogistic from the Standpoint of Modern Formal Logic에서, 그는 그의 표기법의 원칙은 괄호를 피하기 위해 인자 앞에 함수적 술어를 쓰는 것이었으며, 1929년부터 그의 논리학 논문에서 그의 표기법을 사용해 왔다고 언급한다.

8. By this logic, the present economic system would have an abysmally low rating.

이러한 논리를 적용한다면, 현 경제 제도는 형편없이 낮은 평가를 받아야 할 것이다.

9. This conclusion is clearly absurd, but where is the flaw in the logic?

이런 결론은 정말 말도 안되는 것이지만 이 논리에 어떤 결함이 있는걸까요?

10. I loved the logic and the powerful Bible reasoning used by the publications.

그러한 출판물에 사용된 논리적이고도 설득력 있는 성서적 추리에 매료되었다.

11. (See also Curiosity; Imagination; Logic; Meditation; Mind; Open-Mindedness; Reasoning; Thinking Ability; Thoughts)

(또한 참조 개방적 생각; 논리[학]; 묵상; 사고력; 상상력; 생각; 정신[생각]; 추리; 호기심)

12. Her formal field service is an extension of her informal witnessing.

그의 공식 야외 봉사는 비공식 증거의 연장이다.

13. Here, we have all the binary arithmetic and logic that drove the computer revolution.

이진 산술법과 논리구조 입니다. 그리고 Leibniz는 처음으로 이런 기계의 제작에 대해서 실제로 얘기했던 사람인데요,

14. A sacred, formal act performed by the authority of the priesthood.

신권의 권세에 의해 집행되는 성스러운, 공식적 행위이다.

15. Frege's objective was the program of Logicism, i.e. demonstrating that arithmetic is identical with logic.

프레게의 목적은 논리주의의 계획, 즉 산술은 논리와 완전히 동일하다고 나타내 보이는 것에 있었다.

16. Susan Strange uses this logic to argue that the United States is still a hegemon.

수잔 스트레인지는 미국이 아직도 패권국이라고 논하고 있기 때문에 이 이론을 쓰고 있다.

17. Calculated fields let you use functions and conditional logic to manipulate and transform your data.

계산된 필드를 사용하면 함수와 조건부 논리를 이용해 데이터를 조작하고 변형할 수 있습니다.

18. Method for detecting metal ions using unnatural activity of nucleic acid polymerase, and logic gate using same

비정상적인 핵산 중합 효소의 활성을 이용한 금속이온의 검출방법 및 이를 이용한 논리게이트

19. NOR Gates are basic logic gates, and as such they are recognised in TTL and CMOS ICs.

NOR 게이트는 기본적인 논리 게이트이므로 이들은 TTL과 CMOS IC에서 인식된다.

20. The programmable logic unit is programmed to latch a digital input signal of 8 bits on the basis of the logic level of a 4-bit select signal and then generate first to fourth program signals, each having 8 bits.

프로그래머블 로직부는 4비트인 선택 신호의 논리 레벨을 기초로 8비트의 디지털 입력 신호를 래치하여 각각 8비트인 제1 내지 제4 프로그램 신호들을 생성하도록 프로그램된다.

21. In addition, every member of the Church is given specific formal opportunities to serve.

또한, 교회의 모든 회원에게는 구체적인 봉사 기회가 공식적으로 주어집니다.

22. Other approaches provide formal semantics of programming languages including axiomatic semantics and operational semantics.

다른 접근법은 공리적인 의미론(Axiomatic semantics)과 연산 의미론(Operational semantics)을 포함하는 프로그래밍 언어의 형식적 의미를 제공한다.

23. Thus, sociologists now talk about a “progressive wiping out” or “general erosion” of formal creeds.

그래서 사회학자들은 이제, 공식 교리의 “점진적인 제거” 또는 “전반적인 침식”에 관해 이야기들을 합니다.

24. The problem is that digital technology has completely subverted the logic of this physically fixed, expression versus idea concept.

문제는, 디지털 기술들이 이 물리적으로 고정된 표현의 논리를 컨셉과 대립하여 완전히 입장을 전복시켰어요.

25. For example, the Miskito language has no formal words of address, such as “Mister” or “Miss.”

예를 들어, 미스키토어에는 “~씨”와 같은 격식을 갖춘 칭호가 없습니다.

26. In the Church, an ordinance is a sacred, formal act performed by the authority of the priesthood.

교회에서, 의식은 신권의 권세로 집행되는 성스럽고 공식적인 행위이다.

27. It is informal in the sense that there is no podium and there are no formal addresses.

그것은 의제가 없다는 것과 공식적인 연설들이 없다는 면에서 비공식적이다.

28. There are laws that regulate working conditions but they are not well enforced even in the formal sector.

지방공무원법에도 직위분류제에 대한 규정은 존재하지만 하위 법령도 제정되어 있지 않는 등 사실상 실제로 적용되지는 않는다.

29. (1 Timothy 2:9) Today, most countries have certain dress codes that are considered acceptable in formal society.

(디모데 전 2:9) 오늘날 많은 나라에서는 공식 석상에서 통용되는 특정한 옷입는 규칙이 있읍니다.

30. This sudden depreciation in 2001 led to a formal investigation, which in turn led to a dramatic recovery.

2001년의 급격한 가치 절하로 인해 공식적인 조사가 시작되었으며, 이로써 경기가 극적으로 회복되었다.

31. In most FPGAs, logic blocks also include memory elements, which may be simple flip-flops or more complete blocks of memory.

대부분의 FPGA는 프로그래밍 가능 논리 요소 (FPGA 식으로는 논리 블록이라고도 함)에 간단한 플립플롭이나 더 완벽한 메모리 블록으로 된 메모리 요소를 포함하고 있다.

32. Warren McCulloch and Walter Pitts (1943) created a computational model for neural networks based on mathematics and algorithms called threshold logic.

워런 맥컬록(Warren McCulloch)와 월터 피츠(Walter Pitts)는 (1943) 수학과 임계 논리(threshold logic)라 불리는 알고리즘을 바탕으로 신경망을 위한 계산학 모델을 만들었다.

33. Accreditation is the formal certification that a model or simulation is acceptable to be used for a specific purpose.

인증은 모델 또는 시뮬레이션이 특정 목적에 사용될 수 있는가에 관한 공식적인 검증이다.

34. My husband told me that if I did not return home, he would make a formal charge of abandonment.

남편은 내가 집으로 돌아오지 않는다면 가정을 저버린 것에 대해 정식으로 고소하겠다고 말했읍니다.

35. Afterward, their family sent a formal proposal of marriage to our family, and I was talked into accepting it.

그 후 그 남자의 가족은 우리 가족에게 정식으로 청혼을 해 왔으며, 나는 설득을 받아 그와 결혼하는 데 동의하였습니다.

36. Candidates had to demonstrate that they had accepted at least the fundamental beliefs by reciting some formal summary of them.

침례 지원자들은 그 신경들 중 요약된 얼마의 공식문을 암송함으로써 적어도 기초적인 신앙 만큼은 받아들였다는 것을 나타내야 했다.

37. Google maintains formal processes to grant, change or terminate user access in the Ad Manager environment under the control of Google.

Google은 Google 관리하에 Ad Manager 환경에 대한 사용자 액세스 권한을 부여, 변경 또는 종료하는 공식적인 프로세스를 유지 관리하고 있습니다.

38. The present invention relates to a method for detecting metal ions using unnatural activity of nucleic acid polymerase and a logic gate using same.

본 발명은 비정상적인 핵산 중합 효소의 활성을 이용한 금속이온의 검출방법 및 논리게이트에 관한 것으로, 보다 구체적으로, 티민-티민 염기쌍과 수은 이온의 특이적인 결합 또는 시토신-시토신 염기쌍과 은 이온의 특이적인 결합을 통해 형성되는 비상보적인 티민-수은-티민 또는 시토신-은-시토신 염기쌍에 의해 유도되는 비정상적인 핵산 중합 효소의 활성을 이용한 수은 또는 은의 검출방법 및 이를 이용한 논리게이트에 관한 것이다.

39. And the logic there, just to review from the atomic table trends, is that both of their valence electrons are in the third shell.

그리고 논리가 있는데, 우리가 공부하는 원자에 대해 생각해보면 두 원소의 원자가전자들은 3번째 껍질에 위치한다는 걸

40. The 7408 IC is a well known QUAD 2-Input AND GATES and contains four independent gates each of which performs the logic AND function.

7408 IC는 저명한 QUAD 2-Input AND GATES이며 4개의 독립 게이트를 포함하고 있고 논리 AND를 수행한다.

41. The 9672 implementations of System/390 were the first high-end IBM mainframe architecture implemented first with CMOS CPU electronics rather than the traditional bipolar logic.

시스템/390의 9672 구현체는 전통적인 양극 논리가 아닌, CMOS CPU 전자 장치들과 함께 구현된 최초의 하이엔드 IBM 메인프레임 아키텍처였다.

42. The hydraulic system for construction equipment according to the present invention includes logic valves respectively provided to first and second hydraulic lines provided to the actuator.

본 발명에 따른 건설기계의 유압시스템은, 액추에이터에 제공되는 제1, 2 유압라인에 각각 로직 밸브가 구비되고, 로직 밸브의 잠금에 의해 액추에이터의 작동을 멈춘 상태에서 상기 액추에이터를 작동시키고자 할 때에, 부하가 액추에이터에 작용되더라도 펌프/모터와 로직 밸브 구간에 압력을 미리 상승시킴으로써 압력차이를 해소할 수 있고, 이로써 액추에이터는 부하에 영향을 받지 않고 소망하는 작동을 구현할 수 있다.

43. If you did that, on some level, I think, you were absolutely right, even though you were utterly misconstruing the logic of the [ laughs ] argument.

우리가 메모를 끝낸, 우리가 기억하기를 끝낸, 그리고 우리랑 함께 꼭 붙어있는 그거요.

44. OR gate NOT gate NAND gate NOR gate XOR gate XNOR gate IMPLY gate Boolean algebra Logic gate Mano, M. Morris and Charles R. Kime.

OR 게이트 NOT 게이트 NAND 게이트 NOR 게이트 XOR 게이트 XNOR 게이트 IMPLY 게이트 논리 게이트 Mano, M. Morris and Charles R. Kime.

45. This wrapper library can be designed to call any of the functionality from the original library, or replace it with an entirely new set of logic.

이 래퍼 라이브러리는 원래 라이브러리의 기능 중 하나를 호출하거나, 논리의 완전히 새로운 설정으로 대체되도록 설계할 수 있다.

46. Now, these three categories -- classification, using logic on abstractions, taking the hypothetical seriously -- how much difference do they make in the real world beyond the testing room?

이 세가지 영역 -- 분류, 추상적인 개념에 논리를 사용하는 것, 가설을 진지하게 생각하는 것 -- 이들이 실험실 바깥의 실제 세계에서는 어떤 차이를 만들까요?

47. But the logic here is not so different from what you'd use to solve equations with multiple variables, even those describing the nature of the universe.

그렇지만 여기 있는 논리는 여러분이 여러 변수를 가지고 등식을 푸는 것과 별반 다르지 않습니다. 심지어 우주의 자연을 묘사하는 것도 말이죠.

48. Even the most powerful computer programs designed on solid principles of logic will come up with some very strange conclusions if they are fed inaccurate data.

확실한 논리에 근거하여 설계된 최고의 성능을 지닌 컴퓨터라도 부정확한 데이터를 입력하면 매우 엉뚱한 결과물이 나오기 마련입니다.

49. Though you may use a formal question-and-answer method, can you contribute to pleasurable interchanges by adapting study sessions, especially for younger children?

형식을 갖춘 문답식 방법을 사용할 수 있지만, 여러분은 연구 시간을 특히 더 어린 자녀들에게 맞게 적응시킴으로써 즐거움을 주는 의사 교환이 되게 할 수 있습니까?

50. Alex Wilkie also proved that there exist transcendental functions for which first-order-logic proofs about their transcendence do not exist by providing an exemplary analytic function.

Alex Wilkie는 전형적인 해석함수를 제공함으로써 초월에 대한 1차 논리 증명이 존재하지 않는 초월 함수가 있음을 증명했다.

51. A device for generating a 4-channel pulse width modulation signal includes a programmable logic unit, a binary counter unit, a 4-channel binary comparison unit, and an output buffer unit.

4채널 펄스 폭 변조 신호 생성 장치는 프로그래머블 로직부, 이진 카운터부, 4채널 이진 비교부 및 출력 버퍼부를 포함한다.

52. Giving a more detailed explanation, scholar Geoffrey Parrinder states in his book Religion in Africa: “[African wooden masks] are religious, whether they are naturalistic, formal or abstract.

학자 제프리 패린더는 저서 「아프리카의 종교」(Religion in Africa)에서 좀더 자세히 설명하면서 이렇게 말한다. “[아프리카의 목제 가면]은 사실적이든 전통적이든 추상적이든, 종교적인 의미를 지니고 있다.

53. As a result, research into this class of formal systems began to address both logical and computational aspects; this area of research came to be known as modern type theory.

결과적으로, 이 형식적 체계의 클래스가 논리학적인 면과 계산기적인 면과의 양쪽 모두를 설명하게 되었다; 이 연구 영역은 현대형 이론으로서 알려지게 되었다.

54. This recently published volume observes that a computer’s speed in calculations and step-by-step logic is far surpassed by the brain’s ability in “parallel processing, integrating and synthesizing information, and abstracting it from generalities.”

이 최근에 발간된 책은 “정보를 비교 분석하고 통합 완성하고 또 개론에서 그것을 추출해 내는”데 있어서 두뇌의 능력이 ‘컴퓨터’의 계산과 단계적 논리 속도를 훨씬 능가한다고 평한다. 그리고 ‘컴퓨우터’는 순간적으로 얼굴이나 한 대상을 알아보는 두뇌의 능력에는 아예 근접하지도 못한다.

55. Creating a club for the ball players called for a formal set of rules for each member to adhere to, foremost among them to "have the reputation of a gentleman".

선수들을 위해 클럽을 새로 만드는 일은, 무엇보다 먼저 선수들 사이에 "신사의 평판을 갖도록 하기" 위해, 각 구성원이 충실히 지켜야 할, 일련의 공식적인 규칙을 요구하게 되었다.

56. There are only three other onboard chips: a 3.5 MHz Z80A 8-bit microprocessor from NEC, an uncommitted logic array (ULA) chip from Ferranti, and an 8 KB ROM providing a simple BASIC interpreter.

NEC의 3.5MHz Z80A 8 비트 마이크로 프로세서, Ferranti의 ULA (Uncommitted Logic Array) 칩 및 간단한 BASIC 인터프리터를 제공하는 8KB ROM은 3 가지 온보드 칩만 있다.

57. Researchers tell us there is a mechanism in our brain called the pleasure center.2 When activated by certain drugs or behaviors, it overpowers the part of our brain that governs our willpower, judgment, logic, and morality.

연구자들은 뇌 안에 있는 쾌감중추에서 한 가지 기제가 일어난다고 말합니다.2 쾌감중추가 특정한 약물이나 행위로 활성화되면 이 중추는 의지력, 판단력, 논리력, 도덕성을 관장하는 뇌를 지배합니다.

58. In theory, the emperor's political power was absolute, but even during the Han dynasty, he shared executive powers with civilian officials and normally based his decisions on the advice and formal consensus of his ministers.

이론상 황제의 정치적 권한은 절대적이었으나, 한나라 시대부터 황제는 조정의 대소신료들과 같이 권력을 나눴고, 중요한 일이 있을 때에는 재상들과의 조언과 그들 사이에서 만들어진 총의에 따라 실행하였다.

59. He directed the team that invented and implemented FORTRAN, the first widely used high-level programming language, and was the inventor of the Backus–Naur form (BNF), a widely used notation to define formal language syntax.

그는 최초로 널리 사용된 고급 프로그래밍 언어 (포트란)를 발명한 팀을 이끌었고 형식 언어 문법을 정의하는 배커스-나우르 표기법을 발명했다.

60. The 1964 Congress in Vienna provided that any member of the United Nations could accede to the Union simply by formal declaration to the Swiss government, and without need of the two-thirds vote of approval.

그러나 ‘비인’에서 열린 1964년도 총회에서 규정한 바에 의하여, 국제 연합 회원국은 3분의 2 이상의 가투표 없이 단지 ‘스위스’ 정부에 형식적인 신고를 하므로써 연합에 가입할 수 있게 되었다.

61. If so, it may not be necessary to conduct a formal study with him in any other publication, though the conductor should continue to take an active interest in his progress. —See the January 15, 1996, Watchtower, pages 14, 17.

하지만 사회자는 그의 진보에 계속 적극적인 관심을 가져야 합니다.—참조 「파수대」 1996년 1월 15일호 14, 17면.

62. The "Shorter" or "Encyclopaedia" Logic, as it is often known, lays out a series of transitions which leads from the most empty and abstract of categories—Hegel begins with "Pure Being" and "Pure Nothing"—to the "Absolute, the category which contains and resolves all the categories which preceded it.

'소론 이학'이라고도 불리는 '엔치크로페디' 안의 '논리학'은 잘 알려져 있듯이, 범주 안의 가장 공허하고 추상적인 물건으로부터 태어나는 일련의 변화를 전개하고 있다: 헤겔은 '순수 존재'와 '순수무', 즉 자신에 앞서는 모든 범주를 포함·해명하는 범주로부터 시작한다 (그리고 절대에 도달한다).

63. A control logic controls the plurality of X-decoders so as to simultaneously detect a first page data, to which a start address inside the first group of pages belongs, and a second page data which is connected to the first page inside the second group of pages.

제어 로직은 상기 제 1 군의 페이지들 내의 시작 어드레스가 속한 제 1 페이지의 데이터, 및 상기 제 2 군의 페이지들 내의 상기 제 1 페이지에 이어지는 제 2 페이지의 데이터를 동시에 감지하도록 상기 복수의 X-디코더들을 제어한다.

64. One embodiment of the present specification relates to a method for controlling an oil hydraulic pump for an excavator with respect to a change in an operation mode, and comprises: an operation unit generating an operation signal according to an operation of an operator and including a joystick or a pedal; an oil flow supply unit supplying an oil flow to a plurality of actuators to drive the plurality of actuators corresponding to the operation signal and including a plurality of pumps and a plurality of logic valves; and a control unit for controlling the oil flow supply unit by using a priority algorithm of each operation considering the frequency of use and load of the actuators with respect to the predetermined change of operation mode according to the operation signal.

본 명세서의 일 실시예는 동작 모드 변경에 대한 굴삭기의 유압펌프 제어방법에 관한 것으로, 작업자의 조작에 따라 동작신호를 발생시키며 조이스틱 또는 패달을 포함하는 조작부와, 상기 동작신호에 대응하는 복수의 액추에이터를 구동시키기 위해 상기 액추에이터에 유량을 공급하고, 복수의 펌프와 복수의 로직밸브를 포함하는 유량 공급부 및 상기 동작신호에 따라 정해진 동작 모드의 변경에 대하여 액추에이터의 사용 빈도와 부하를 고려한 동작별 우선순위 알고리즘을 이용하여 상기 유량 공급부를 제어하는 제어부를 포함하는 것을 특징으로 한다.