杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

离散数学及其应用:Python建模与实现/马殿富 ... [等] 编著

出版发行项:

北京:高等教育出版社,2021

ISBN及定价:

978-7-04-054614-9/CNY59.00

载体形态项:

448页:图;24cm

并列正题名:

Discrete mathematics and its applications

其它题名:

Python建模与实现

个人责任者:

马殿富 编著

个人责任者:

李建欣 编著

个人责任者:

马帅 编著

学科主题:

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

中图法分类号:

O158

一般附注:

“基于系统能力培养的计算机专业课程建设研究”项目规划教材

题名责任附注:

题名页题: 马殿富, 李建欣, 马帅, 杜博文, 吕江花等编著

责任者附注:

马殿富, 教授, 博士生导师, 现任软件开发环境国家重点实验室副主任。

书目附注:

有书目

提要文摘附注:

本书系统介绍了数理逻辑、集合论、图论和代数系统, 以计算为认知模型, 重点给出概念、运算及关系的计算表示, 并用计算验证性质与定理。以逻辑为认知模型, 给出概念、运算及关系的逻辑表示, 并证明性质与定理。即注重概念、运算及关系的理解, 又注重探究性质及定理的验证与验证。即以Python作为认识离散数学知识的模型, 同时, 又以离散数学作为离散世界的模型, 为解决复杂工程问题提供实际应用解决方法。

豆瓣简介：