2.1 统计理论概述 2.2 统计数据的采集 2.3 统计数据的整理

1.1 Excel基本操作 1.2 工作表的操作 1.3 公式与函数的操作 1.4 分类汇总与数据透视表 1.5 图形与图表的操作

21世纪高职高专新概念教材 主 编 王维鸿 中国水利水电出版社

我们在《数学分析》教学中引入数学实 验内容，是对师范类本科教学的一个尝 试 重点培养学生计算机和“用数学” 的 能力 采用目前国际流行的数学工具软件 Matlab开展教学活动

第一节 Matlab语言基础 第二节 Matlab基本数学运算 第三节 Matlab简单程序设计 第四节 Matlab作图

前言 Newton 和 Leibnitz 创立的微积分学是 很多科学科学的基础，本课程将借助 MATLAB 语言的符号运算工具箱可以直 接对微积分学中最常见的问题，如单变 量与多变量微积分、极限、级数求和、 Taylor幂级数展开、Fourier 级数展开等 问题直接求解

▪等值式 ▪基本等值式 ▪量词否定等值式 ▪量词辖域收缩与扩张等值式 ▪量词分配等值式 ▪前束范式

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法

一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式