本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
液体、气体的运动与弹性结构的相互作用是用流体弹性力学理论来描述的。由于其交叉性质，在许多学科和工程领域中，流体弹性力学之课题都成了主要的研究内容，并被广泛应用。 在流体与弹性体相互作用的非线性问题分类的基础上，《板壳非线性流体弹性力学》重点介绍：求解流体弹性力学问题的相容拉格朗日-欧拉法；流体弹性力学的基本方程，建立介质接触表面问题的必要条件；板壳同液体相互作用非线性问题的计算方法及应用算例；将非线性流体弹性动力学问题深入到混沌、分岔的研究领域之中。 《板壳非线性流体弹性力学》是从事航空、航天、船舶设计、仪器仪表、流体机械、水下工程、机械设计制造等领域的工程技术人员及科研工作者，在研究流体作用下的板壳强度、刚度和稳定性计算时的参考读物，同时也是高等院校力学、物理、机械设
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书100%为正版，请放心购买！ 基本信息 书 名 可积系统中的非线性波 出版社 中国科技出版传媒股份有限公司 作 者 扎其劳著 出版时间 20180801 I S B N 9787030583291 定价 98 开 本 16开 185*260 装 帧 平装 版 次 1 字 数 304 (千字) 页 数 241 读者范围
老蒋主编的《MBA MPA MPAcc英语分册( 8版2020版共2册专硕联考机工版紫皮书分册系列教材)》由 辅导名师根据 全国硕士研究生招生考试英语（二）考试大纲编写而成，分为方向篇、基础篇和应试篇三部分。方向篇深入解读英语（二）考试大纲，为考生复习指明方向；基础篇精心遴选词汇和语法的系统练习，进一步为考生的读、写、译强化基础；应试篇对英语（二）各题型板块进行深度精讲，全面涵盖完形填空、阅读理解A、阅读理解B、短文翻译和大小作文5部分，使考生在考场上能做到举一反三、触类旁通。 本次修订全新赠送50小时的老蒋精讲视频，逐题逐词带你记单词学语法，效果翻倍。视频详见《方向基础篇》。 本书适用于参加英语（二）考试的各专业考生，有助于考生短期内把控英语（二）应试精髓，掌握英语（二）各题型破解套路。
《材料力学性能测试手册》从工业生产实际出发，以现行的标准资料为依据，全面系统地介绍了材料的各种力学性能测试方法。其主要内容包括：材料力学性能相关知识、材料拉伸性能测定试验、材料硬度测定试验、材料冲击性能测定试验、材料扭转性能测定试验、材料剪切性能测定试验、材料压缩性能测定试验、材料弯曲性能测定试验、材料断裂性能测定试验、材料疲劳性能测定试验。
本书自1992年9月出版以来，深受教师和学生的欢迎。在第二、三版中，作者根据读者提出的宝贵意见，以及在教学实践中的体会，对本书内容做了进一步修改与完善。 本版是第四版，其修订的指导思想是：在本书原有的框架和内容做尽可能少的改动下，让教初等数论的老师觉得更好用，学初等数论的读者觉得更易学，特别是自学。在本版中，除了附录四之外，内容整体上没有增加或减少。本次修订主要做了以下几点修改：将习题中一些较难的或需要用到大学数学知识的非基本题加上了星号“*”，以便读者区分；在附录四中增加了从2013年至2023年与初等数论有关的国际数学奥林匹克竞赛（IMO）试题；对书中部分内容的叙述做了少量必要的修改，以便读者更好地理解和掌握；改正了书中一些印刷错误及误漏。这些修改，对教与学都应该是有帮助的。 本书是大学“
书号:9787519308162 书名:数学姓童(童话数学趣味教育)(精) 定价:98 注：预售品种请单独下单，与预售品种一起拍的品种默认和预售品种一起发货！
为了帮助报考管理类研究生入学考试的考生更好地复习、备考数学，编者按照考试大纲的要求，结合众多考生的基础，全新变革编写本书.在保持优点、特色的前提下，继续定位精品辅导教材，努力体现创新教学理念，激发学生自主学习能力，打破常规应考模式，提高灵活应试能力. 全书按照考试大纲的要求分为算术、代数、几何、数据分析部分，共十一章. 每章分五个小节，节大纲解读，利用数字化导图及历年真题分布表引导读者洞察考向，一览考纲全貌；第二节重点考向和第三节难点考向，将模块、考点及考向进行数字化编码，将考点讲解与考向例题紧密结合，可以快速夯实基础，拾起多年遗忘的考点，让你居高临下，解决考试难点；第四节基础自测题和第五节综合提高题，助你融会贯通，掌握知识脉络，让考试尽在掌握之中.本书后附上一套过关检测题和近三
