离散数学(第2版)
正版新书 新华官方库房直发 可开电子发票
￥ 37.36 7.5折 ￥ 49.8 全新
仅1件
作者郝晓燕主编
出版社人民邮电出版社
ISBN9787115551092
出版时间2021-05
版次2
装帧平装
开本16开
纸张胶版纸
页数200页
字数326千字
定价49.8元
货号SC:9787115551092
上书时间2024-09-18
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
郝晓燕，博士，副教授，硕士生导师。自1994年至今任职于太原理工大学信息与计算机学院，从事计算机科学与技术学科的教学工作及科研工作。主讲课程：《工程经济学》《离散数学》《数据结构》《面各对象程序设计C++》《数据库系统原理》《自然语言处理》。研究方向：计算语言学，自然语言处理，人工智能。社会兼职：中国计算机学会会员。
主编推荐:
本书特色表现在以下四个方面。
第一，加深理论，注重实践。大多数离散数学的教材，只注重经典的数学理论和解题，没有联系生产实践，学习者感觉理论抽象、枯燥。本书结合计算机专业的学习特点，在相应章节的例题或课后习题中编排了将离散结构理论与实际工程问题相结合的题目，并给出解决方案。
第二，突破经典，勇于发现。根据多年的教学实践和体会，编者在书中中总结了一些共性问题和有争议性的问题，对这些问题做了个人观点的阐述，抛砖引玉鼓励学习者继续深入研究和探讨。
第三，明确关系，理清脉络。本书包括数理逻辑、集合论、图论、代数结构四大部分，这四部分内容既自成理论体系，又有密切的联系，在每部分内容的讲授之前，简明阐述理论的起源、发展以及和其他理论之间的相互关系，使学习者感觉脉络清晰。
第四，突出重点，圈定难点。具体到每一章都总结出本章学习的难点和重点，并指明应掌握的基本概念和解题的技巧。
内容简介:
本书介绍计算机相关专业必需的离散数学基础知识，包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。本书包含较多的与计算机科学和工程有关的例题和习题。本书适合作为高等院校计算机科学与技术、软件工程等相关专业的教材。
目录:
第1章 命题逻辑
§1-1 命题
§1-1-1 命题与真值
§1-1-2 原子命题与复合命题
§1-2 逻辑联结词
§1-2-1 否定联结词
§1-2-2 合取联结词
§1-2-3 析取联结词
§1-2-4 蕴含联结词
§1-2-5 等价联结词
§1-3 命题公式
§1-3-1 命题公式的概念
§1-3-2 命题符号化
§1-3-3 命题公式真值表
§1-3-4 命题公式的类型
§1-3-5 重言式的性质
§1-4 命题逻辑的等价关系
§1-4-1 等价
§1-4-2 基本等价式
§1-4-3 置换规则
§1-5 命题公式的标准化
§1-5-1 析取范式与合取范式
§1-5-2 主析取范式与主合取范式
§1-5-3 主范式的应用
§1-6 命题逻辑的蕴含关系
§1-6-1 蕴含
§1-6-2 证明蕴含关系的方法
§1-6-3 基本蕴含式
§1-7 命题逻辑的推理理论
§1-7-1 推理的有效性
§1-7-2 有效推理的判断方法
§1-7-3 自然推理系统
§1-7-4 自然推理系统中构造有效推理的方法
本章总结
习题
第2章 谓词逻辑
§2-1 谓词逻辑命题符号化
§2-1-1 命题逻辑的局限性
§2-1-2 谓词逻辑三要素
§2-1-3
...
— 没有更多了 —
以下为对购买帮助不大的评价