周口师范学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

离散数学/李暾 ... [等] 编著

出版发行项:

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

ISBN及定价:

978-7-302-68279-0/CNY59.80

载体形态项:

299页:图;26cm

丛编项:

高等学校软件工程专业系列教材

个人责任者:

李暾 编著

个人责任者:

刘万伟 编著

个人责任者:

毛晓光 编著

个人责任者:

陈立前 编著

学科主题:

离散数学-高等学校-教材

中图法分类号:

O158

一般附注:

教育部高等学校软件工程专业教学指导委员会软件工程专业推荐教材

题名责任附注:

题名页题其余责任者: 刘万伟, 毛晓光, 陈立前

责任者附注:

李暾, 教授, 博士生导师。主要从事微处理器敏捷设计与验证等方向的教学与科研工作, 在ACM ITiCSE、IEEE FIE等计算机教学顶级国际会议和期刊发表教学论文10余篇, 出版著作和教材共3部。

书目附注:

有书目

提要文摘附注:

本书内容覆盖集合论 (集合、关系、函数)、数理逻辑基础 (命题逻辑、谓词逻辑、自然推理系统)、图论基础、抽象代数 (群、环、域、格)。实践环节, 以某种程序设计语言为载体 (Python、Haskell或Racket), 以离散数学问题 (集合论、数理逻辑、图论、抽象代数) 为对象, 实践问题建模、求解、函数式编程, 并选取来自于离散数学课程内容的案例, 引导学生进行一定难度的软件开发实践。

豆瓣简介：

读秀电子资源：

电子全文（读秀试读）

读秀电子资源：

读秀链接