当前位置：首页 > 名称
大约有5,000项符合查询结果项。（搜索耗时：0.0125秒）
为您推荐： 苏联中央机器制造与工艺科学研究院 苏联科学院机器学研究所 制造工艺委员会编 苏联机床制造部技术标准科学研究所编 苏联机床制造部技术定额科学研究所编 苏联农业机器制造厂编 上海市机械制造工艺研究所
-
-
用图形计算器学微积分 图形计算机器与大学数学
俞正光，张静，段耀武等编2008 年出版203 页ISBN：9787302183570本书以图形计算器HP39gs为例介绍如何利用图形计算器学习一元微积分。
-
-
-
-
控制论 或关于在动物和机器中控制和通讯的科学
（美）N.维纳著；郝季仁译2000 年出版237 页ISBN：7806005315《实用主义》从实用主义的意义、实用主义与常识、实用主义的真理概念、实用主义与人本主义、实用主义与宗教等角度，对实用主义进行了系统论述。...
-
极简算法史 从数学到机器的故事
（法）吕克·德·布拉班迪尔著；任轶译2019 年出版138 页ISBN：9787115500809本书呈现了一段妙趣横生的人类思维史。从古希腊哲学到“无所不能”的计算机，数字、计算、推理这些貌似简单的概念在三千年里不断融汇、相互影响、相互塑造。本书描绘了一场人类探索数学、算法与逻辑思维，并最...
-
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
学科分类