1 / 8
文档名称:

离散数学之三: 数理逻辑.pdf

格式:pdf   页数:8页
下载后只包含 1 个 PDF 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

离散数学之三: 数理逻辑.pdf

上传人:中国课件站 2011/12/7 文件大小:0 KB

下载得到文件列表

离散数学之三: 数理逻辑.pdf

文档介绍

文档介绍:欢迎参加
数理逻辑
Mathematical Logic
时间与地点
„ 时间:
„ 星期三: 3、4节(10:10 — 12:00)
„ 星期五(单): 1、2节(8:00 — 9:50)
„ 地点:
„ 理教207
教员
„ 主讲: 王捍贫
******@pku.
62765818
„ 助教: 潘小双,朱嘉其,易炜
62752366
理科楼1708
教材
1. 耿素云,屈婉玲,王捍贫,离散数学教程,
北京大学出版社,2002年,2004年修订。
2. 王捍贫,数理逻辑—离散数学第一分册,北
京大学出版社,1997。
讲义地址:
ftp://:1021/ing/
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~。
„ 从第26章开始讲授。
„ 具体安排
要求
„ 认真听课。免听要事先申请。
„ 不得旷课、迟到和早退。
„ 按时做、交作业。不准抄袭,不要突击。
„ 成绩评定:
平时:约40%(包括作业、测验、出勤、课堂讨论等)
期末:约60%
谢谢

最近更新

2024年雪花与雨滴教案中班7篇 21页

中国光大银行客户关系管理系统设计与实现的中.. 2页

2024年长辈新婚祝词范文7篇 19页

2024年销售培训总结总结参考5篇 10页

中国上市公司资本结构研究的任务书 2页

2024年酒店管理专业自我鉴定最新6篇 13页

糖尿病患者的生活管理 27页

两体系统几何相位和纠缠性质的理论研究的中期.. 2页

2024年车辆租赁的合同模板模板6篇 18页

2024年超集中力读后感6篇 7页

金属锻造设备性能优化在机械制造行业中的实践.. 24页

2024年财务助理的辞职报告5篇 9页

精品辅助角公式 28页

2024年读王尔德读后感7篇 9页

专业化技术服务在中国电信运营商的市场发展研.. 1页

不确定线性系统的鲁棒控制的任务书 1页

2024年语文教师高级职称述职报告7篇 17页

米钢桁梁跨越高速公路桥梁反向拖拉架梁施工技.. 30页

不同土地利用方式下土壤有机碳的空间特征研究.. 2页

管道焊接件的常见坡口及尺寸 25页

薄膜材料的纳米制备工艺研究 21页

2024年英语I的作文通用5篇 4页

上市公司并购目标的选择研究的任务书 2页

上古汉语“在”词性研究的中期报告 2页

2023年小学汉字听写大赛试题 7页

(完整word版)九宫格数独题目(打印版) 120页

海康威视实习报告 15页

中考物理考试大纲 10页

发货签收单(共1页) 1页

最新山东省区域性大气污染物综合排放标准DB37.. 15页