2012년 1학기 이산수학 기말시험 핵심체크

목차

제1장 논 리
제2장 정수 및 행렬
제3장 관계와 함수
제4장 계수법칙
제5장 점화식
제6장 그래프 이론
제7장 불 대수
제7장 불 대수
제8장 자동장치와 언어와 문법

본문내용

제1장 논 리

1. 논 리
(1) 명제
① 우리가 사용하는 문장 중 감탄문, 명령문, 의문문이 아닌, 어떤 사실을 전달하는 데 사용되는 문장을 평서문이라 하는데 논리에서는 참이나 거짓 둘 중의 하나로 확실하게 판정할 수 있는 평서문을 명제(proposition)라고 함
② 진리 값: 명제가 갖는 참 혹은 거짓의 값
③ 평서문 중에서 명제와 비슷하게 보이지만, 참의 값을 부여하면 거짓인 것으로 드러나고, 거짓의 값을 부여하면 참인 것으로 드러나는 문장을 패러독스(paradox)라고 한며, 패러독스는 진리 값을 부여 할 수 없으므로 명제가 아님

(2) 논리연결자와 복합명제
① 수학에서 숫자를 대신하는 변수 x, y, z등을 사용하였듯이, 논리에서는 명제를 대신하는 명제변수 P,Q,R등을 사용
② 앞의 단순한 명제들을 연결자(connective)로 묶어 새로운 복합명제를 만들 수 있으며, 논리 연결자를 논리연산자라고도 함
③ 복합명제의 진리 값은 구성명제의 진리 값과 연결자에 의하여 결정됨



- 중략 -

키워드

이산수학,   이산수학시험,   이산수학기말,   이산수학기말시험,   이산수학기말시험자료,   이산수학기말자료,   이산수학자료