本书内容分为6章,分别是函数的极限、函数的导数、函数的积分、矩阵与线性方程组、命题逻辑、谓词逻辑,各章均配有一定数量的习题,书末附有习题参考答案,教学时数约48学时。使用者可根据教学实际灵活选择教学内容。
本书从各个角度较自然地引出数学基本概念,展现数学知识的来龙去脉,揭示数学对象的本质特征,体现具有创新意义的数学思想方法。书中介绍了一些数学家的品质与业绩以及数学家对数学的认识等内容,渗透了数学的人文精神,突出了文科数学教育的特点。
本书可作为高等学校文科各专业教材。
前言
一元函数的微积分
1 函数的极限
1.1 函数
1.1.1 函数的定义
1.1.2 分段函数
1.1.3 有界函数
1.1.4 复合函数
1.2 函数的极限
1.2.1 函数极限的定义
1.2.2 函数极限的四则运算法则
1.2.3 复合函数的极限
1.3 函数的连续性
本章小结
习题一
2 函数的导数
2.1 导数
2.1.1 函数导数的定义
2.1.2 函数的左、右导数
2.1.3 导数的几何意义
2.1.4 高阶导数
2.1.5 函数的微分
2.2 求导法则
2.2.1 导数的四则运算法则
2.2.2 复合函数的求导法则
2.3 导数的应用
2.3.1 洛必达法则
2.3.2 函数的单调性
2.3.3 函数的极值
本章小结
习题二
3 函数的积分
3.1 函数的定积分
3.1.1 函数定积分的定义
3.1.2 定积分的基本性质
3.2 微积分学基本定理
3.3 函数的不定积分
3.3.1 基本初等函数的不定积分
3.3.2 不定积分的线性公式
3.3.3 不定积分的分部积分公式
3.3.4 不定积分的换元公式
3.4 定积分的计算
3.5 定积分的应用
本章小结
习题三
线性代数初步
4 矩阵与线性方程组
4.1 矩阵的定义及其运算
4.1.1 矩阵的定义
4.1.2 矩阵的线性运算
4.1.3 矩阵的乘法
4.1.4 矩阵的转置
4.2 方阵的行列式
4.2.1 方阵行列式的定义
4.2.2 方阵行列式的性质
4.3 矩阵的秩与矩阵的逆
4.3.1 矩阵的初等变换与初等矩阵
4.3.2 矩阵的等价与阶梯形矩阵
4.3.3 矩阵的秩
4.3.4 方阵的逆
4.4 线性方程组
4.4.1 线性方程组的可解条件
4.4.2 线性方程组的求解方法
本章小结
习题四
数理逻辑初步
5 命题逻辑
5.1 概念
5.1.1 概念的定义
5.1.2 概念问的关系
5.1.3 定义与划分
5.2 命题与命题公式
5.2.1 命题
5.2.2 联结词
5.2.3 命题公式
5.3 命题公式间的关系
5.3.1 命题公式的类型与判定
5.3.2 蕴含与等价
5.3.3 命题定律
5.4 命题逻辑的推理理论
5.4.1 推理规则
5.4.2 形式证明
本章小结
习题五
6 谓词逻辑
6.1 谓词公式
6.1.1 个体词、谓词和量词
6.1.2 谓词公式
6.2 谓词公式间的关系
6.2.1 谓词公式的类型
6.2.2 等价与蕴含
6.2.3 量词定律
6.3 谓词逻辑的推理理论
本章小结
习题六
习题参考答案