강의계획서

교과목 설명 - 코드, 교과명, 학과, 교수, 과정구분, 전화번호등의 내용
교과목코드 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주차