书目详细信息
： 离散数学
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-302-68279-0:CNY59.80 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 离散数学/.李暾 ... [等] 编著 |
| 出版发行项： | 北京:,清华大学出版社:,2025 |
| 载体形态项： | 299页:;+图:;+26cm |
| 丛编项： | 高等学校软件工程专业系列教材 |
| 一般附注： | 教育部高等学校软件工程专业教学指导委员会软件工程专业推荐教材 |
| 提要文摘： | 本教材力求兼顾理论教学与软件工程专业教学, 构思以课程自身内容为载体的应用及实践, 链接软件工程后续课程。内容覆盖集合论 (集合、关系、函数)、数理逻辑基础 (命题逻辑、谓词逻辑、自然推理系统)、图论基础、抽象代数 (群、环、域、格)。实践环节, 以某种程序设计语言为载体 (Python、Haskell或Racket), 以离散数学问题 (集合论、数理逻辑、图论、抽象代数) 为对象, 实践问题建模、求解、函数式编程, 并选取来自于离散数学课程内容的案例, 引导学生进行一定难度的软件开发实践。 |
| 题名主题： | 离散数学 高等学校 教材 |
| 中图分类： | O158 |
| 个人名称等同： | 李暾 编著 |
| 个人名称等同： | 刘万伟 编著 |
| 个人名称等同： | 毛晓光 编著 |