本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书既能适用于计算机专业又能满足数学系基础数学专业，为了适

本书主要前三章主要介绍引进集合论的基本公理、基本概念、基本方法以及建立起典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合的集合。第四章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第五章专门引进实数集合并展开对它的系统分析。本书既能适用于计算机专业又能满足数学系基础数学专业

本书内容包括复数与复变函数，解析函数，复变函数的积分，级数，留数，保形映射等，共分六章。 本书在编写过程中力求做到条理清晰，层次分明，通俗易懂，注重解题方法的训练和能力的培养。为巩固正文内容，在每一章的末尾都配有小结和测验作业，以使读者易于抓住每一章的重点并测试自己对本章基本内容的掌握情况。 本书可供高等工科院校各

本书根据课程教学目标和知识点，以“知识主导、能力驱动”为中心编写。书中以数学建模实际案例为切入点，通过对一个个生动案例进行分析、讨论、建模、求解的一整套过程，帮助学生掌握一大类问题的求解方法，达到“以点扩面”的效果。每个案例后均配备有思考题，让学生能够做到学有所思、学有所获。书中还注重挖掘课程知识点与社会主义核心价值观

本书是为工科院校学生学习高等数学，打好数学基础，提升学生参加期末、考研、竞赛等成绩而编写的教学辅导教材，内容所涉猎试题覆盖了等数学全部知识点。全书共有五部分，约1200多道试题。以阶段性测试(10套)、期末考试(10套)、考研数学一(10套)、陕西省竞赛(10套)、全国预决赛(25套)试题及其详细解析的形式呈现。试题题

本书是针对高等学校理工类与经济管理类专业“线性代数”课程编写的同步辅导书。主要内容包括：教学要求，内容提要，典型例题与分析，练习题与答案，同步自测题等。本书内容丰富，不仅对线性代数课程知识点的概要总结，而且对典型问题系统深入分析，是同步学习的有益参考书。

本书共七章，主要内容包括行列式、矩阵、线性方程组、方阵的特征值与特征向量、二次型、线性空间与线性变换、线性代数的MATLAB计算。

本书系统地介绍了线性代数的基本内容，包括行列式、矩阵、线性方程组、向量空间、矩阵的特征值和特征向量、二次型。侧重介绍了线性代数的基本思想、基本理论、基本方法，以及在经济管理中的应用。本书主要介绍线性代数的基本理论，包括行列式、矩阵、线性方程组、向量空间、矩阵的特征值和特征向量、二次型。对具体内容的处理。上，强化对概念、

本书共安排23讲，每讲包含主要内容、教学要求、学习重点、思考问题、典型题分析、练习题、练习题解答等七部分，另外，又在每一章最后安排了总复习题和答案。“主要内容”是各讲涉及的相关内容；“教学要求”的主要依据是全国工科教学指导委员会的指导意见和教学大纲；“学习重点”是初学高等数学时应重点予以注意的内容，也是基本的要求；“思

本书从《礼记。文王世子》中“教之以事而喻诸德”引入，阐明数学课程的育人元素、切入点与实施路径。全书分为三部分：理论篇、方法与案例篇、实操篇。其中理论篇阐述教书育人的理论发展、课程思政的研究综述、课程育人的教学原则等。方法篇分为3章：将科学精神、专业思想融入到数学知识中；将道德培养与品格塑造融入到日常教学活动中；将哲学原