机读格式显示(MARC)

• 000 01590nam0 2200337 450

• 001 0000849784

• 005 20220421114400.0

• 010 __ |a 978-7-04-054614-9 |d CNY59.00

• 100 __ |a 20211221d2021 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 离散数学及其应用 |A li san shu xue ji qi ying yong |e Python建模与实现 |d Discrete mathematics and its applications |e modeling and implementation in python |f 马殿富 ... [等] 编著 |z eng

• 210 __ |a 北京 |c 高等教育出版社 |d 2021

• 215 __ |a 448页 |c 图 |d 24cm

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

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

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

• 320 __ |a 有书目

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

• 510 1_ |a Discrete mathematics and its applications |z eng

• 517 1_ |a Python建模与实现 |A Pythonjian mo yu shi xian

• 606 0_ |a 离散数学 |A li san shu xue |x 高等学校 |j 教材

• 690 __ |a O158 |v 5

• 701 _0 |a 马殿富 |A ma dian fu |4 编著

• 701 _0 |a 李建欣 |A li jian xin |4 编著

• 701 _0 |a 马帅 |A ma shuai |4 编著

• 801 _0 |a CN |b HDUL |c 20220421

• 905 __ |a HDUL |d O158/773

• 920 __ |a 233030 |z 1