목차 일부
1장 수학적 논리(Mathematical Logic) ... 9
1-1 명제 ... 9
1-2 연결사 ... 10
1-2-1 부정 ... 11
1-2-2 논리곱 ... 11
1-2-3 논리합과 베타적 논리합 ... 12
1-2-4 조건문과 쌍조건문 ... 12
1-2-5 진리표 ... 14
1-2-6 체계화된 공식 ... 14
...
더보기
목차 전체
1장 수학적 논리(Mathematical Logic) ... 9
1-1 명제 ... 9
1-2 연결사 ... 10
1-2-1 부정 ... 11
1-2-2 논리곱 ... 11
1-2-3 논리합과 베타적 논리합 ... 12
1-2-4 조건문과 쌍조건문 ... 12
1-2-5 진리표 ... 14
1-2-6 체계화된 공식 ... 14
1-2-7 항진 명제와 모순 명제 ... 15
1-2-8 동치 명제 ... 18
1-2-9 쌍대 법칙 ... 20
1-2-10 항진적 함축 ... 22
1-3 술어 논리 ... 24
1-4 추론에 대한 이론 ... 35
1-4-1 진리표를 이용한 타당성 ... 35
1-4-2 추론 규칙 ... 36
1-4-3 가정의 일치와 간접 증명법 ... 39
1-4-4 한전사를 포함한 논리식의 추론 규칙 ... 40
1-4-5 증명 기법 ... 42
연습 문제 ... 51
2장 집합(Sets) ... 57
2-1 서론 ... 57
2-2 집합 연산 ... 57
2-3 멱집합과 카테션 곱 ... 69
2-4 귀납법 ... 73
연습 문제 ... 78
3장 관계(Relation) ... 81
3-1 서론 ... 81
3-2 이항 관계 ... 83
3-3 분할과 커버링 ... 91
3-4 동치 관계 ... 93
3-5 이항 관계의 합성 ... 99
연습 문제 ... 103
4장 순서 관계(Ordering Relation) ... 107
4-1 부분 순서 ... 107
4-2 함수 ... 114
4-3 기수 ... 120
연습 문제 ... 125
5장 대수계(Algebraic System) ... 127
5-1 대수계의 정의와 예 ... 127
5-2 간단한 대수계와 일반적 성질 ... 130
5-3 여러 가지 대수계 ... 132
5-3-1 반군 ... 132
5-3-2 단위 반군 ... 134
5-3-3 군 ... 135
5-3-4 부울 대수 ... 137
5-4 준동형 사상 ... 138
5-5 합동 관계 ... 144
연습 문제 ... 153
6장 격자(Lattice) ... 159
6-1 서론 ... 159
6-2 부분 순서 집합으로서의 격자 ... 159
6-3 격자의 성질 ... 162
6-4 대수계로서의 격자 ... 165
6-5 부분 격자, 직적 그리고 준동형 사상 ... 167
6-6 여러 가지 격자 ... 172
연습 문제 ... 178
7장 부울 대수(Boolean Algebra) ... 181
7-1 부울 대수의 정의 ... 181
7-2 Stone의 표현 정리 ... 190
7-3 부울 함수 ... 194
7-3-1 자유 부울 대수 ... 194
7-3-2 부울식의 값과 함수 ... 197
연습 문제 ... 200
찾아보기 ... 203
더보기 닫기