本书主要内容是根据其后期的新的哲学理解对当时流行的数学基础研究中的形式主义思潮、逻辑主义思潮、直觉主义思潮进行分析和批评。

本书共分三部分十四章，内容有：数学哲学；批判的论文；科学与教育；拉卡托斯著作目录。

本书共有十八章,内容包括:自然数串、数的定义、有穷与数学归纳法、序的定义、关系的种类、关系的相似等。

本书分为理论篇、实证篇两个部分，包括数量与数量表征、数量认知研究现状、数量认知模块性的理论基础、数量模块假设的理论背景、数量认知能力的天赋性等内容。

微积分几何讲义

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

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

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

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

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