강의계획서
교과목코드 | 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주차 |