컴퓨터공학/이산수학 썸네일형 리스트형 [이산수학] 증명 1. 증명 공리(Axiom) 별도의 증명 없이 항상 참으로 이용되는 명제 ex) 어떤 자연수 n에 대하여 n + 1 이 존재한다 정의(Definition) 용어 또는 기호의 의미를 확실하게 규정한 문장이나 식 ex) n! = n X (n - 1) X ... 3 X 2 X 1 정리(Theorem) 공리와 정의를 통해 참으로 확인된 명제 ex) 피타고라스의 정리 증명(Proof) 명제의 진릿값을 확인하는 과정 직접 증명법 - 조건 명제 p → q 를 증명하기 위해 p를 참이라 가정한 상태에서 q도 참임을 증명하는 방법 ex) 짝수와 홀수를 더하면 홀수가 됨을 증명 하시오 p: 숫자 m은 짝수이고 숫자 n은 홀수이다 q: m + n은 홀수이다 증명) 정의에 의하여 m은 2로 나누어 떨어지는 수고, n은 2로 .. 더보기 [이산수학] 집합과 논리 1. 집합 집합 - 여러 원소들(element)의 모임으로 중복된 원소를 가지지 않음. (중복 X, 순서 X) 집합의 표기법 (1) 원소나열법: 집합에 속하는 원소들을 일일이 나열하는 방법 ex) A = {1, 2, 3, 4, 5} (2) 조건제시법: 집합에 포함되는 원소들의 성질을 조건식으로 제시하는 방법 ex) A = {x | 0 < x ≤ 10, x는 자연수} 유한집합 / 무한집합 집합 A에 속하는 원소의 개수를 |A|로 표현하며, 원소가 유한개인 집합을 유한집합, 원소가 무한개인 집합을 무한집합이라고 한다. 집합의 종류 전체 집합 : 논의 대상이 되는 원소 전체를 포함하는 집합으로, 보통 알파벳 U로 표기한다. 공집합 : 원소를 하나도 가지지 않는 집합으로 ∅ 또는 {} 로 표기 집합의 포함관계 .. 더보기 이전 1 다음
