大约有2,000项符合查询结果项。(搜索耗时:0.0182秒)
为您推荐: 广州重型机器厂一机车间工人理论小组 press第一重型机器厂 press第一机械工业部情报所 重型机器厂技术室 press第二重型机器厂情报科 第一重型机器厂 广州铁路分局 建筑段工人理论小组等写
您是不是要找:
-
高能体系中的分子间相互作用
肖鹤鸣,居学海著(南京理工大学化工学院)2004 年出版317 页ISBN:7030121791本书是作者近六年来部分研究工作的总结。概述高能多聚体、混合体和晶体中的分子间相互作用和结构-性能关系。全书共八章。第一章简介超分子化学和分子间相互作用的概念、本质、研究方法和目的,属文献综述。...
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN:9787118105155本书介绍初等几何的机器证明,重点是消去法。本书详细且细微地介绍了初等几何定理,如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组;同时本书也提出了在公式推导过程中可能出...
-
用图形计算器学微积分 图形计算机器与大学数学
俞正光,张静,段耀武等编2008 年出版203 页ISBN:9787302183570本书以图形计算器HP39gs为例介绍如何利用图形计算器学习一元微积分。
-
-
控制论 或关于在动物和机器中控制和通讯的科学
(美)N.维纳著;郝季仁译2000 年出版237 页ISBN:7806005315《实用主义》从实用主义的意义、实用主义与常识、实用主义的真理概念、实用主义与人本主义、实用主义与宗教等角度,对实用主义进行了系统论述。...
-
极简算法史 从数学到机器的故事
(法)吕克·德·布拉班迪尔著;任轶译2019 年出版138 页ISBN:9787115500809本书呈现了一段妙趣横生的人类思维史。从古希腊哲学到“无所不能”的计算机,数字、计算、推理这些貌似简单的概念在三千年里不断融汇、相互影响、相互塑造。本书描绘了一场人类探索数学、算法与逻辑思维,并最...
-
数学教学法 工艺、铁路和矿业工人技术学校数学教学参考书
(苏)巴尔苏可夫(А.Н.БарсуКов),(苏)多布雷宁(И.Н.Добрынин)著;中华人民共和国劳动部技工培训司译1956 年出版198 页ISBN:15033·136 -
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
控制论 关于动物和机器的控制与传播科学 英文
(美)维纳著2013 年出版212 页ISBN:97875657077041947年10月,维纳写出划时代的著作《控制论》,1948年出版后,立即风行世界。维纳的深刻思想引起了人们的极大重视。它揭示了机器中的通信和控制机能与人的神经、感觉机能的共同规律;为现代科学技术研究提供了崭新...
-
不等式机器证明与自动发现
杨路,夏壁灿著2008 年出版226 页ISBN:9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作,兼顾经典结果和方法。全书共分七章,分别介绍和论述:多项式的伪除与结式;相对单纯分解;多项式的实根;常系数半代数系统的实解隔离;参......