美商天龙图书网

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

物理化学(机械及材料类专业用第4版高等学校教材)
所属分类：数理化学科>>数理化学科>>化学、晶体学作者：任素贞//王旭珍//施维出版社：上海科技
任素贞等编著的《物理化学》具有鲜明的机械及材料大类专业特色，但并不降低物理化学的教学基本要求，涵盖了物理化学的完整知识体系，并力求将物理化学的基本原理与实际应用相结合，同时紧密关注学科发展趋势，将相关的物理化学最新成果及其应用实例适时体现在教材中。《物理化学》内容分为九章，包括热力学第一定律、热力学第二定律、化学平衡、混合物和溶液、相平衡、统计热力学初步、化学动力学基础、电化学、界面现象与分散系统。各章编排了丰富的例题、思考题和习题，并附有参考答案。书后附录还提供了适用于机械冶金领域的物质的相对焓和吉布斯能函数表。《物理化学》可作为高等学校机械、材料、化学、化工、能源等大类专业本科生的教材，也可作为报考相关专业研究生的入学考试参考书，并可供相关专业科技人员参考。
人民币：RMB 45.00 元售价：NT$ 180.00 元

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

理论力学(高等院校机械类专业互联网+创新规划教材)
所属分类：数理化学科>>数理化学科>>力学作者：编者:刘军//阎海鹏出版社：北京大学
刘军、阎海鹏主编的《理论力学(高等院校机械类专业互联网+创新规划教材)》是按照教育部关于工科理论力学的教学基本要求编写的。全书分为三篇：静力学、运动学和动力学。静力学部分主要讲述物体受力分析的方法和力系的简化与平衡，运动学部分主要从几何的观点论述质点和刚体的运动规律，动力学部分讨论物体的运动及受力的关系。本书内容涵盖了理论力学课程的基本要求，共13章，包括静力学公理及物体的受力分析、平面基本力系、平面任意力系、空间力系、摩擦、运动学基础、点的合成运动、刚体的平面运动、质点动力学的基本方程、刚体绕定轴转动的基本方程、质心运动定理与刚体平面运动的微分方程、动能定理、达朗贝尔原理。书后附有各章习题 (计算题)部分答案。本书可以作为工程力学课程中理论力学部分的教材，也可以作为中职+本科(3+4)50～80学时的理论力学课程的教材，还可作为相关专业的电大、夜大和函授的自学教材，并可供相关技术人员参考使用。
人民币：RMB 45.00 元售价：NT$ 180.00 元

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

物理学习指导用书(机械建筑类五年制高等职业教育公共基础课程学习用书)
所属分类：数理化学科>>数理化学科>>物理学作者：编者:刘爱武|责编:李娟出版社：苏州大学
《物理学习指导用书（机械建筑类）》为五年制高职机械建筑类物理教材对应的学习指导用书，该书面向的学生主要是机械建筑类专业。本书的主要内容在基础类的基础上添加了三个章节，主要包括：动量与角动量，机械震动与机械波，固体、液体和气体，为机械建筑类学生更好地开展后续专业课的学习提供了物理方面的理论基础。同时，在义务教育的基础上，引导学生从物理学的视角认识物质世界的运动与变化规律，引领学生逐步形成科学精神及科学的世界观、人生观和价值观，提升民族自信心和环境保护意识，成为德智体美劳全面发展的高素质劳动者和技术技能人才。本书体现了五年制高等职业教育物理学科核心素养的四个方面，通过职教物理的学习进一步促进学生核心素养的养成与发展。
人民币：RMB 38.00 元售价：NT$ 152.00 元

理论力学(第2版全国本科院校机械类创新型应用人才培养规划教材)
所属分类：数理化学科>>数理化学科>>力学作者：盛冬发//刘军出版社：北京大学
　　盛冬发等编的《理论力学》按照教育部关于工科理论力学的教学基本要求编写。全书分为三篇：静力学、运动学和动力学。静力学部分主要讲述物体受力分析的方法和力系的简化与平衡；运动学部分主要从几何的观点论述质点和刚体的运动规律；动力学部分讨论物体的运动及其受力的关系。全书内容涵盖了理论力学课程的基本要求，共14章，内容包括绪论、静力学公理及物体的受力分析、平面汇交力系和平面力偶系、平面任意力系、空间力系、摩擦、运动学基础、点的合成运动、刚体平面运动概述和运动分解、质点动力学基本方程、动量定理、动量矩定理、动能定理、达朗贝尔原理、虚位移原理。《理论力学》可以作为50～80学时的理论力学课程教学用书，也可以作为工程力学课程的理论力学部分教学的教材，还可作为相关专业的电大、夜大和函授的自学教材，也可供其他专业学生和技术人员参考使用。
人民币：RMB 38.00 元售价：NT$ 171.00 元

流体力学与流体机械(普通高等教育能源动力类系列教材)
所属分类：数理化学科>>数理化学科>>力学作者：编者:王贞涛|责编:蔡开颖//李超//宋学敏出版社：机械工业
本书根据高等院校工科类流体力学与流体机械的教学大纲编写而成，围绕实际流动讲述流体力学基础、泵与风机理论、工程常见问题及其处理方法，力求使读者掌握解决常见流体力学与流体机械相关问题的知识。本书主要内容包括：绪论，流体静力学，流体运动学与动力学基础，相似理论与量纲分析，黏性不可压缩流体的管内流动，黏性流体动力学，流体力学实验技术；泵与风机概述，叶片式泵与风机的理论基础，泵与风机的相似理论，泵的汽蚀，泵与风机的运行、调节及选型，其他常用泵与压缩机。本书可作为高等院校能源与动力工程、建筑环境与设备工程、环境与安全工程、机械工程等专业的本科生教材，也可作为有关工程技术人员的参考用书。
人民币：RMB 39.80 元售价：NT$ 159.20 元

流体力学与流体机械(高等职业教育改革与创新新形态教材)
所属分类：数理化学科>>数理化学科>>力学作者：编者:王亮|责编:刘良超出版社：机械工业
本书共分为9个模块，模块一～模块六为流体力学部分，主要介绍了流体静力学和流体动力学的基本理论及应用。模块七～模块九为流体机械部分，主要介绍了排水设备、通风设备和空气压缩设备的基本结构、工作原理、运行规律、性能测定、选型计算以及操作维护、故障分析与处理等内容。全书内容图文并茂，理论学习和技能掌握并重，同时反映了该领域中新成果、新产品及新技术的发展趋势。本书可作为高等职业教育机械、材料、化工、采矿等专业的教学用书，也可作为其他相关专业的教学参考书或培训机构的培训教材，并可供有关工程技术人员参考。
人民币：RMB 49.80 元售价：NT$ 199.20 元

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

最近浏览的商品