广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

离散数学/朱保平 ... [等] 编著

出版发行项:

北京:清华大学出版社,2019.2

ISBN及定价:

978-7-302-52031-3/CNY49.00

载体形态项:

287页:图;26cm

个人责任者:

朱保平 编著

个人责任者:

陆建峰 编著

个人责任者:

金忠 编著

学科主题:

离散数学

中图法分类号:

O158

一般附注:

全国高等学校计算机教育研究会教材建设立项项目

题名责任附注:

题名页题: 朱保平, 陆建峰, 金忠, 张琨编著

书目附注:

有书目

提要文摘附注:

本书是全国高等学校计算机教育研究会支持的立项教材, 较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带, 夯实程序设计思路, 拓展数据和关系的表示方法, 强化从实例计算到模型计算和问题一形式化一自动化 (计算机化) 等方法, 旨在为后续的科学研究打下良好的基础。全书由命题演算基础, 命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集台、关系、函数与集合的势图论、树和有序树、群和环格与布尔代数共12章组成。

使用对象附注:

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

豆瓣简介：