包邮高等数学导论(中法双语版)

数学术语中法对照表 符号列表 1 命题逻辑 1.1 命题 1.2 否定，合取，析取 1.3 等价 1.4 蕴含 1.5 演绎推理 1.6 证明方法 1.7 习题 2 集合论 2.1 集合的概念 2.1.1 定义与例题 2.1.2 集合的相等 2.1.3 如何定义集合 2.1.4 其他常用参考集合 2.2 量词 2.2.1 定义与例题 2.2.2 量词的否定与交换 2.2.3 关于变量的类型 2.2.4 量词相关的数学方法 2.3 集合的包含 2.3.1 定义，例题与性质 2.3.2 空集 2.3.3 集合的幂集 2.4 集合运算 2.4.1 交集与并集 2.4.2 差集与补集 2.5 逻辑与集合论的对应关系 2.6 笛卡尔积 2.7 集族与划分 2.7.1 集族 2.7.2 划分 2.8 习题 2.8.1 量词 2.8.2 集合 3 映射与函数 3.1 定义与例题 3.1.1 定义 3.1.2 常用映射 3.1.3 复合 3.2 缘集，直接像集，原像集 3.2.1 直接像集 3.2.2 原像集 3.2.3 ，共与延拓 3.3 单射，满射，双射 3.3.1 单射 3.3.2 满射 3.3.3 双射 3.4 补充 3.4.1 元素族与笛卡尔积 3.4.2 康托尔定理 3.4.3 康托尔-伯恩施坦定理 3.5 习题 4 数学证明方法 4.1 已学方法的概述 4.2 其他常用证明方法 4.2.1 反证法 4.2.2 归纳法 4.2.3 分析综合法 4.3 常用算术定义