![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m0.ddimg.cn/26/27/11808702800-1_l.jpg)
《铁路线路设计（第2版）》提出并贯彻了由面到带、由带到线、由线到段、由段到点的线路设计理念并依此组织教材编写。重点介绍铁路选线、铁路定线、铁路线形、铁路车站，简要介绍改建及扩建措施，包括磁浮铁路、直线电机地铁、直线电机独轨等新型轨道交通及其线路设计特点。
本书是普通高等院校理工科非数学类各专业(尤其是物理类专业)本科生的“高等数学”教材。全书分上、下两册，其中上册除绪论外，共有六章，内容包括：函数与极限、微积分的基本概念、积分的计算及应用、微分中值定理
本书共分6章，主要涉及分数阶偏微分方程的理论分析以及数值计算。章着重介绍分数阶导数的由来以及一些分数阶偏微分方程的物理背景；第2章介绍Riemann-Liouville等分数阶导数以及分数阶Sobolev空间、交换子估计等常用的工具；第3章从理论的角度讨论一些重要的偏微分方程；从第4章开始重点讨论分数阶偏微分方程的数值计算，介绍了有限差分法、级数逼近法（主要是Adomian分解和变分迭代法）、有限元法以及谱方法、无网格法等计算方法。本书涵盖了该领域的一些前沿结果以及作者目前的一些研究结果。本书可供数学专业、应用数学专业和计算数学专业的高年级学生、研究生、教师以及相关的科技工作者阅读、参考。
![面向计算机科学的数理逻辑系统建模与推理[德]哈斯、[英]瑞安 著；何伟、樊磊 译机械工业出版社9787111213](http://img3m5.ddimg.cn/4/12/11970411655-1_l.jpg)
《力学（第四版）（上册）》第二版于1987年获国家教.委高等学校优秀教材一等奖。此为第四版。这次修订，根据读者意见和修订者的教学体会，在保持原书特点的同时，调整更换了某些内容、例题和习题，使难度水平适
