ISBN/价格: | 978-7-04-054614-9:CNY59.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 离散数学及其应用/.马殿富 ... [等] 编著 |
出版发行项: | 北京:,高等教育出版社:,2021 |
载体形态项: | 448页:;+图:;+24cm |
一般附注: | “基于系统能力培养的计算机专业课程建设研究”项目规划教材 |
提要文摘: | 本书系统介绍了数理逻辑、集合论、图论和代数系统, 以计算为认知模型, 重点给出概念、运算及关系的计算表示, 并用计算验证性质与定理。以逻辑为认知模型, 给出概念、运算及关系的逻辑表示, 并证明性质与定理。即注重概念、运算及关系的理解, 又注重探究性质及定理的验证与验证。即以Python作为认识离散数学知识的模型, 同时, 又以离散数学作为离散世界的模型, 为解决复杂工程问题提供实际应用解决方法。 |
并列题名: | Discrete mathematics and its applications eng |
题名主题: | 离散数学 高等学校 教材 |
中图分类: | O158 |
个人名称等同: | 马殿富 编著 |
个人名称等同: | 李建欣 编著 |
个人名称等同: | 马帅 编著 |
记录来源: | CN SCYK 20230419 |