当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0222秒）
为您推荐： 技术复制时代的艺术作品 机械复制时代的艺术作品 机械复制时代的艺术 现货台版机械复制时代的艺术作品班雅明精选集摄影电影文学哲学左派思想 nlp复制卓越的艺术 好书 给忙碌青少年讲人工智能 会思考的机器和ai时代
-
-
-
-
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
-
控制论 或关于在动物和机器中控制和通讯的科学
（美）N.维纳著；郝季仁译2000 年出版237 页ISBN：7806005315《实用主义》从实用主义的意义、实用主义与常识、实用主义的真理概念、实用主义与人本主义、实用主义与宗教等角度，对实用主义进行了系统论述。...
-
极简算法史 从数学到机器的故事
（法）吕克·德·布拉班迪尔著；任轶译2019 年出版138 页ISBN：9787115500809本书呈现了一段妙趣横生的人类思维史。从古希腊哲学到“无所不能”的计算机，数字、计算、推理这些貌似简单的概念在三千年里不断融汇、相互影响、相互塑造。本书描绘了一场人类探索数学、算法与逻辑思维，并最...
-
走进奇妙的数学世界 不可思议的魔法机器 比一比，想一想 点、点、点…… 数字圈圈 数一数水 2
（日）安野光雅著；李玉珍译2013 年出版104 页ISBN：7513308076