机读格式显示(MARC)
- 000 01374nam0 2200277 450
- 010 __ |a 978-7-04-054614-9 |d CNY59.00
- 100 __ |a 20211220d2021 em y0chiy50 ea
- 200 1_ |a 离散数学及其应用 |A Li San Shu Xue Ji Qi Ying Yong |b 专著 |e Python建模与实现 |d Discrete mathematics and its applications |e modeling and implementation in Python |f 马殿富[等]编著 |z eng
- 210 __ |a 北京 |c 高等教育出版社 |d 2021
- 300 __ |a “基于系统能力培养的计算机专业课程建设研究”项目规划教材
- 304 __ |a 编著者还有:李建欣、马帅、杜博文、吕江花、邓婷
- 330 __ |a 本书介绍了数理逻辑、集合论、图论和代数系统相关内容,以计算为认知模型,重点给出概念、运算及关系的计算表示,并用计算验证性质与定理。以逻辑为认知模型,给出概念、运算及关系的逻辑表示,并证明性质与定理,既注重概念、运算及关系的理解,又注重探究性质及定理的验证;既以Python作为认识离散数学知识的模型,同时,又以离散数学作为离散世界的模型,为复杂工程问题提供实际解决方法。
- 510 1_ |a Discrete mathematics and its applications |e modeling and implementation in Python |z eng
- 517 1_ |a Python建模与实现 |A Python Jian Mo Yu Shi Xian
- 701 _0 |a 马殿富 |A Ma Dian Fu |4 编著
- 801 _0 |a CN |b ZPHC |c 20211220
- 905 __ |a ZPHC |d O158/89