학습 목표 1) 컴퓨터과학의 기초가 되는 수학적 표현법과 올바른 논증법을 이해하고 활용 할 수 있다. 2) 집합, 함수, 관계, 확률, 그래프, 트리, 알고리즘, 오토마타 등 컴퓨터과학에 필요 한 이산 구조를 이해하고 활용할 수 있다. 목차 세부 목차 1 명제 1. 강좌 소개 2. 명제와 명제식(명제, 논증, 논리식) 3. 명제와 명제식(논리적 동치) 2 한정화 명제 1. 조건명제 2. 올바른 논증 (정당성 검사) 3. 올바른 논증 (추론규칙, 오류) 3 증명 1. 한정화 명제 2. 직접증명 3. 간접증명 4 함수와 관계 1. 수학적 귀납법 2. 집합론 (집합의 표기, 상등) 3. 집합론 (분할,순서쌍,데카르트곱) 5 계수와 이산 확률 1. 관계 2. 함수 3. 단사/전사/역함수 6 그래프와 트리 1. 그래프 (Ch.10.1-2) 2. 트리 (Ch.10.5-6) 7 알고리즘, 오토마타 1. 알고리즘 표기법과 Psudocode (Ch.4.8) 2. 알고리즘 효율성 (Ch.11.2) 3. 유한 오토마타 (Ch.12.3) 8 종합 평가 책임교수 김휘용 교수 ● 現) 경희대학교 컴퓨터공학과 부교수 ● KAIST 전기및전자공학과 (공학박사) ● 한국전자통신연구원(ETRI) 실감AV연구그룹 (그룹장/책임연구원) ● 과학기술연합대학원대학교(UST) 이동통신및디지털방송공학과 (겸임교수) 담당조교 조교 ● 경희대학교 교수학습개발센터 ● E-mail: kmooc@khu.ac.kr 이수/평가정보 구분 퀴즈(6) 종합평가(1) 반영비율 60% 40% ※총 60% 이상 점수 획득 시, 이수증을 발급받을 수 있습니다. Q1. 수강 중 궁금한 것은 어떻게 해야 하나요? - 수강 중 궁금한 부분은 교과목 내 [질의응답] 게시판에 작성해 주시면 담당 TA가 확인 후, 1~2일내 응답할 예정입니다. Q2. 이수증은 언제 발급 되나요? - 이수증은 수업이 종료되고 나서 성적처리가 완료된 후, 10~15일 이내 발급될 예정입니다....