계단을 오르듯이

1. 명제 : 참 혹은 거짓을 판명할 수 있는 선언적인 문장 선언적인 문장 : ~은 ~이다. 주어와 술어로 구성 [1] 명제의 종류 1. 사실 명제 ⇒ 관찰, 측정, 실험 2. 논리 명제 ⇒ 수학, 형식 명제 3. 복합 명제 ⇒ 단순 명제의 조합으로 만들어지는 명제 [2] 한정사 명제 함수 p(x)의 정의역은 한정사를 사용하여 표현할 수 있다. 두가지 종류가 존재한다. 1. 전체 한정 (ALL) : ∀x p(x) x가 갖는 모든 값에 대해서 p(x)가 참인 명제를 p(x)의 전체 한정이라고 함 2. 존재 한정 (SOME) : ∃x p(x) x가 갖는 값 중에서 p(x)가 참이 되게 하는 x가 존재하는 명제를 p(x)의 존재 한정이라고 함 2. 추론과 귀납 참으로 알고 있는 명제로부터 새로운 참인 명제를 ..

1. 이산수학 개요 참과 거짓으로 살펴보는 컴퓨터 수학 이산수학이란? 불연속적인 숫자를 다루는 수학 이산수학에서 다루는 자료구조, 알고리즘 등의 베이스가 전체적인 컴퓨팅 사고력을 길러줄 것임. 추후에 배우는 수학적 귀납법 등의 다양한 기초 개념이 알고리즘에 반복적으로 출현하기 때문에 컴퓨터 과학의 베이스 학문 2. 명제와 연산자 명제 진실(T) 혹은 거짓(F)으로 진리를 명확히 구분할 수 있는 문장 연산자 면제를 연산하기 위한 도구 Not (￢) : 부정 연산 결과 ￢T F ￢F T And (^) : 논리곱 연산 결과 T ^ T T T ^ F or F ^ T F F ^ F F Or (∨) : 논리합 연산 결과 T ∨ T T T ∨ F or F ∨ T T F ∨ F F Exclusive or (⊕) : 배..