高等院校电子信息类专业学习辅导书：离散数学概念题解与自测 下载 mobi epub pdf 电子书 2024

☆☆☆☆☆
简体网页||繁体网页



点击这里下载

类似图书 点击查看全场最低价

---

编辑推荐

　　《离散数学概念题解与自测》可作为高等院校计算机科学与技术及相关信息类专业的教学参考书，也适用于报考计算机专业研究生的学生作为复习指导书，也可供教师、研究生和相关人员作参考书。

内容简介

　　本书对离散数学各章节知识的要点和难点，对解题的方法和技巧作了全面的分析。本书包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章内容。
　　本书表达严谨，推理缜密，提供了大量习题及其分析与解答。本书可作为高等院校计算机科学与技术及相关信息类专业的教学参考书，也适用于报考计算机专业研究生的学生作为复习指导书，也可供教师、研究生和相关人员作参考书。

目录

第一章 命题演算基础
1.1 基本要求
1.2 内容分析
1.3 习题解答
第二章 命题演算的推理理论
2.1 基本要求
2.2 内容分析
2.3 习题解答
第三章 谓词演算基础
3.1 基本要求
3.2 内容分析
3.3 习题解答
第四章 谓词演算的推理理论
4.1 基本要求
4.2 内容分析
4.3 习题解答
第五章 递归函数论
5.1 基本要求
5.2 内容分析
5.3 习题解答
第六章 集合
6.1 基本要求
6.2 内容分析
6.3 习题解答
第七章 二元关系
7.1 基本要求
7.2 内容分析
7.3 习题解答
第八章 函数与集合的势
8.1 基本要求
8.2 内容分析
8.3 题解答
第九章 图
9.1 基本要求
9.2 内容分析
9.3 题解答
第十章 树
10.1 基本要求
10.2 勺容分析
10.3 题解答
第十一章 群与环
11.1 基本要求
11.2 内容分析
11.3 习题解答
第十二章 格与布尔代数
12.1 基本要求
12.2 内容分析
12.3 习题解答
附录 模拟试卷及解答
模拟试卷一
模拟试卷二
模拟试卷一解答
模拟试卷二解答
参考文献

精彩书摘

　　3.1　基本要求
　　1、掌握个体、个体变元、谓词、谓词变元、函数和量词等概念，能够将日常语句翻译为渭词演算公式。
　　2、理解谓词演算公式、自由出现、约束出现、自由变元、约束变元等概念。
　　3、掌握改名和代入的方法，能够对谓词演算公式实行正确的代入和改名。
　　4、掌握谓词演算公式的真假性、公式的永真性、可满足性等概念及性质。
　　5、掌握前束范式、SKOLEM标准形等概念，能够将谓词演算公式转换为前束范式和、SKOLEM标准形。
　　6、了解唯一性量词和摹状词的概念。
　　3.2　内容分析
　　在命题演算中，我们把不可剖开或分解为更简单命题的原子命题作为基本单元，把语句分解为原子命题，而不对原子命题的内部结构加以分析。本章将对原子命题进一步剖析，分解为个体和谓词。一般地讲，原子命题是由若干谓词和项组成的，我们的目标是把日常永真的知识表达成谓词演算的形式语言，再加上一些永真的规则，推出一些新的知识，研究它们的形式结构和逻辑关系。谓词演算中语句的符号化是人工智能中知识表示的基础。
　　3.2.1　个体和谓词
　　定义1：个体是指具有独立意义、独立存在的东西。
　　定义2：由个体组成的集合称为个体域。
　　定义3：所有个体不管是何种类型的个体综合在一起组成的个体域称为全总个体域。用U表示。
　　定义4：以个体域，中的变元为变目的变元称为个体域，上的个体变元。常用X，Y等表示。
　　定义5：项是构成原子公式的一部分。常量符号是最简单类型的项，是用来表示论域中的个体或实体。一般地讲，个体和实体可以是物理的个体、人、概念或有名词的任何事情。项包括实体、变量符号和函数符号等。
　　定义6：谓词是指个体所具有的性质或若干个体之间的关系。约定用大写字母A、B、C等表示谓词。
　　定义7：单个谓词不构成完整的意思，只有当谓词后填以个体后才能构成完整的意义，这种在谓词后填以个体后的式子称为谓词填式。

前言/序言

