2009년 1학기 이산수학 출석대체시험 핵심체크

목차

제 1 장　기초 논리 / 술어논리 / 추론 방법 / 증명 방법 / 집합 / 알고리즘 제 2 장　정수 및 행렬 정수 나눗셈과 소수 / 행렬 제 3 장　관계와 함수 관계 / 반순서와 동치관계 / 함수 - 각 장별 출제예상문제(해설포함)

본문내용

제1장 논 리 1. 논 리 (1) 명제 ① 우리가 사용하는 문장 중 감탄문, 명령문, 의문문이 아닌, 어떤 사실을 전달하는 데 사용되는 문장을 평서문이라 하는데 논리에서는 참이나 거짓 둘 중의 하나로 확실하게 판정할 수 있는 평서문을 명제(proposition)라고 함 ② 진리 값: 명제가 갖는 참 혹은 거짓의 값 ③ 평서문 중에서 명제와 비슷하게 보이지만, 참의 값을 부여하면 거짓인 것으로 드러나고, 거짓의 값을 부여하면 참인 것으로 드러나는 문장을 패러독스(paradox)라고 한며, 패러독스는 진리 값을 부여 할 수 없으므로 명제가 아님 (2) 논리연결자와 복합명제 ① 수학에서 숫자를 대신하는 변수 x, y, z등을 사용하였듯이, 논리에서는 명제를 대신하는 명제변수 P,Q,R등을 사용 - 중략 -