地学专著
《离散数学》

作者:蔡之华等

定价:

ISBN:978-7-5625-2281-2

出版日期:2008-09-01

页码:

购买:

  • 内容简介
  • 图书目录
  • 作者介绍
  • 相关推荐
ISBN:978-7-5625-2281-2 作者:蔡之华等
责任编辑:方菊 张晓红 印次:1版1次
开本:16K 字数:430千字
出版日期:2008-09-01 定价:33.00
离散数学是现代数学的一个重要分支,是计算机类专业的重要基础课程它以研究离散量的结构及其相互间的关系为主要目标其研究对象一般是有限个或可数个元素因此离散数学可以充分描述计算机学科离散性的特点由于离散数学在计算机科学中的重要作用国内外几乎所有大学的计算机类专业的数学计划中都将其列为核心课程进行重点建设它是其他骨干课程如数据结构操作系统人工智能计算机网络等的先修课程本书全面介绍了离散数学的主要内容,即数理逻辑初步集合论代数结构图论等基本内容,并对离散数学的应用进行了初步介绍本书适合于高等院校理工科计算机类学生作专业基础课教材,也适合有关科技人员参考
第章命题逻辑.命题与联结词.命题公式.等值演算.范式.联结园的完备集.命题逻辑的推理演算.命题逻辑在计算机科学中的应用小结习题第章谓词逻辑.个体谓词和量词.谓词公式.等值演算.范式.谓词逻辑的推理演算,谓问逻辑在计算机科学中的应用小结习题第章非经典逻辑简介.引言.模态逻辑.多值逻辑.非单调逻辑小结习题第章集合.集合及其表示.集合的运算.文氏图小结习题第章关系.关系及其表示.关系的性质.关系的运算.等价关系.偏序关系.关系在计算机科学中的应用小结习题第章函数.函数的基本概念.函数的性质.函数的运算.集合的特征函数.集合的基数.经典集合的扩展小结习题第章代数结构.代数结构及其性质.同态与同构.同余与商代数小结习题第章群.群及其性质.置换群与循环群.陪集和拉格朗日定理.正规子群与群同态基本定理.群在计算机科学中的应用小结习题第章布尔代数.概

Copyright © 中国地质大学出版社有限责任公司 版权所有