　　离散数学不仅是计算机科学与技术专业的必修课程，也是电子信息类专业和相关工程技术人员的必读课程，该课程是许多院校相关专业研究生入学考试的必考课程之一。本书作为《离散数学》课程的辅导教材，特别注重习题的选择。习题的选择注重突出基本理论、基本概念和基本方法的掌握，又有较灵活和深入的题型。同时注重解题方法和技巧的运用，旨在加深读者对知识的理解。
　　全书共有12章，每章包括：基本要求，内容分析和习题解答三部分，并附有两套自测试题及答案。本书包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章习题解答。
　　本书由朱保平编写第l至第10章，金忠编写第11、12章。在编写过程中，叶有培教授提出了宝贵的修改意见。在此表示诚挚的谢意。
　　由于编者水平有限，加之时间紧迫，习题量大，书中难免有不足和错误之处，恳切希望广大读者批评指正。
高等院校电子信息类专业学习辅导书：离散数学概念题解与自测 下载 mobi epub pdf txt 电子书 格式

评分☆☆☆☆☆

很喜欢朱保平，金忠，叶有培，他的每一本书几本上都有，这本高等院校电子信息类专业学习辅导书离散数学概念题解与自测很不错，离散数学概念题解与自测可作为高等院校计算机科学与技术及相关信息类专业的教学参考书，也适用于报考计算机专业研究生的学生作为复习指导书，也可供教师、研究生和相关人员作参考书。本书对离散数学各章节知识的要点和难点，对解题的方法和技巧作了全面的分析。本书包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章内容。本书表达严谨，推理缜密，提供了大量习题及其分析与解答。本书可作为高等院校计算机科学与技术及相关信息类专业的教学参考书，也适用于报考计算机专业研究生的学生作为复习指导书，也可供教师、研究生和相关人员作参考书。离散数学不仅是计算机科学与技术专业的必修课程，也是电子信息类专业和相关工程技术人员的必读课程，该课程是许多院校相关专业研究生入学考试的必考课程之一。本书作为离散数学课程的辅导教材，特别注重习题的选择。习题的选择注重突出基本理论、基本概念和基本方法的掌握，又有较灵活和深入的题型。同时注重解题方法和技巧的运用，旨在加深读者对知识的理解。全书共有12章，每章包括基本要求，内容分析和习题解答三部分，并附有两套自测试题及答案。本书包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章习题解答。本书由朱保平编写第至第10章，金忠编写第11、12章。在编写过程中，叶有培教授提出了宝贵的修改意见。在此表示诚挚的谢意。由于编者水平有限，加之时间紧迫，习题量大，书中难免有不足和错误之处，恳切希望广大读者批评指正。3.1基本要求1、掌握个体、个体变元、谓词、谓词变元、函数和量词等概念，能够将日常语句翻译为渭词演算公式。2、理解谓词演算公式、自由出现、约束出现、自由变元、约束变元等概念。3、掌握改名和代入的方法，能够对谓词演算公式实行正确的代入和改名。4、掌握谓词演算公式的真假性、公式的永真性、可满足性等概念及性质。5、掌握前束范式、标准形等概念，能够将谓词演算公式转换为前束范式和、标准形。6、了解唯一性量词和摹状词的概念。3.2内容分析在命题演算中，我们把不可剖开或分解为更简单命题的原子命题作为基本单元，把语句分解为原子命题，而不对原子命题的内部结构加以分析。本章将对原子命题进一步剖析，分解为个体和谓词。一般地讲，原子命题是由若干谓词和项组成的，我们的目标是把日常永真的知识

评分☆☆☆☆☆

速度比较快！速度比较快！

评分☆☆☆☆☆

这本书可是找了好久了的，这下考试就没问题了

评分☆☆☆☆☆

很好很好很好很好很好很好很好

评分☆☆☆☆☆

