강의계획서
| 교과목코드 | KMI02112 | 교과목명 | 컴퓨터논리의이해 |
|---|---|---|---|
| 강의학과 | 대학본부 | 교수 | 김준성 |
| 교수소속 | 철학과 | 이수학년 | 전학년 |
| 과목구분 | 이론 | 과정구분 | |
| 이메일 | jkim30@mju.ac.kr | 전화번호 | 02-300-0634 |
| 주차 | 주제 |
|---|---|
| 1주차 | 수업 소개 / 컴퓨터에 대해 왜 논리를 말하는가? |
| 2주차 | 명제논리(propositional logic) 언어의 구조와 문법 / 자연언어를 명제논리 언어로 번역하기 |
| 3주차 | 증명(추론)이란 무엇? 컴퓨터에서 왜? / 조건문(conditionals)에 대한 추론 규칙 |
| 4주차 | 부정(negation)에 대한 추론 규칙 / 연언(conjunction)에 대한 추론 규칙 |
| 5주차 | 선언(disjunction)에 대한 추론 규칙 |
| 6주차 | 귀류법(reductio ad absurdum) 추론 규칙 |
| 7주차 | 진리함수(truth-function)와 해석(의미): 알고리즘과 결정가능성, 일관성, 타당성, 건전성, 완전성 |
| 8주차 | Q and A, Review / 중간시험 |
| 9주차 | 나뭇가지 방법으로 논증의 타당성을 평가하기 1 |
| 10주차 | 나뭇가지 방법으로 논증의 타당성을 평가하기 2 |
| 11주차 | 인공지능(AI)의 알고리즘과 논리 |
| 12주차 | 전통적 인공지능(AI)의 개념적 문제: Frame Problem 등 |
| 13주차 | 머신러닝(Machine Learning) 인공지능의 개념적 문제: Over-fitting 등 |
| 14주차 | 머신러닝 인공지능의 윤리적 문제와 해결 방안으로서 알고리즘 |
| 15주차 | Q and A, Review / 기말시험 |
| 16주차 |