当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0243秒)
为您推荐: 几何定理机器证明的基本原理 几何定理机器证明的案例 几何最著名24个定理证明及应用 交互式定理证明与程序开发 拉克洛瓦 韦达定理 证明方法 几何证明
-
画法几何与机械制图习题集
王彦华主编2012 年出版151 页ISBN:9787122143235本习题集是王彦华主编的《画法几何与机械制图》的配套教材,习题集内容与《画法几何与机械制图》教材同步。习题集习题类型齐全,难度适中,任课教师可根据教学大纲的具体要求,从中选用。内容包括:制图的基本知识、...
-
-
-
-
-
-
-
证明与反驳 数学发现的逻辑
(英)伊姆雷·拉卡托斯(Imre Lakatos)著;方刚,兰钊译2007 年出版193 页ISBN:7309053974本书主要研究数学方法论问题。数学知识如何增长?是靠一成不变地增加千真万确的定理的数目,还是按照证明与反驳的逻辑不断改进等。
-
-
