第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

3.1 集合的基本概念与表示 3.2 集合的基本运算 3.3 集合元素的计数 3.4 例题选解 习题三

本单元内容要点 原函数的概念, 不定积分的概念与基本性质,基本积分公式,第一类换元积分法, 第二类换元积分法.分部积分法

为了沟通空间图形与数的研究，我们用类 似于平面解析几何的方法，通过引进空间直角 坐标系来实现。 数轴上的点与数 具有一一对应的关系。 x 平面直角坐标系使我们建立了平面上的点 与一对有序数组之间的一一对应关系，沟 通了平面图形与数的研究

一、主要内容 1．假设检验的基本概念，假设检验可能产生的两类错误，假设检验的基本步骤； 2．单个正态总体均值与方差假设检验方法; 3．两个正态总体的均值差与方差比假设检验方法；

定义 1.2.2: 设Ω 为一样本空间，F 为Ω 某些子集所组成 的集合类，如果F 满足： （1）Ω ∈F ； （2）若 A∈F ，则对立事件 A∈F ； （3）若 A ∈ , n = 1, 2,L, n F 则可列并 ∈F

一、本单元的基本要点 1.集合的一般概念：集合的表示法；集合的基本运算； 常见的几类实数集合；区间、邻域、去心邻域、平面上矩形区域的乘积表示法． 2.映射的概念及满射、单射、一一映射、逆映射和复合映射．