이산수학(수정판)

[1장] 수학적 논리(Mathematical Logic)

1-1 명제(proposition)

1-2 논리 연산자(logical operator)

1-3 서술 논리(predicate calculus)

1-4 추론에 대한 이론(theory of inference)



[2장] 집합(Set)

2-1 집합 연산(set operation)

2-2 멱집합(power set)과 카테션 곱(cartesian product)

2-3 귀납법(induction)



[3장] 관계(Relation)

3-1 관계(relation)

3-2 이항 관계(binary relation)

3-3 이항 관계의 합성(composition)

3-4 분할(partition)과 커버링(covering)

3-5 동치 관계(equivalence relation)

3-6 순서 관계(ordering relation)



[4장] 함수(Function)

4-1 함수(function)

4-2 기수(cardinality)

4-3 개수 세기(counting)



[5장] 대수계(Algebraic System)

5-1 대수계의 정의와 예

5-2 간단한 대수계와 일반적 성질

5-3 여러 가지 대수계

5-4 준동형 사상(homomorphism)

5-5 합동 관계(congruence relation)



[6장] 격자(Lattice)

6-1 부분 순서 집합으로서의 격자

6-2 격자의 성질

6-3 대수계로서의 격자

6-4 부분 격자,ㅡ 직적 그리고 준동형 사상

6-5 여러 가지 격자



[7장] 부울 대수(Boolean Algebra)

7-1 부울 대수의 정의

7-2 Stone의 표현 정리(Stone's representation theorem)

7-3 부울 함수(Boolean function)



[8장]프로그램 평가(Program Evaluation)

8-1 프로그램 정확성(program correctness)

8-2 함수의 점근성(asymptotic behavior of functions)

8-3 프로그램 분석(program analysis)



[찾아보기]

박창현