命题的基本概念 命题联结词 命题合式公式、重言式 自然语句的形式化

（一）理论课程 1《空间解析几何》 2《离散数学》 3《时间序列分析》 4《数值计算方法》 5《运筹与优化》 6《Python 程序设计》 7《常微分方程》 8《大数据技术原理及应用》 9《复变函数论》 10《概率统计》 11《高等代数》 12《面向对象程序设计》 13《数据结构与算法》 14《数据库原理及应用》 15《数据挖掘》 16《数理统计》 17《数学分析（1）》 18《数学分析（2）》 19《数学建模(1)》 20《数学建模(2)》 21《数学软件及应用》 （二）实验课程 22《时间序列分析》 23《数据结构与算法》 24《数学软件及应用》 25《数值计算方法》 26《Python 程序设计》 27《大数据技术原理及应用》实验 28《面向对象程序设计》 29《数据库原理及应用》课程 30《数据挖掘》 31《数理统计》 （三）实践课程 32《专业教育》 33《web 数据挖掘与电子商务项目实训》 34《技能实训》教学大纲 35《客户数据分析项目设计》 36《数学建模(1)》 37《数学建模(2)》 38《中文文本数据挖掘项目实训》 39《综合项目实训》教学大纲 40《毕业设计（论文）》教学大纲 41《毕业实习》教学大纲

（一）理论课程 1《初等数论》 2《数学史与思想方法》 3《中国文化史与国际理解教育》 4《小学英语课堂用语》 5《现代教育技术》 6《儿童文学》 7《教师职业道德》 8《课程与教学论》 9《教育科学研究方法》 10《教育学 A 》 11《书法/教师书写技能(1)》 12《书法/教师书写技能(2)》 13《小学班队原理与实践》 14《音乐基础 1》 15《音乐基础 2》 16《美术基础 1》 17《美术基础 2》 18《手工与教具制作》 19《普通话》 20《教师礼仪》 21《基础写作》 22《古代汉语》 23《现代汉语》 24《中国古代文学（1）》 25《中国古代文学（2）》 26《中国现现代文学（1）》 27《中国现当代文学（2）》 28《外国文学》 29《数学分析（1）》 30《数学分析（2）》 31《代数学基础》 32《几何学基础》 33《概率与统计基础》 34《数学竞赛指导》 35《小学数学研究》 36《物理知识与实验操作》 37《智能设备与互联网》 38《小学课堂组织与管理》 39《汉字文化》 40《课堂语言艺术》 41《离散数学》 42《教育统计学》 43《双语教学理论与实践》 44《英美文学名篇选读》 45《西方文化》 46《多媒体课件制作》 47《儿童影视欣赏》 48《小学写作教学案例与引导》 49《小学阅读与作文指导》 50《小学英语课程与教学论》 51《小学语文课程与教学论》 52《小学数学课程与教学论》 53《小学语文古诗文教法》 54《发展心理学》 55《试讲与微格教学》 56《数学常用软件选讲》 （二）实验课程 57《试讲与微格教学》 58《物理知识与实验操作》 59《智能设备与互联网》 60《教学实训与检测(1）》 61《教学实训与检测（2）》 62《多媒体课件制作》 63《数学常用软件选讲》 64《教师礼仪》 （三）实践课程 65《教学见习 2》 66《教学见习（3）》 67《教学见习（4）》 68《综合实习 》 69《单科实习 》 70毕业 71《毕业论文》

为了剔除GPS边坡位移监测过程中的噪声干扰,提高监测数据的有效性,特引入随机线性卡尔曼滤波离散数学模型.以水厂铁矿GPS边坡监测数据为依据,利用该数学模型可以计算出各监测点每期变形量的滤波值和位移速度,并对各监测点下一期的变形量进行估算和预测.经实例验证,卡尔曼滤波变形量与实际变形量有较好的一致性

提出一种应用于大容量超高速(4000kW/3600r·min-1)双馈变频调速控制方法,研制出相应的实际控制系统.根据系统中负载电机、大功率变流器和工程化矢量空间计算的离散数学模型,以PSIM6.0的SIMCAD环境为开发平台,建立起双馈电机变频调速矢量控制系统算法仿真平台,计算出相关的仿真结果,并以此为基础设计、研制出实际应用控制系统.6500MW冲击发电机机组实验运行结果表明,系统电流响应超调量小,激磁和转矩分量解耦,动态过程磁链平滑,验证了系统仿真模型的有效性.该控制系统具备与直流传动系统相同的优越动、静态品质

一、基本概念及集合的表示方法 二、集合间的关系 三、特殊集合 四、集合的运算 五、包含排斥原理

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系