离散数学:微课版

正版保障假一赔十可开发票

38.94 6.6折 59 全新

库存13件

广东广州

认证卖家担保交易快速发货售后保障

作者朱保平，金忠编著

出版社清华大学出版社

ISBN9787302653608

出版时间2024-01

装帧平装

开本16开

定价59元

货号15351216

上书时间2024-10-27

已实名已认证进店收藏店铺

商品描述: 目录
第1章命题演算基础

1.1命题和联结词

1.1.1命题

1.1.2联结词

1.1.3合式公式

1.1.4命题逻辑的应用

1.2真假性

1.2.1解释

1.2.2等价公式

1.2.3联结词的完备集

1.2.4对偶式和内否式

1.3范式及其应用

1.3.1范式

1.3.2主范式

1.3.3范式的应用

1.4典型例题

习题

第2章命题演算的推理理论

……

精彩内容
本书是“全国高等学校计算机教育研究会‘十四五’规划教材”，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程的重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题—形式化—自动化（计算机化）等方法，为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数共12章组成。本书知识结构完整，内容丰富，不仅配备了符合教学目标的课后习题，还配备了重点章节的微课视频，既方便教学，又方便自学。

本书可作为高等院校计算机科学与技术及相关专业离散数学课程的教材，也可作为教师、研究生或软件技术人员的参考书。

— 没有更多了 —