大约有488,405项符合查询结果项。（搜索耗时：0.5473秒）
为您推荐： 解不等式及证明 的方法 不等式机器证明与自动发现 人性的证明 title优雅的等式 欧拉公式与数学之美 数学天书中的证明 平方的不等式
-
数学写真集 无需语言的证明 第2季
（美）尼尔森编2014 年出版132 页ISBN：9787111466772本书由131个“无需语言的证明”的图片组成，每个图片的下面列出了该图片要“证明”的数学结论。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集...
-
数学写真集 无需语言的证明 第1季
（美）尼尔森编2014 年出版154 页ISBN：9787111447740本书由131个“无需语言的证明”的图片组成，每个图片的下面列出了该图片要“证明”的数学结论。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集...
-
涉过愤怒的河 野性的证明
（日）西村寿行著；森村诚著；夏燕编译；春华编译2004 年出版305 页ISBN：7801460855内 容 简 介 地处偏远的风道屯，五户人家，十三口人全被 杀死。经过验尸，发现一具来此旅行的女子尸体，而 本屯一位8岁女孩却下落不明。虽经警方全力调 查，但仍未能破案。 两年后，一位叫味泽的男子领着一个10岁的 女...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
完美的证明 一位天才和世纪数学的突破
（美）玛莎·葛森著2012 年出版249 页ISBN：9787564053727在2002年11月，一位俄罗斯数学家把他对于庞加莱猜想的证明贴到了互联网上。他不是第一个宣称解决了庞加莱猜想的人。他甚至不是那一年唯一一个把对此猜想的尝试性证明贴到互联网上的人。但是他的证明是对的。...
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
数学天书中的证明：35个著名的数学问题
M.AIGNER，G.M.ZIEGLER著2009 年出版270 页ISBN：9787040262094本书介绍了35个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想法奇特、构思精巧，作为一个整体更是天衣无缝。难怪，西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书，也不是...
-
书证收集与程序保障 以当事人证明权的实现为中心
张友好著2010 年出版389 页ISBN：9787510202537本书阐述了民事诉讼中书证收集模式的沿革以及制度运行的国际趋势，探讨了文书在证据领域限制适用的情形以及在收集过程中的程序保障制度，重点对我国书证收集的现状作了实证分析，并就在我国当前的证据交换制度下...
-
证明的教学 从幼儿园到大学的视角 中小学数学教育论著译丛
（德）斯皮娜·A·斯蒂利亚努，玛利亚·A·布兰顿，埃里克·J·克努特2015 年出版403 页ISBN：9787544467759《证明的教学：从幼儿园到大学的视角》，它从一个广阔的视角阐述了数学证明的涵义，为大家提供了促进学生能力发展的具体做法，也提供了激发学生进行数学思考的机会，展现了证明教学的发展趋势、课堂使用的数学问题和...
-
