목차 일부
Ⅰ. 명제논리
1. 명제와 논리 연산 ... 15
2. 정형식과 표현 ... 31
3. 항진명제와 명제 대수 ... 41
4. 타다한 논증 ... 53
5. 분해증명법 ... 65
Ⅱ. 정수, 자연수 체계, 수학적 귀납법
6. 자연수 체계, 수학적 귀납법 ... 73
Ⅲ. 술어와 논리연산
7. 술어 ... 87
8....
더보기
목차 전체
Ⅰ. 명제논리
1. 명제와 논리 연산 ... 15
2. 정형식과 표현 ... 31
3. 항진명제와 명제 대수 ... 41
4. 타다한 논증 ... 53
5. 분해증명법 ... 65
Ⅱ. 정수, 자연수 체계, 수학적 귀납법
6. 자연수 체계, 수학적 귀납법 ... 73
Ⅲ. 술어와 논리연산
7. 술어 ... 87
8. 한정양화, 구문구조 및 표현 ... 96
9. 타당한 정형식 ... 117
Ⅳ. 수학적 증명
10. 수학적 증명 ... 135
Ⅴ. 정수론
11. 약수와 소수 ... 147
12. Mod n 산수체계와 정수론 응용 ... 160
Ⅵ. 알고리즘
13. 알고리즘 ... 173
14. 알고리즘 작성 : 설계와 코딩 ... 181
Ⅶ. 순환
15. 순환 원리와 예 ... 199
16. 순환 원리에 의한 정의 방법 ... 206
17. 순환 현상과 모델링 ... 213
18. 순환 알고리즘 ... 222
Ⅷ. 관계
19. 관계 : 정의와 성질 ... 233
20. 관계 표현, 0/1 행렬 ... 241
21. 동치관계, 순서관계 ... 252
22. 관계의 닫힘 연산과 접속 관계 ... 267
23. 관계 데이터베이스 응용 ... 278
24. 셈의 원리 ... 290
25. 비둘기집 원리 ... 299
Ⅸ. 조합론
26. 순열 ... 313
27. 조합 ... 324
28. 이항정리, 순열조합 생성 알고리즘 ... 335
29. 포함-비포함 원리, 교란 ... 349
Ⅹ. 순환 관계
30. 순환의 개요와 정의 ... 367
31. 선형 동차 순환 관계의 해 ... 377
XI. 생성함수
32. 생성함수 ... 391
33. 생성함수 연산 ... 403
34. 생성함수의 특별한 주제들 ... 411
XII. 부울대수와 논리회로
35. 부울대수 ... 429
36. 부울함수 ... 444
37. 논리회로 ... 458
더보기 닫기