离散数学简明教程(双语版)
全新正版 极速发货
￥ 45.87 6.6折 ￥ 69 全新
库存5件
广东广州
认证卖家担保交易快速发货售后保障
作者成科扬、肖文、张建明
出版社清华大学出版社
ISBN9787302641445
出版时间2023-10
装帧平装
开本16开
定价69元
货号1203170830
上书时间2024-09-05
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
成科扬，江苏大学计算机学院副教授，中国多媒体专委会委员。
目录
PartⅠ MathematicalLogic
Chapter1 PropositionalLogic 2
1.1 PropositionsandConnectives 2
1.2 PropositionalFormulaandTranslation 5
1.3 TruthTablesandEquivalentFormulas 8
1.4 TautologyandImplication 12
1.5 DualityandNormalForm 14
1.6 TheReasoningTheoryofPropositionalCalculus 20
1.7 ApplicationofPropositionalLogic 24
Exercises 27
Chapter2 PredicateLogic 56
2.1 PredicateandQuantifier 56
2.2 PredicateFormulaandTranslation 60
2.3 ConstraintsonVariables 61
2.4 EquivalenceandImplicationofPredicateCalculus 63
2.5 PrenexNormalForms 67
2.6 InferenceTheoryofPredicateCalculus 69
……
内容摘要
本书是作者团队结合多年教学实践经验与科学研究成果，在力求通俗易懂、简明扼要的指导思想下编写而成的。本书共11章，内容包含数理逻辑、集合与关系、函数、代数结构、图和树等。本书体系严谨、文字精练、内容充实、例题丰富，配套丰富的教学资源，适合高校教学使用。除此之外，本书综合国内外离散数学的相关新资料，采用双语的形式，从而培养读者的外文科技文献阅读能力。
本书适合高等院校计算机及相关专业作为“离散数学”课程的教材使用，也可以作为对离散数学感兴趣的读者的入门参考用书。
主编推荐
《离散数学简明教材（英文版）》内容精炼，叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价