北京大学数理逻辑_王捍贫.pdf

发布时间：2022-06-12 发布人：admin 分类：说明书资料大小：2.87M 资料格式：pdf 举报版权申诉

7a4ec6cf-8b7d-433b-b026-d2136e8cbb7a.pdf-第1页.png

第1页 / 共508页

7a4ec6cf-8b7d-433b-b026-d2136e8cbb7a.pdf-第2页.png

第2页 / 共508页

7a4ec6cf-8b7d-433b-b026-d2136e8cbb7a.pdf-第3页.png

第3页 / 共508页

7a4ec6cf-8b7d-433b-b026-d2136e8cbb7a.pdf-第4页.png

第4页 / 共508页

7a4ec6cf-8b7d-433b-b026-d2136e8cbb7a.pdf-第5页.png

第5页 / 共508页

7a4ec6cf-8b7d-433b-b026-d2136e8cbb7a.pdf-第6页.png

第6页 / 共508页

7a4ec6cf-8b7d-433b-b026-d2136e8cbb7a.pdf-第7页.png

第7页 / 共508页

7a4ec6cf-8b7d-433b-b026-d2136e8cbb7a.pdf-第8页.png

第8页 / 共508页

intro3

26.1

26.10

26.2

26.3

26.4

26.5

26.6

26.7

26.8

26.9

27.1

27.2

27.3

27.4-5

27.6

欢迎参加数理逻辑 Mathematical Logic

时间与地点时间：星期三：星期五(单)： 1、2节(8:00 — 9:50) 3、4节(10:10 — 12:00) 地点：理教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%

谢谢

分享到：

赞收藏

资料库

北京大学数理逻辑_王捍贫.pdf

相关推荐

课程资源

热门标签

最新资料