大约有530,281项符合查询结果项。(搜索耗时:0.6312秒)
为您推荐: 几何定理机器证明的案例 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
-
-
-
拉克斯定理和阿廷定理 从一道IMO试题的解法谈起
戴执中,佩捷编著2014 年出版167 页ISBN:9787560340159本书是“数学中的小问题大定理”系列丛书之一。通过一道IMO试题研究讨论拉克斯定理和阿廷定理,并着重介绍了希尔伯特第十七问题。本书可供从事这一数学分支或相关学科的数学工作者、大学生以及数学爱好者研...
-
机器人操作系统ROS原理与应用
周兴杜,杨刚,王岚等编著2017 年出版209 页ISBN:9787111568360本书主要分析ROS的核心功能实现原理,探讨基于ROS的智能机器人软件系统优化开发方法与实现技术。本书主要分为四部分:智能机器人发展现状和ROS基本框架;ROS核心功能包集实现原理及源码分析;基于ROS的服务、工...
-
-
多尺度模型的基本原理 英文版
鄂维南著2012 年出版397 页ISBN:9787030334855本书系统介绍有关多尺度建模的基本问题,主要介绍其基本原理而非具体应用。前四章介绍有关多尺度建模的一些背景材料,包括基本的物理模型,例如,连续统力学、量子力学,还包括一些多尺度问题中常用的分析工具,例如.....
-
-
马克思主义哲学基本原理的断代史考察 1889-1938
徐军著2016 年出版450 页ISBN:9787010168616本书对从第二国际到苏联(1998~1938)的理论家探索、创立马克思主义哲学基本原理的过程和基本成果作了系统的断代史考察。重点分析了这一思想进程的历史语境、理论形态、基本环节、逻辑线索和传承关系,揭示了“马...
-
马克思主义基本原理教学新体系 基于实践思维方式的阐释
倪志安等著2009 年出版398 页ISBN:9787010080239本书根据马克思主义的理论本性和教育教学规律,致力于把“马克思主义基本原理概论”的教材体系,转化为对大学生实施有效的马克思主义理论教育而具有科学性、吸引力和说服力的教学体系。本书的三个特点是:一、对...
