엔지니어가 되고 싶은 공돌이

4. 1. 증명(Proof)- 공리(Axiom): 별도의 증명 없이 항상 참(T)인 명제. - 정의(Definition): 용어 또는 기호의 의미를 확실하게 규정한 문장이나 식. - 정리(Theorem): 공리와 정의를 통해 참으로 확인된 명제. - 증명(Proof): 하나의 명제가 참임을 확인해가는 과정.  4. 2. 직접증명법(Direct Proof) - 직접증명법(Direct Proof): 명제를 변형하지 않고, 공리, 정의, 정리등을 이용하여 증명하는 방법. - 또는 조건명제 p → q가 참임을 증명하기 위해 전제 p를 참으로 가정했을 때 결론 q도 참임을 증명하는 방법. 4. 3. 간접증명법(Indirect Proof) - 대우증명법(Proof by Contraposition): 조건명제 p →..

3. 1. 명제(Proposition) - 명제(Proposition) : 객관적인 기준으로 참과 거짓을 구분할 수 있는 문장. - 진리 값(Truth Value): True, False 를 나타내는 값. - 진리표(Truth Table): 각 명제의 진리 값에 따른 논리연산의 결과를 보여주는 표. - 논리연산자(Logical Operation)   1) 부정(NOT, ~ p or ¬p) : p가 아니다.   2) 논리곱(AND, p ∧ q) : p와 q가 모두 T일 때,  p ∧ q 는 T.   3) 논리합(OR, p ∨ q) : p와 q중 어느 하나가 T일 때, p ∨ q 는 T.   4) 배타적 논리합(Exclusive OR, XOR, p ⊕ q) : p와 q중 어느 하나만 T일 때 참이 되고, 그..

2. 1. 컴퓨터에서 수의 표현(Representation of Numbers on a Computer) - 컴퓨터의 연산장치는 덧셈과 곱셈은 덧셈과 시프트 연산을 이용해서 계산한다.   뺄셈과 나눗셈은 보수의 덧셈과 시프트 연산을 이용해서 계산한다.  - 보수(Complement) : 어떤 수 x에 대하여 n의 보수는 x와의 합이 n이 되는 수를 말한다.    ex) 1에 대한 5의 보수 : 4 , 4에 대한 9의 보수 : 5.  - Base N 에는 N’s complement 와 N-1’s complement가 존재한다. - 그러므로 컴퓨터에서 사용하는 Base 2 에는 2’s complement와 1’s complement가 존재한다. - 1’s complement : 2진수에서 0은 1로, 1은 ..

1. 1. 수 체계(Number System) Natural Number(N) ⊂ Integer(Z) ⊂ Rational Number (Q) ⊂ Real Number(R) ⊂ Complex Number(C)                                                           Irrational Number (I) ⊂ - Natural Number : 0 보다 큰 양의 정수. - Integer : Natural Number, 0, 음의 정수를 포함. - Rational Number : Integer , 유한소수, 순환소수를 포함. - Irrational Number : 소수로 표현할 때 유한소수나 순환소수가 되지 않는 무한소수. - Real Number : Natural..