Picard定理相关电子书下载

佩捷编著2014 年出版83 页ISBN：9787560347714

本书从一道圣彼得堡数学竞赛试题，详细介绍了毕卡大定理的相关知识及应用。全书共分4章，读者可以较全面地了解这类问题的实质，并且还可以认识到它在其他学科中的应用。本书适合中学生、中学教师以及数学爱好者...

孔夫编著2006 年出版819 页ISBN：7543928221

为了适应中学教育改革、素质教育、教学以及广大中学生学习数理化的需要，帮助广大中学生朋友理解、掌握教材内容，巩固基础知识和基本技能，拓宽科学视野，掌握科学的学习方法、增强学习能力，我们特地编写了《新课标...

博文考试命题研究组编2006 年出版483 页ISBN：7801099419

本书以最近五年高考中考数理化生的真题为依据对中学的有关公式定理进行了系统的归纳和整理。

李争平主编2006 年出版498 页ISBN：756391451X

本书包含了高中阶段的语文、数学、英语、政治、物理、化学、历史、地理、生物九个学科的内容，每个学科都由概念、公式、规律等知识点组成，目的是将高中阶段的各科知识汇集在一起，轻巧便捷，便于老师和学生将其作...

Gary Cornell ; Joseph H. Silverman ; Glenn Stevens2014 年出版582 页ISBN：7510070174

（美）斯皮瓦克（M. Spivak）著；齐民友，路见可译1980 年出版149 页ISBN：13031·1378

YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

李善姬，金英兰，魏昌云等主编2009 年出版498 页ISBN：9787563427499

《初中数理化生公式定理解题手册》是按照初中新课标为体系，通过此书既能巩固所学的知识又可以使学生迅速掌握学科的重点、难点和解题方法。本书由以下板块构成；章节知识梳理，公式，定理，例题与参考答案。本书的编...

（法）德尼·盖之（Denis Guegj）著；马金章译2002 年出版503 页ISBN：7506323931

八十六岁的吕升先生，突然收到五十多年前的朋友，从亚马孙森林寄来的一封信及几百公斤的数学书。不久又收到朋友惨遭火焚的警方通知。麦科思在市场救得一只大鹦鹉，它可以讲述许多数学故事与定理。他俩及一对双胞...

张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...