逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。

本“导论”是中国科学技术大学非数学专业通用的讲义，是在40年的使用过程中，经过不断的修订、充实而成的。 与同类书相比，其广度有所拓宽，论证定理、公式逻辑严谨，编排内容循序渐进，阐述概念联系实际，深入浅出。 为加深对概念、定理等的理解和掌握，书中编有丰富的例题，以及习题和总复习题。 本“导论”分三册出版。本册讲述单变量函数微积分，中册讲述空间解析几何、多变量函数微积分，下册讲述组数与常微分方程。 本书另配学习辅导一册。 本册内容包括函数的极限，单变量函数的微分学，单变量函数的积分学，可积常微分方程共四章。 本“导论”可作理工科院校非数学专业或师范类院校数学专业的教材或教学参考书，也可供具有数学基础的读者自学。

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。

。

本书是以数学新课程标准为依据，以数学学科核心素养为目标，优化知识的呈现方式，并深度应用可动态交互的AR、互动微件等新媒体技术，采用可视化教学和沉浸式学习方式，融科学性、艺术性、互动性和趣味性为一体的可视化教学用书。全书分为直线与方程、圆与方程、圆锥曲线与方程三个部分，通过坐标系，把几何的基本元素——点和代数的基本对象——数（有序数对或数组）对应起来，从而把几何问题转化为代数问题，再通过代数方法研究几何图形的性质，并解决与圆锥曲线有关的几何问题和实际问题，让读者进一步感受数形结合的思想方法，体会坐标法的魅力与威力。

本书首先介绍了学习这门课程所需的一些预备知识，如集合、映射、数域及数学归纳法等。正文部分主要内容有空间解析几何、数域上的多项式、行列式、矩阵、向量与线性方程组、线性空间、线性变换与相似矩阵、内积空间、双线性函数与二次型及多项式矩阵，共十章。每节后配有习题，便于学生对本节知识的巩固和提高。为使初学者易于掌握内容，作者力求做到层次清晰、结构严谨、深入浅出、循序渐进等特点。本书可作为普通高等学校数学类、应用数学类及数学相关专业的教材或教学参考书。

逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。