当前位置:首页 > 名称
大约有8,000项符合查询结果项。(搜索耗时:0.0220秒)
为您推荐: 科学史与科学哲学导论 在逻辑与哲学之间 逻辑与哲学 逻辑学导论 新编归纳逻辑导论 归纳逻辑导论
-
-
-
数学教育哲学的理论与实践
郑毓信著2008 年出版173 页ISBN:9787543551640本书立足于中国本土,以中国自己的眼光反映中国数学教育的进步,将成为具有中国特色的数学教育理论的奠基石。
-
世纪婚约 哲学与数学教育联姻的实践与思考
杨之等编著2009 年出版185 页ISBN:9787561150146本书共分三章说明了数学教育与哲学联姻的故事。从作者自身的教学经验出发,得出了一些对数学教育的实践与思考。
-
-
现代数学译丛 随机微分方程导论与应用 原书第6版
(挪)厄克森达尔著2012 年出版318 页ISBN:9787030337634本书之所以长盛不衰,一版再版,广受读者喜爱。主要在于它通过大量的举例,以浅显、简明、通俗易懂的方法来介绍书中的内容。不同于其它的数学书,它并不追求理论的严谨、完整和精深。它侧重于理论在其它各个领域的...
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
