강의계획서
| 교과목코드 | HAI01310 | 교과목명 | 데이터와현대논리 |
|---|---|---|---|
| 강의학과 | 철학과 | 교수 | 김준성 |
| 교수소속 | 철학과 | 이수학년 | 3학년 |
| 과목구분 | 이론 | 과정구분 | |
| 이메일 | jkim30@mju.ac.kr | 전화번호 | 02-300-0634 |
| 주차 | 주제 |
|---|---|
| 1주차 | 수업 안내 / 명제논리의 형식화 |
| 2주차 | 조건문(conditionals)에 대한 규칙과 추론 |
| 3주차 | 연언문(AND)과 선언문(OR)에 대한 규칙과 추론 |
| 4주차 | 선언문(OR)에 대한 규칙과 추론 (OR-제거 규칙) |
| 5주차 | 귀류법(RAA)과 파생(derivative) 규칙을 활용한 추론 |
| 6주차 | 진리 트리(tree) 알고리즘 |
| 7주차 | 명제논리의 의미론(semantics)과 메타(meta) 논리: 건전성(soundness) 등 |
| 8주차 | Review / 중간시험 |
| 9주차 | 알고리즘과 컴퓨터의 논리 구조 |
| 10주차 | 양화논리(1차 술어논리)의 구문론(syntax) |
| 11주차 | 자연언어를 양화논리 언어로 번역하기 |
| 12주차 | 양화사에 관한 단순 추론 |
| 13주차 | 양화사에 관한 복합 추론 |
| 14주차 | 인공지능 알고리즘의 논리 구조 |
| 15주차 | Review / 기말시험 |
| 16주차 |