欢迎参加 数理逻辑 Mathematical Logic 时间与地点 ?时间: ?星期三:3、4节(10:10 — 12:00) ?星期五(单):1、2节(8:00 — 9:50) ?地点: ?理教207 教员 ?主讲:王捍贫 whpxhy@pku.edu.cn 62765818 ?助教:潘小双,朱嘉其,易炜 62752366 理科楼1708 教材 1.耿素云,屈婉玲,王捍贫,离散数学教程, 北京大学出版社,2002年,2004年修订。 2.王捍贫,数理逻辑—离散数学第一分册,北 京大学出版社,1997。 讲义地址: ftp://162.105.81.245:1021/incoming/ courseware/Logic/ 账号:guest 密码:guest 参考书 1.陆钟万,面向计算机科学的数理逻辑,北京大学 出版社,1989( 第二版,科学出版社,1998) 2.王元元,计算机科学中的逻辑学,科学出版社, 1989 3.莫绍揆,数理逻辑教程,华中工学院出版社, 1981 4.哈密尔顿,数理逻辑,朱水林译,华东师大出版 社,1986 (Hamilton,Logic for Mathematicians, Cambridge University, 1978) 计划与安排 ?共18-2-1=15周,22次课,44学时。 ?两次测验(和一次课堂讨论)。 ?课程进度:约1~0.5节/次课。 ?从第26章开始讲授。 ?具体安排 要求 ?认真听课。免听要事先申请。 ?不得旷课、迟到和早退。 ?按时做、交作业。不准抄袭,不要突击。 ?成绩评定: 平时:约40%(包括作业、测验、出勤、课堂讨论等) 期末:约60% 谢谢