大约有530,281项符合查询结果项。(搜索耗时:1.0213秒)
为您推荐: 几何定理机器证明的案例 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
-
近海生物地球化学的基本原理
张经编著2009 年出版279 页ISBN:9787040266238本书在陆——海相互作用的框架范围之下,分析陆地上的积水盆地中的风化作用特点以及与之相伴的重要化学反应类型对元素迁移的不同贡献;近海生态系统中生源要素、痕量元素、稳定和放射性同位素的生物地球化学循...
-
-
-
药物设计和开发中的药物代谢基本原理和实践
DongluZhang,MingsheZhu,W.GriffithHumphreys主编;钟大放,李桦主译2011 年出版417 页ISBN:9787509148747本书由一组活跃在美国各大制药公司和研究机构的药物代谢学家根据他们的工作经验和实践而撰写的,书的组织结构是从理论和实践相结合的角度设计的,第一部分是与新药代谢性质评价相关的最新基础理论知识的概述和...
-
-
证明与反驳 数学发现的逻辑
(英)伊姆雷·拉卡托斯(Imre Lakatos)著;方刚,兰钊译2007 年出版193 页ISBN:7309053974本书主要研究数学方法论问题。数学知识如何增长?是靠一成不变地增加千真万确的定理的数目,还是按照证明与反驳的逻辑不断改进等。
-
被证明的不平等:社会正义的原则
(德)威尔福莱德·亨氏著2008 年出版307 页ISBN:9787500473688民主系统,只有当这一制度满足政治正义的基本权利要求,保障所有公民法定的社会生产财富,才是公正的,在其没有满足这些条件之前,都理应受到批判,求改革。...
-
-
机器视觉系统原理与应用
郑睿,郐新凯,杨国胜编著2014 年出版161 页ISBN:9787517018810目前市面上大多关于机器视觉的书籍都偏重于算法的介绍,本书则从系统设计的角度出发,对机器视觉系统的各方面进行了全方位介绍,因为实现可用的机器视觉系统是一项综合性工程,单独从算法方面着手可能会陷入困境。...
