大约有10,000项符合查询结果项。（搜索耗时：0.0143秒）
为您推荐： 数学天书中的证明 title数学写真集 第2季无需语言的证明 数学证明 数学猜想与证明 title美术馆里遇到的数学 与艺术 人性的证明
-
-
-
-
证明与反驳 数学发现的逻辑
（英）伊姆雷·拉卡托斯（Imre Lakatos）著；方刚，兰钊译2007 年出版193 页ISBN：7309053974本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。
-
-
数学天书中的证明：35个著名的数学问题
M.AIGNER，G.M.ZIEGLER著2009 年出版270 页ISBN：9787040262094本书介绍了35个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想法奇特、构思精巧，作为一个整体更是天衣无缝。难怪，西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书，也不是...
-
数学写真集 无需语言的证明 第3季
范兴亚，管涛，程晓亮编著2016 年出版110 页ISBN：9787111536499本书由一百多个“无需语言的证明”的图片组成，每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集。书中的素材选取自国际顶尖数...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
不要大惊小怪 一些“荒唐”观点的数学证明
（英）朱利安·哈维尔著；郑炼译2013 年出版238 页ISBN：9787542855497本书包括14章，讲述了14个与常识相悖、但在数学上可予严格证明的观点。如：每月的13号比其他日子更可能是星期五；又如，一名网球高手在获得局点时拿下这局的概率竟比开局时还要低。通过证明这些似非而是的数学结论...
-
数学写真集 无需语言的证明 第2季
（美）尼尔森编2014 年出版132 页ISBN：9787111466772本书由131个“无需语言的证明”的图片组成，每个图片的下面列出了该图片要“证明”的数学结论。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集...