![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m0.ddimg.cn/26/27/11808702800-1_l.jpg)
![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版】](http://img3m3.ddimg.cn/55/15/11759082643-1_l.jpg)
![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版】](http://img3m3.ddimg.cn/83/22/11758940903-1_l.jpg)
该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。
本书是一本实用的全球定位系统?(GPS)定位程序设计工具书。它包括了GPS应用和开发中全部常用的内容。????全书共分十章，它们是:绪论、数据采集和格式转换、卫星位置计算、定位、相对定位、差分GPS定位、动态定位、辅助计算工具、GPSGLONASS组合以及菜单界面设计。本书总结了多年的工作实践和研究成果，以38种不同功能的数学模型及完整的源程序奉献给读者。????本书可供从事航空、航
本书是为适应士官教育的发展，在总参军训和兵种部院校教学局的指导下，由军队院校数学联席会组织相关院校编写而成的。内容符合国家对大专数学的教学基本要求，满足军队士官不同专业人才的培养需求。本书具有知识结构优化，注重能力培养，叙述通俗易懂，注意与中学知识衔接，反映军队特色，课程设计有弹性，可视不同要求选用等特点。本书内容包括集合与函数、极限与连续函数、一元函数的导数与微分、导数的应用、不定积分、定积分及其应用、常微分方程、空间解析几何、二元函数的微分与积分、无穷级数。本书是军队院校士官大专的数学通用教材。
![面向计算机科学的数理逻辑系统建模与推理[德]哈斯、[英]瑞安 著；何伟、樊磊 译机械工业出版社9787111213](http://img3m1.ddimg.cn/90/12/12341059821-1_l.jpg)
