大约有524,700项符合查询结果项。（搜索耗时：0.6720秒）
为您推荐： title天才引导的历程 数学中的伟大定理 天才引导的历程 数学中的伟大定理 天才引导的历程 数学中的定理 数林掠影 数学中的小问题大定理丛书 数学中的小问题大定理 丛书 第2辑 title天才与算法 人脑ai的数学思维
-
-
数学天书中的证明 原书第4版 英文
（德）齐格勒（AignerM）著2013 年出版274 页ISBN：9787510061486作为一门历史悠久的学问，数学有她自身的文化和美学，就像文学和艺术一样。一方面，数学家们在努力开拓新领域、解决老问题；另一方面他们也在不断地从不同的角度反复学习、理解和欣赏前辈们的工作。的确，数学中有许...
-
离散数学及其在计算机中的应用 第四次修订
徐洁磐，朱怀宏，宋方敏编著2008 年出版423 页ISBN：7115179964本书系统地介绍了离散数学的基础理论，阐述了各个分支之间的联系，还说明了它在计算机中的应用。主要内容包括：集合论、关系、映射和无限集、进世代数、图论、命题逻辑、谓词逻辑、命题逻辑和谓词逻辑的公里化理...
-
-
过程神学 一个引导性的说明
（美）小约翰·B·科布，大卫·R·格里芬著；曲跃厚译1998 年出版206 页ISBN：7801092074过程神学是一种哲学神学，是一场浓受过程哲学思想影响的神学运动。枯书涉及教义信仰、人的存在、自然神学、生存神学、妇女解放、全球危机等许多重要问题。通过本书，可以了解西方现代神学的发展及观点，了解西方...
-
微博时代的新闻发布和舆论引导
邹建华著2012 年出版195 页ISBN：9787503547775互联网时代的资讯传播方式越来越多样化，MSN、博客、微博等新媒体传播方式的广泛使用，网络舆情越来越受到人们的关注，使得互联网时代的舆论引导比面对传统媒体时更直接，更广泛，更复杂，因此，领导干部需要掌握更多......
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
小布叮早教引导 白白的牙宝宝
本社编2013 年出版20 页ISBN：9787506062411宝宝不喜欢刷牙，每次让他刷牙都好费劲啊。本书中小布叮、小牙刷、小牙膏等等会和小宝宝交流，让宝宝知道不刷牙小牙刷、小牙膏也会哭，它们会不喜欢宝宝，刷了牙吃东西好香香。生动的图片培养宝宝养成按时刷牙的好...