美商天龙图书网

吴文俊全集--数字机械化(数学机械化卷Ⅲ)(精)
所属分类：数理化学科>>数理化学科>>数学作者：吴文俊出版社：龙门书局
本卷收录了吴文俊的《数学机械化》一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。全书分成三个部分：第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。本书可供数学工作者、数学及计算机专业高年级大学生和研究生以及有关工程人员参阅。
人民币：RMB 198.00 元售价：NT$ 792.00 元

吴文俊全集--数字机械化(数学机械化卷Ⅲ)(精)
所属分类：数理化学科>>数理化学科>>数学作者：吴文俊出版社：龙门书局
本卷收录了吴文俊的《数学机械化》一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。全书分成三个部分：第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。本书可供数学工作者、数学及计算机专业高年级大学生和研究生以及有关工程人员参阅。
人民币：RMB 198.00 元售价：NT$ 792.00 元

吴文俊全集(数学机械化卷Ⅱ)(精)
所属分类：数理化学科>>数理化学科>>数学作者：吴文俊出版社：龙门书局
本卷收录了吴文俊的Mechanical Theorem Proving in Geometries: Basic Principles 一书。书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。全书共分六章。前两章是关于几何机械化的预备知识, 集中介绍了常用几何; 后四章致力于几何的机械化问题。第3 章为几何定理证明的机械化与 Hilbert 机械化定理, 第4, 5 章分别为(常用)无序几何的机械化定理和 (常用)有序几何的机械化定理, 第6 章阐述各种几何的机械化定理。本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
人民币：RMB 158.00 元售价：NT$ 632.00 元

吴文俊全集(数学机械化卷Ⅱ)(精)
所属分类：数理化学科>>数理化学科>>数学作者：吴文俊出版社：龙门书局
本卷收录了吴文俊的Mechanical Theorem Proving in Geometries: Basic Principles 一书。书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。全书共分六章。前两章是关于几何机械化的预备知识, 集中介绍了常用几何; 后四章致力于几何的机械化问题。第3 章为几何定理证明的机械化与 Hilbert 机械化定理, 第4, 5 章分别为(常用)无序几何的机械化定理和 (常用)有序几何的机械化定理, 第6 章阐述各种几何的机械化定理。本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
人民币：RMB 158.00 元售价：NT$ 632.00 元

吴文俊全集(数学机械化卷Ⅰ)(精)
所属分类：数理化学科>>数理化学科>>数学作者：吴文俊出版社：龙门书局
本卷收录了吴文俊的Mathematics Mechanization: MechanicalGeometry Theorem- Proving，Mechanical Geometry Problem-Solving andPolynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。全书分成三个部分：第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。本书可供数学工作者、数学及计算机专业高年级大学生和研究生以及有关工程人员参阅。
人民币：RMB 188.00 元售价：NT$ 752.00 元

画法几何学(第2版现代机械工程系列精品教材)
所属分类：数理化学科>>数理化学科>>数学作者：编者:丛伟出版社：机械工业
丛伟主编的《画法几何学(第2版现代机械工程系列精品教材)》是“十三五”国家重点出版物出版规划项目——现代机械工程系列精品教材，是根据教育部制订的“普通高等院校工程图学课程教学基本要求”，并征求多所高校具有丰富教学经验的工程图学教师的意见和建议，在总结作者近年来的教学改革实践经验的基础上修订完成的。本书的内容符合本课程教学大纲的基本要求。本次修订删除了本科学习阶段不常用的曲线、曲面内容；在第五章投影变换里增加了绕投影面平行轴的旋转以及旋转法综合问题实例，以拓展学生的解题思路。本书内容包括投影的基本知识、点和直线、平面、直线与平面以及两平面的相对位置、投影变换、立体、立体表面的交线、组合体、轴测投影和表面展开，总共十章。本书可作为高等院校本科机械类各专业使用的教材，也可供其他各类学校有关师生和广大工程技术人员参考。
人民币：RMB 27.00 元售价：NT$ 108.00 元

有限元法基础与Mathematica应用(教育部高等学校机械类专业教学指导委员会规划教材)
所属分类：数理化学科>>数理化学科>>数学作者：编者:任春雨|责编:苗庆波出版社：清华大学
本书系统阐述了有限元法的基本原理和计算机实现，在讲述中注重公式的推导与代码实现（Mathematica 软件），精选典型例题，详细介绍了解题思路和技巧。其主要内容有一维问题的矩阵法、弹性问题的微分提法及能量法、弹性问题的积分提法及加权余量法、一维问题单元与插值函数、二维平面问题、薄板弯曲问题、等参元与数值积分、动力学问题等。此外，还简要介绍了有限元软件Abaqus，并应用该软件计算了典型例题。本书可作为土木、船舶、机械等专业本科生或研究生学习有限元法的基础教程，也可供相关工程技术人员参考。
人民币：RMB 42.00 元售价：NT$ 168.00 元

控制工程基础(普通高等学校机械类一流本科专业建设创新教材)
所属分类：数理化学科>>数理化学科>>数学作者：编者:孙晶//张宏//孙伟|责编:毛莹//朱晓颖出版社：科学
本书涵盖了拉普拉斯变换、微分方程、传递函数、时域分析法、频域分析法、根轨迹分析法以及系统稳定性与误差分析等经典控制理论相关的数学知识、基础理论及分析方法。通过选用机械工程实侧，侧重于培养学生应用基本概念与原理进行控制系统动态问题分析的能力以及解决机械系统控制问题的能力。本书主要适用对象为机械设计制造及其自动化、机械工程、智能制造工程、测控技术与仪器等专业的本科生、研究生和相关工程技术人员。
人民币：RMB 45.00 元售价：NT$ 180.00 元

最近浏览的商品