| 1. | |
1장 논리와 합리성 | 1. 과목 소개 2. 이성적 질문과 논리 3. 강의 내용 |  |
| 2. | |
2장 단순명제 | 1. 구문(Syntax) 2. 의미(Semantics) 3. 1차 논리 언어 예제 | |
| 3. | |
3장 단순명제 논리 | 1. 논증의 타당성과 건전성 2. 증명 방법 3. 정형증명(formal proofs) | |
| 4. | |
4장 불(Boole) 연결자 | 1. 불(Boole) 연결자 2. 모호성과 괄호 사용 3. 논리적 동일성 | |
| 5. | |
5장 불(Boole) 연결자 논리 | 1. 항진명제(tautology)와 논리적 진리 2. 논리적 동일성과 항진적 동일성 3. 논리적 결과와 항진적 결과 | |
| 6. | |
6장 불(Boole) 논리 관련 증명 방식 | 1. 비정형증명에 사용되는 타당한 추론규칙 2. 경우별 증명 3. 간접증명: 모순유도증명 4. 전제가 모순인 논증 | |
| 7. | |
7장 정형증명과 불(Boole) 논리 1부 | 1. 자연 연역 체계 2. 논리곱 규칙 3. 논리합 규칙 | |
| 8. | |
8장 정형증명과 불(Boole) 논리 2부 | 1. 논리역 규칙 2. 보조증명 사용법 3. 증명 전략과 전술 4. 전제 없는 증명 | |
| 9. | |
9장 조건명제 | 1. 조건명제 기호 2. 상호조건 명제 기호 3. 비정형증명 4. 정형증명 규칙 | |
| 10. | |
10장 Fitch 시스템의 안전성과 완전성 | 1. 안전성 2. 완전성 3. 안전성과 완전성의 활용 | |
| 11. | |
11장 양화사 논리 | 1. 양화사 소개 2. 양화사 논리 3. 여러 개의 양화사 기호를 사용하는 논리식 | |
| 12. | |
12장 양화사를 위한 증명 방법 | 1. 비정형증명: 존재양화사 2. 비정형증명: 전칭양화사 3. 정형증명 | |
| 13. | |
13장 귀납법 | 1. 귀납법 소개 2. 자연수에 대한 귀납법 사례 3. 귀납법에 바탕을 둔 프로그래밍 사례 | |
대구광역시 동구 동내로 64(동내동 1119) 우)41061
COPYRIGHT keris. all rights reserved
페이스북
트위터
카카오톡
네이버밴드
링크복사