在书店看上了这本书一直想买可惜太贵又不打折，回家决定上京东看看，果然有折扣。毫不犹豫的买下了，京东速度果然非常快的，从配货到送货也很具体，快递非常好，很快收到书了。书的包装非常好，没有拆开过，非常新，可以说无论自己阅读家人阅读，收藏还是送人都特别有面子的说，特别精美；各种十分美好虽然看着书本看着相对简单，但也不遑多让，塑封都很完整封面和封底的设计、绘图都十分好画让我觉得十分细腻具有收藏价值。书的封套非常精致推荐大家购买。 打开书本，书装帧精美，纸张很干净，文字排版看起来非常舒服非常的惊喜，让人看得欲罢不能，每每捧起这本书的时候 似乎能够感觉到作者毫无保留的把作品呈现在我面前。 作业深入浅出的写作手法能让本人犹如身临其境一般，好似一杯美式咖啡，看似快餐，其实值得回味 无论男女老少，第一印象最重要。”从你留给别人的第一印象中，就可以让别人看出你是什么样的人。所以多读书可以让人感觉你知书答礼，颇有风度。 多读书，可以让你多增加一些课外知识。培根先生说过：“知识就是力量。”不错，多读书，增长了课外知识，可以让你感到浑身充满了一股力量。这种力量可以激励着你不断地前进，不断地成长。从书中，你往往可以发现自己身上的不足之处，使你不断地改正错误，摆正自己前进的方向。所以，书也是我们的良师益友。 多读书，可以让你变聪明，变得有智慧去战胜对手。书让你变得更聪明，你就可以勇敢地面对困难。让你用自己的方法来解决这个问题。这样，你又向你自己的人生道路上迈出了一步。 多读书，也能使你的心情便得快乐。读书也是一种休闲，一种娱乐的方式。读书可以调节身体的血管流动，使你身心健康。所以在书的海洋里遨游也是一种无限快乐的事情。用读书来为自己放松心情也是一种十分明智的。 读书能陶冶人的情操，给人知识和智慧。所以，我们应该多读书，为我们以后的人生道路打下好的、扎实的基础！读书养性，读书可以陶冶自己的性情，使自己温文尔雅，具有书卷气；读书破万卷，下笔如有神，多读书可以提高写作能力，写文章就才思敏捷；旧书不厌百回读，熟读深思子自知，读书可以提高理解能力，只要熟读深思，你就可以知道其中的道理了；读书可以使自己的知识得到积累，君子学以聚之。总之，爱好读书是好事。让我们都来读书吧。 其实读书有很多好处,就等有心人去慢慢发现. 最大的好处是可以让你有属于自己的本领靠自己生存。 最后在好评一下京东客服服务态度好，送货相当快,包装仔细！这个也值得赞美下 希望京东这样保持下去，越做越好

评分☆☆☆☆☆

嗯

评分☆☆☆☆☆

很喜欢朱保平，金忠，叶有培，他的每一本书几本上都有，这本高等院校电子信息类专业学习辅导书离散数学概念题解与自测很不错，离散数学概念题解与自测可作为高等院校计算机科学与技术及相关信息类专业的教学参考书，也适用于报考计算机专业研究生的学生作为复习指导书，也可供教师、研究生和相关人员作参考书。本书对离散数学各章节知识的要点和难点，对解题的方法和技巧作了全面的分析。本书包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章内容。本书表达严谨，推理缜密，提供了大量习题及其分析与解答。本书可作为高等院校计算机科学与技术及相关信息类专业的教学参考书，也适用于报考计算机专业研究生的学生作为复习指导书，也可供教师、研究生和相关人员作参考书。离散数学不仅是计算机科学与技术专业的必修课程，也是电子信息类专业和相关工程技术人员的必读课程，该课程是许多院校相关专业研究生入学考试的必考课程之一。本书作为离散数学课程的辅导教材，特别注重习题的选择。习题的选择注重突出基本理论、基本概念和基本方法的掌握，又有较灵活和深入的题型。同时注重解题方法和技巧的运用，旨在加深读者对知识的理解。全书共有12章，每章包括基本要求，内容分析和习题解答三部分，并附有两套自测试题及答案。本书包括命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、二元关系、函数与集合的势、图、树、群与环、格与布尔代数共12章习题解答。本书由朱保平编写第至第10章，金忠编写第11、12章。在编写过程中，叶有培教授提出了宝贵的修改意见。在此表示诚挚的谢意。由于编者水平有限，加之时间紧迫，习题量大，书中难免有不足和错误之处，恳切希望广大读者批评指正。3.1基本要求1、掌握个体、个体变元、谓词、谓词变元、函数和量词等概念，能够将日常语句翻译为渭词演算公式。2、理解谓词演算公式、自由出现、约束出现、自由变元、约束变元等概念。3、掌握改名和代入的方法，能够对谓词演算公式实行正确的代入和改名。4、掌握谓词演算公式的真假性、公式的永真性、可满足性等概念及性质。5、掌握前束范式、标准形等概念，能够将谓词演算公式转换为前束范式和、标准形。6、了解唯一性量词和摹状词的概念。3.2内容分析在命题演算中，我们把不可剖开或分解为更简单命题的原子命题作为基本单元，把语句分解为原子命题，而不对原子命题的内部结构加以分析。本章将对原子命题进一步剖析，分解为个体和谓词。一般地讲，原子命题是由若干谓词和项组成的，我们的目标是把日常永真的知识

评分☆☆☆☆☆

和教科书配套，可以用

评分☆☆☆☆☆

类似图书 点击查看全场最低价