本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

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

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

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

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

（一）理论课程 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《毕业论文》

《电子技术基础》 《计算机网络原理》 《数据仓库与数据挖掘》 《数据库系统原理》 《人工智能导论》 《物联网专业英语》 《数据结构》 《物联网工程导论》 《无线传感器网络及 RFID 技术》 《通信技术基础》 《物联网安全技术》 《物联网工程技术》 《物联网工程设计与实施》 《物联网软件工程》 《移动应用开发技术》 《程序设计语言 C》 《计算机组成原理》 《微机原理与接口技术》 《面向对象程序设计 JAVA》 《Web 开发技术》 《单片机与嵌入式系统设计》 《离散数学》 《传感器与检测技术》 《物联网通信技术》 《操作系统原理》 《无线传感网技术》 《信息工程管理》 《项目管理教程》 《无线通信技术》 《科技文献检索》

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

学科基础课平台必修课 《高等数学 A1》 《高等数学 A2》 《大学物理 A1》 《C++程序设计》 《C++程序设计实验》 《C++程序设计实训》 《线性代数》 《概率论与数理统计 B》 《离散数学Ⅰ》 《计算机组成原理 I》 《数据结构 I》 《数据结构 I 实验》 《计算机网络原理Ⅰ》 《操作系统Ⅰ》 《数字通信原理》 学科基础课平台选修课 《数字逻辑》 《Java 程序设计》 《Java 程序设计实验》 《管理信息系统》 《管理信息系统实训》 《数据库原理 A》 《人工智能导论》 《生理学 E》 《卫生统计学 B》 《流行病学 B》 《外科学总论 B》 《诊断学 D》（临床医学概要） 《诊断学 D》(临床医学概要） 《诊断学 D》 《编译原理》 《传感器技术及应用》 专业课平台必修课 《计算机类认识实习》 《医信工程生产实习》 《医信工程毕业实习》 《医信工程毕业设计（论文）I》 《医信工程毕业设计（论文）II》 《医学信息工程导论》 《生物信息学导论》 《生物医学信号处理》 《生物医学信号处理实验》 《数字图像处理 A》 专业课平台选修课 《软件工程概论 A》 《医学信息系统》 《现代病案信息管理》 《医学决策支持系统》 《智能医疗》 《智能医疗》实验 《数据挖掘》 《数据挖掘》实验 《大数据与深度学习》

目 录 1学科基础平台必修课 《数学分析》 《高等代数与解析几何》 《概率论与数理统计 A》 《概率论与数理统计》 《大学物理 A1》 《大学物理 A2》 2．学科基础平台选修课 《物理实验》 《数学规划基础》 《信息与计算科学专业导论》 《统计学》 《统计学实验》课程实验 《离散数学》 《C++程序设计 A》 《C++程序设计实验 A》 3．专业课平台必修课 《数值分析 A》 《数值分析》 《数值分析 A 实验》 《数学建模》 《数学建模实践》 《数据库原理 A》 《数据结构与算法分析》 《信计专业毕业实习》 《信息与计算科学专业毕业设计（论文）》 4专业课平台选修课 《常微分方程》 《多元统计分析》 《数学物理方程》 《实变函数与泛函分析》 《复变函数与积分变换》 《组合与图论》 《运筹学》 《运筹学基础及应用》 《数值最优化》 《微分方程数值解》 《控制理论基础》 《Oracle 高级数据库开发设计》 《大数据与深度学习》 《Python 程序设计》 《R 语言》 《算法分析与设计》 《操作系统》 《计算机网络原理Ⅰ》 《Java 程序设计》 《Java 程序设计实训》 《ASPNET 程序设计》 《web 前端开发》 《web 前端开发》程序设计 《软件开发实践》