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

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

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


简体网页||繁体网页
朱保平,金忠,叶有培 著

下载链接在页面底部


点击这里下载
    


想要找书就要到 静思书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-15

商品介绍



出版社: 北京理工大学出版社
ISBN:9787564017927
版次:1
商品编码:10042205
包装:平装
开本:16开
出版时间:2009-01-01
用纸:胶版纸
页数:152
字数:210000
正文语种:中文

高等院校电子信息类专业学习辅导书:离散数学概念题解与自测 epub pdf mobi txt 电子书 下载 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章。在编写过程中,叶有培教授提出了宝贵的修改意见。在此表示诚挚的谢意。
  由于编者水平有限,加之时间紧迫,习题量大,书中难免有不足和错误之处,恳切希望广大读者批评指正。

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

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

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

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

高等院校电子信息类专业学习辅导书:离散数学概念题解与自测 epub pdf mobi txt 电子书 下载
想要找书就要到 静思书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

读者评价

评分

挺好挺好 挺好挺好 挺好挺好 挺好挺好

评分

很实用。。。很好。。。

评分

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

评分

前几天去图书馆借了这本书,本来打算以后不读任何关于社会、政治的书,因为就算我们关心了又能怎样,体制仍然在那里,领导的情商和智商还是那样,国民的素质仍然没有改变。。。结果忍不住又借了这本,看完感觉和前两本差不多,多了一点点乐观,因为至少我看到有这样一名作者,有坚定的信念,有深刻的思想,不愤青,不极端。不停着奔走宣传公民观念,不求自身能怎么样。真是感动。中国最不缺的是极端的力量,最缺的是温和而坚定,自由而悲悯的力量。作者是其中一份。他希望为这个社会转型播下一些真正自由和宽恕的种子 ,虽然力所不逮,忧思之心确是赤诚。 前几天去图书馆借了这本书,本来打算以后不读任何关于社会、政治的书,因为就算我们关心了又能怎样,体制仍然在那里,领导的情商和智商还是那样,国民的素质仍然没有改变。。。结果忍不住又借了这本,看完感觉和前两本差不多,多了一点点乐观,因为至少我看到有这样一名作者,有坚定的信念,有深刻的思想,不愤青,不极端。不停着奔走宣传公民观念,不求自身能怎么样。真是感动。中国最不缺的是极端的力量,最缺的是温和而坚定,自由而悲悯的力量。作者是其中一份。他希望为这个社会转型播下一些真正自由和宽恕的种子 ,虽然力所不逮,忧思之心确是赤诚。 前几天去图书馆借了这本书,本来打算以后不读任何关于社会、政治的书,因为就算我们关心了又能怎样,体制仍然在那里,领导的情商和智商还是那样,国民的素质仍然没有改变。。。结果忍不住又借了这本,看完感觉和前两本差不多,多了一点点乐观,因为至少我看到有这样一名作者,有坚定的信念,有深刻的思想,不愤青,不极端。不停着奔走宣传公民观念,不求自身能怎么样。真是感动。中国最不缺的是极端的力量,最缺的是温和而坚定,自由而悲悯的力量。作者是其中一份。他希望为这个社会转型播下一些真正自由和宽恕的种子 ,虽然力所不逮,忧思之心确是赤诚。

评分

评分

很实用。。。很好。。。

评分

速度很快,书也不错,朋友很喜欢

评分

很实用。。。很好。。。

评分

很实用。。。很好。。。

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

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

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


分享链接









相关书籍


本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.tinynews.org All Rights Reserved. 静思书屋 版权所有