该书是为高等院校文科专业的本科生和数学爱好者编写的一本应用数学教科书。共有十个专题，内容包括数学文化、函数及其应用、随机性问题的概率分析、常见随机变量的概率分布及应用、期望值准则的决策分析、数据的描述性统计与分析、线性相关与回归分析、经济法律问题的博弈分析、数学建模方法以及MATLAB软件的简单应用。该书以读者已经具备的数学基础或容易接受的高等数学知识作为基准。各专题尽量避免繁琐的数学计算及深奥的理论证明，重点针对经济学、管理学、法学等领域及生活实际中的大量实例展开专题探讨，介绍既有趣又有用的现代数学新思想、新方法与新内容。目的是提高文科专业学生的数学素质，开阔视野，使学生在学习数学时能有意识地着眼于数学思想、数学方法的广泛应用，并培养文科专业的学生借助数学软件应用现代数学方法分析问题、解决问题的创新意识。本书可作为政、法、文、史、哲等专业应用数学课程教学改革试验教材，也可作为数学爱好者的数学参考书，还可作为文科高等院校教师讲授高等数学课程的教辅材料。

关于孤子（也称孤立子）理论中双线性方程的研究，国际上十分活跃，本书主要介绍处理双线性方程的技巧——“直接方法”。作者结合自己多年的研究成果，细致深入地阐述了求解非线性偏微分方程的精确解的过程，“广田方法”的要点，以及如何用Pfaff式统一显式表示多孤子解，由此提出了孤子方程可以看成Pfaff式恒等式的新观点。全书共分4章。第1章详细地描述“直接方法”的要点，以及用“直接方法”求解偏微分方程精确解的过程。第2章引入需要使用的数学工具，特别是行列式和Pfaff式理论，通过实例，深入浅出地介绍这些方面所涉及的技巧。第3章从直接方法的角度，讨论孤立子方程的数学结构。第4章详细讨论双线性Backlund变换。本书可供高等院校和科研机构的数学、物理、力学、光学等专业高年级大学生、研究生和教师阅读，也可供从事非线性科学、理论物理、数学物理和工程等方面的科技人员参考。

本书内容有点、线、面、线面关系、投影变换、曲线曲面、立体的投影、平面和立体截交、直线和立体相交、两曲面体相交、立体的表面展开和轴侧投影等，共12章。本书适用于高等院校理下科有关专业，也可供高等职业学院、高等专科学校、电视大学、网络学院、函授大学等学校的理下科有关专业作为教材使用。与本书配套的还有《画法几何简明教程习题集》，由同济大学出版社同时出版。

《高职高专高等数学基础特色教材系列·微积分（第4版）：经济类与管理类》：高职高专高等数学基础特色教材系列。高职高专高等数学基础特色教材系列（经济类与管理类）是为高职高专经济类与管理类各专业编著的教材与辅导书，包括《微积分》、《微积分学习指导》及《线性代数与概率论》、《线性代数与概率论学习指导》或《线性代数》、《概率论》。这是一套特色鲜明的教材系列，其特色是：密切结合经济工作的需要，充分注意逻辑思维的规律，突出重点，说理透彻，循序渐进，通俗易懂。

本书编写队伍来自30个国家的400多位物理学家和数学家，历时4年，倾力奉献。包括诺贝尔物理学奖获得者杨振宁教授和英国牛津大学Roger Penrose教授等。400多篇图文并茂的综述性文章，内容全面系统、领域涵盖广泛，参考文献丰富，可全面了解数学物理基础知识、发展前沿以及核心课题。本书适于物理学和数学领域的所有高等院校的广大师生和科研院所的研究人员及研究生参考使用。

本套书编纂队伍阵容强大，按学科分支重新编排——共分12卷：数学物理导言1卷，物理学方面7卷，数学方面4卷。内容新颖权威：400多篇图文并茂的综述性文章，内容全面系统、领域涵盖广泛，参考文献丰富，可全面了解数学物理基础知识、发展前沿以及核心课题。适于物理学和数学领域的所有高等院校的广大师生和科研院所的研究人员及研究生参考使用。本书是其中之一，介绍了平衡态统计力学、非平衡态统计力学等内容。

本书重点介绍运筹学的进阶内容，主要包括非线性规划、组合优化等基本的理论和方法。本书着重讲解高级运筹学的基本概念与重要算法，力求理论与应用的结合，强调算法的实现与软件的运用。本书可作为高等院校有关专业研究生和高年级本科生的高级运筹学或最优化方法等课程的教材，亦可供其他科技人员和实际工作者自学或参考。

《高等学校教材：离散数学》系统地介绍了离散数学的四大分支——集合理论、抽象代数、数理逻辑与图论的基本内容。全书分成四篇，共9章，分别阐述了集合、关系、函数、代数系统及其性质、几个典型的代数系统、命题逻辑、一阶谓词逻辑、图与特殊图等内容，体系严谨，结构合理，论述清楚，讲解翔实，着重概念的应用。书中配有大量的例题，帮助学生由浅入深地理解与掌握概念，并且每章附有适量的习题。《高等学校教材：离散数学》可作为计算机及相关专业本科生的教材，也可以作为计算机专业及相关专业的科技人员使用。

《高等学校教学用书：线性代数学习引导（第2版）》参照同工、管、经类《线性代数》的基本内容，分6章系统地阐述了线性代数教与学的问题，每章均由教学目标、内容提要、学习引导和能力测试四部分组成。教学目标分知识、领会、运用、分析综合四个能力层次，具体地阐述了线性代数教学的基本要求，能使学生明确学习目标，增强学习的主动性和目的性；内容提要用树形图表的方式简明扼要地总结、概括每章的内容，能使学生掌握知识间的联系，形成牢固的知识结构；学习引导围绕教材的重点、难点，论述数学思想、数学方法、学习方法、解题方法等方面的内容，能使学生开阔视野，加深知识的理解，从更高的层次把握所学的知识；能力测试精心编选了测试题，包括判断、填空、选择、解答和证明等题型涉及知识、领会、运用、分析综合各个能力层次的问题，每个题前都标明了正确解答该问题所要求的能力水平；书末附有能力测试题答案，以便学生巩固练习，进行能力测试及评价，明确努力的方向。《高等学校教学用书：线性代数学习引导（第2版）》可作为工科线性代数课程的教学参考书，也可以作为报考硕士研究生的复习材料。

What is a mathematical proof？ How can proofs be justified？ Are there limitations to provability？ To what extent can machines carry out mathematical proofs？ Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is' Godel's completeness theorem， which shows that the consequence relation coincides with formal provability： By means of a calculus consisting of simple formal inference rules， one can obtain all consequences of a given axiom system （and in particular， imitate all mathematical proofs）