本书分为数理逻辑、集合论、代数结构和图论4个部分。其中数理逻辑部分描述一个符号化体系，这个体系可以描述集合论中的所有概念；集合论中有3个小模块，即集合、关系、函数，关系是集合中笛卡儿乘积的子集，函数是关系的子集；代数系统是定义函数的运算；图论是一类特殊的代数系统。本书适合作为高等院校软件工程专业和计算机专业离散数学课程

《数理逻辑/中国高等学校计算机科学与技术专业（应用型）规划教材》共分7章。第0章绪论，介绍元数学的形成与发展，以及元数学与数理逻辑之间的关系，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识，包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比较等方面的内容；第2章介绍可计算性理论的基

几何画板是一个适合中学数学教师、物理教师开展计算机辅助教学以及学生学习的工具软件平台。本书总结编者近十几年来对几何画板的研究，为满足同行学习用几何画板开展辅助数学教学的需要而编写，其最大特点是“实用”。全书共分为4章，除介绍新版（5.x版）几何画板的基本特色、操作约定及如何进行几何画板的用户参数设置外，主要以范例形式介

《离散数学/高等院校信息技术规划教材》系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识。全书共8章。第1章介绍命题及命题逻辑，第2章介绍谓词逻辑及其推理理论，第3章介绍集合与关系的基本概念和性质，第4章介绍函数，第5章介绍代数系统，第6章介绍格与布尔代数，第7章介绍图论的基本概念及其性质，第8章介绍离散数学在

本书是大连理工大学城市学院基础教学部组编的与教材《应用微积分》（上、下册）配套的辅导书。其编写体例是以《应用微积分》的章节为序，按节编写，与教材保持同步。每节包括以下四个版块：内容提要，释疑解惑，例题解析，习题精解。该书也可作为教师的教学参考用书，以及准备考研的同学全面复习高等数学的辅导用书。

本书内容包括：函数、极限与连续；导数与微分；导数的应用；不定积分及其应用；定积分及其应用；多元函数的微积分及其应用；级数等。

本书内容包括大学微积分基础、一元函数微分学、一元函数积分学、线性代数初步和概率统计初步，共五章。

本书共分10章，包括极限与导数，导数的计算技巧与应用，定积分，积分计算，定积分应用，微分方程，向量代数与空间解析几何，多元函数，无穷级数，MATLAB简介及其在高等数学中的应用。

本书是解析几何的学习辅导书，分向量与坐标、平面与直线、特殊曲面、二次曲面、二次曲线共五章。每章由知识概要、典型例题分析与讲解、习题详解三个部分组成，阐释了解析几何的思想和方法，对每章的重点和难点做了梳理与总结，同时通过举例分析，尝试一题多解，提高读者的解题能力。

本书包含：常微分方程，无穷级数、线性代数、概率与统计初步，数学建模简介等。