계정: 로그인
<< 글꼴 크기 >> 단락 너비
2014-1 논리학특강 I (연세대 수학과 대학원)

수업 계획서

공식 수업 계획서언제까지 열람이 가능할지 보장되지 않으므로, 2014-02-21에 사본을 옮겨둡니다.

기본 정보

MAT8070-01 (2014학년도 1학기)

교과목명

논리학특강 I

학점

3

강의실

과225

강의시간

금6,7,8

참고자료

coq-hurry.pdf (308,991 Bytes)
lambda-sel.pdf (149,676 Bytes)
typetheorie-sel.pdf (90,705 Bytes)

수강대상

수업목표 및 개요

강의 부제목: 컴퓨터를 이용하여 증명하기

수업목표: 1980년대부터 현대 수학사에서 가장 핫한 이슈로 떠오른 분야가 증명보조기(proof assistants) 연구이다. 본 강의에서는 Coq(콕)이라는 증명보조기를 학습하는 과정을 통 해 컴퓨터 프로그램이 일반 수학자들이 일상적으로 행하는 수학 증명을 위해 어떻게 활용 될 수 있는가를 보여주고자 한다. 참여하는 학생들은 강의를 통해 현대 수학의 발전 내용 을 보면서 수리논리, 수학 및 컴퓨터가 어떻게 조화를 이룰 수 있는지 확인할 수 있다.

수업개요: 강의에서 다루는 내용은 아래와 같다.

선수과목 (선수학습)

필수는 아니며 아래 과목을 추천함.

강좌 운영 방식

교재 및 참고문헌

특정 교재 없으며 강의에 필요한 자료는 수업 시간에 파일로 배부될 것임. 참고 사이트:

교수 정보