当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0239秒）
为您推荐： 几何定理机器证明的案例 几何定理的机械化证明 几何最著名24个定理证明及应用 交互式定理证明与程序开发 拉克洛瓦 韦达定理 证明方法 几何证明
-
-
-
-
-
证明与反驳 数学发现的逻辑
（英）伊姆雷·拉卡托斯（Imre Lakatos）著；方刚，兰钊译2007 年出版193 页ISBN：7309053974本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。
-
-
-
初等不等式的证明方法
韩京俊编著2014 年出版343 页ISBN：9787560349800本书介绍初等不等式证明中的有效方法，共分15章，选取300余个国内外初等不等式的典型问题，以解析的方法解题，并对部分问题加以拓展，不少例题都配有较大篇幅的注解。本书适合相关专业师生阅读和使用，也可供专业人员....
-
-
