欢迎参加 数理逻辑 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% 谢谢