本书分上、下两册。本册为下册，主要包括向量代数与空间解析几何、多元函数微积分学、级数。各章配有习题，书末附有习题答案。 高等数学是基础学科，广义地说，初等数学之外的数学都是高等数学，也有将中学较深入的代数、几何以及简单的集合论初步、逻辑初步称为中等数学的，将其作为中小学阶段的初等数学与大学阶段的高等数学的过渡。通常认

本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础，对培养学生的素养以及提高解决问题的能力有重要的意义

微积分几何讲义

《数学方法论》共七章，在介绍数学方法论的研究意义、研究对象的基础上，阐述数学建模、数学抽象、推理等基本数学思想，在此基础上，阐述数学化归思想、类比、归纳、猜想等数学发现的基本方法及其在数学解题中的应用．同时，《数学方法论》阐述数学美学和数学方法论在数学教育的价值及其教学策略．

本书用现代数学观点阐述常微分方程论中的一些基本问题，全书共五章：基本概念，基本理论，线性系统，基本定理的证明和流形上的微分方程。

本书以高等数学及线性代数、微分方程和概率统计中主要概念、命题为内容，通过简单的演示，巩固相应知识，然后简介相关算法及程序语言，给出设计方案或相应程序，对这些内容进行探讨，以引导学生主动探求为主，目的是通过这些内容的实验，不仅是学生对所选内容加深理解，更主要的是使学生学会利用数学软件探究数学问题，是学生由学数学到做数学，

本书主要介绍国内外环与代数研究的*成就和发展方向，在*版的基础上修订再版，除删除了一些成旧内容外，增添关于分次环，路代数，箭图表示，有限表示型箭图4章，力图向读者介绍分次环，箭图及其表示*基本的知识，使之能够了解和进入环与代数当前研究的一些非常具有活力的领域。在新增部分，我们将介绍分次环，分次摸，分次Artin环，Sm

本书在*版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的*理论等4部分。同时，在*版的基础上对“计量逻辑学”，关于一阶系统K完备性的证明等诸多内容做了补充或改写。 本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。

本书共分两个部分：拓扑学中的手性和数学走进生物大分子序列。 *部分是一次演讲的纲要。手性就是左右不对称性，是自然界的常见现象，在化学中日益重要。本文介绍了作者和王诗宬教授合作的一个科研课题的来龙去脉。从材料化学家1982年的实验和问题、拓扑学家1986年的回答，提出我们自己的新概念与新问题。解释了所涉及的数学概念，以

本书介绍了从欧几里得、费马、欧拉、高斯以来2000多年中素数研究的重要成果、问题、思想和方法，包括素数有多少、如何识别素数、是否有定义素数的函数等一系列具有重要理论意义和应用背景的问题，并介绍了相关问题至2003年的*记录