![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版】](http://img3m3.ddimg.cn/55/15/11759082643-1_l.jpg)
![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m5.ddimg.cn/41/25/11809111685-1_l.jpg)
第三版修订主要进行下述两方面工作。① 对原书的内容做了适当的扩充。如增加了衰减全反射傅里叶变换红外光谱法、色谱-质谱/质谱联用技术、软电离源质谱的解析等新内容。在核磁共振光谱一章增加了13C门控去偶和反转门控去偶技术；在质谱一章的仪器部分增加了离子阱质量分析器与傅里叶变换离子回旋共振质量分析器；在色谱-质谱联用部分介绍了一些新型接口技术（如电接口、大气压化学电离接口）；在色谱一章的仪器部分介绍了蒸发光散射检测器等。② 对原书的一些不当之处做了必要的删减、修订和适当的调整。使之更趋完善与合理。另外，对例题和习题做了重新审定，增加了部分例题和习题。
该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。
自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法
《超级通俗考研数学:攻坚站之高等数学》的一大特点是通俗易懂，深入浅出。主要内容包括高等院校高等数学课程的所有内容，针对考研数学的特殊性进行了强化，同时对于一些传统课本中的重点、难点、疑点以及被忽视的一些潜在要点做出了全新诠释。另外，由于作者常年从事考研培训，《超级通俗考研数学:攻坚站之高等数学》还包括相当多的不传之秘——考研数学的套路。
![斯米尔诺夫高等数学.第五卷.第一分册 [俄罗斯]斯米尔诺夫 著 9787560365787 哈尔滨工业大学出版社](http://img3m4.ddimg.cn/44/30/11906196434-1_l.jpg)
