本书是一本着重实际应用又兼顾理论要求的运筹学教材. 主要内容包括线性规划、整数规划、目标规划、非线性规划、动态规划及决策分析. 各章附有习题，书末有习题解答和提示. 本书对数学基础要求较低，适用专业范围广；基本概念与基本理论阐述清晰透彻，密切联系实际，各种算法推导详细，配有丰富实用的例题. 本书可作为工程硕士研究生以及经济管理等非数学专业大学生、研究生的教材，也可供科技人员和管理人员参考。
《高等数学解题方法与技巧》在介绍相关内容的基础上，指明了重点、难点以及基本概念、方法、公式和定理。在例题和解题方法等方面，共选编了381题，每题均有详解，对较难的题目首先给出分析，然后给出解法，有的甚至给出几种解法和点评，以使读者开阔思路，扩大眼界，融会贯通。《高等数学解题方法与技巧》适合高等学校、成人高校学生学习，也可作为教师的教学参考书。
![科学版大学数学习题精解系列：美国大学生数学竞赛例题选讲 [美]L.C.拉森 著；潘正义 译 科学出版社【可开电子发票】](http://img3m0.ddimg.cn/61/19/11936133160-1_l.jpg)
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
![斯米尔诺夫高等数学.第二卷.第一分册[俄]斯米尔诺夫 著哈尔滨工业大学出版社（正版旧书）9787560365220](http://img3m0.ddimg.cn/73/36/11938995460-1_l.jpg)
该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。
