离散数学电子教案（耿素云高教版）
|
|
|
【推荐级别】
|
☆☆☆☆☆
查看网友评价 |
|
【下载次数】 |
187 次 |
|
【作者】 |
|
【出版社】 |
|
|
【文件格式】 |
其它
|
【ISBN】 |
|
|
【资料语言】 |
简体中文
|
【文件大小】 |
32.93MB
|
|
【上传时间】 |
2007-04-13
|
【共享者】 |
bluebati
查看他还共享了哪些书籍
|
|
|
资料说明：
|
本书第一版于1998年出版，是教育部高等学校"九五"规划教材和面向21世纪课程教材。此次修订在保持原有四部分内容(数理逻辑、集合论、代数结构和图论)的基础上，增加了相当数量的难度不同的练习题，并结合教学需要引入了一部分新的应用实例。 本书被列为普通高等教育"十五"国家级规划教材。与本书配套设计的网络课程、电子教案和习题辅导用书即将陆续推出。它们的有机配合可以满足不同教学环节的需求，构成全新的立体化系列教材。 本书可作为普通高等学校计算机及其他相关专业本科生离散数学课程的教材，也可供其他专业学生和工作人员阅读和参考。
【目录信息】
第一部分 数理逻辑
第一章 命题逻辑基本概念
1．1 命题与联结词
1．2 命题公式及其赋值
习题一
第二章 命题逻辑等值演算
2．1 等值式
2．2 析取范式与合取范式
2．3 联结词的完备集
习题二
第三章 命题逻辑的推理理论
3．1 推理的形式结构
3．2 自然推理系统户
习题三
第四章 一阶逻辑基本概念
4．1 一阶逻辑命题符号化
4．2 一阶逻辑公式及解释
习题四
第五章 一阶逻辑等值演算与推理
5．1 一阶逻辑等值式与置换规则
<< 查看详细目录
【前言】
本书作为教育部高等学校"九五"规划内教材于1998年出版以来，已被多所高校选作计算机专业本科生教材，在使用中深受广大师生的欢迎和好评。2002年本书的修订出版被列入普通高等教育"十五"国家级教材建设规划，并于2003年在高教社"高等教育百门精品课程"教材建设规划中立项。 离散数学是计算机科学的理论基础，对于培养学生的逻辑思维和分析问题解决问题的能力起着重要的作用。在知识更新越来越快的时代，启发式的自主学习是获取新知识的重要途径。为了提高教学效果，课上讲授和课后的自学等不同的教学环节应该有机的配合。为此，在保持原有体系和风格的基础上，我们在修订版中进一步... << 查看前言
|
|
资料下载
|
打开下载链接
点此链接需花费积分5分。如何获取积分？
注册新会员
积分不够？请用手机短信充值
·请先登录 ，然后下载
·下载后，您的积分会减少5分
·48小时内重复下载该资料不另外扣分
·下载前，请先阅读下载声明
·管理员对书籍只进行了初步审核，如果您发现该书违反了分享规则，请向管理员投诉！
|
·本服务的所有资料文件是其作者提供和网友推荐收集整理的，如有侵犯版权敬请指出。
·所有资料文件的准确性、安全性和完整性未经验证，NetYi不承担用户因使用这些下载内容而造成的任何形式的损失或伤害。
|
|
|
| 客户服务 |
 
 |
电话：028-66868000
13568916094
下班时间请点击此处留言 |
| 注：客服服务时间为周一至周五09：00—17：30，周六周日休息。 |
|
|