第一节谓词与量词 第二节公式与解释 第三节等价与蕴涵 第四节前束范式 第五节谓词演算的演绎与推理

第一节格的概念(1) 第一节格的概念(2) 第二节有余格与分配格 第三节布尔代数

《科技论文写作》 《高等数学 A》 《线性代数 A》 《概率论与数理统计 B》 《心理学》 《当代教育学》 《现代教育技术》 《教师职业技能及训练》 《模拟电子技术基础 B》 《数字电子技术基础》 《模拟电子技术基础实验》 《数字电子技术基础实验》 《力学》 《热学》 《电磁学》 《光学》 《原子物理学》 《理论力学》 《数学物理方法》 《电动力学 1》 《热力学与统计物理 1》 《量子力学 1》 《普通物理实验》 《近代物理实验》 《矢量场论与张量》 《结构与物性》 《电工学基础》 《电工学基础》实验 《中学物理教学论》 《中学物理教学法实验》 《中学物理课程论》 《物理学史》 《电动力学 2》 《热力学与统计物理 2》 《量子力学 2》 《计算物理》 《专业英语 1》 《专业英语 2》 《物理前沿课题选讲》 《班主任工作》 《固体物理学》 《教育心理学》 《教育研究方法》 《Internet 技术与应用》（实验） 《计算机组成原理》 《Flash 应用基础》实验 《中国传统文化概论 B》 《西方文化概论 B》 《美学概论》 《学年论文》 《教育见习》 《金工实习 A》 《教育实习》 《教具制作》

第一节图的概念 第二节路与回路(1) 第二节路与回路(2) 第三节矩阵与图 第四节关系与图

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

《专业导论》课程教学大纲. 1 《C 语言程序设计》课程教学大纲. 8 《离散数学》课程教学大纲. 18 《机器学习》课程教学大纲. 30 《数字电子技术》课程教学大纲.39 《数据结构》课程教学大纲. 46 《面向对象程序设计》课程教学大纲.55 《算法设计与分析》课程教学大纲.64 《数据科学基础》课程教学大纲.75 《现代操作系统》课程教学大纲.84 《计算机网络原理》课程教学大纲.94 《计算机组成与结构》课程教学大纲.106 《数据库系统原理》课程教学大纲. 116 《学科前沿》课程教学大纲.129 《计算机接口技术》课程教学大纲.137 《软件工程》课程教学大纲.144 《IT 项目管理》课程教学大纲. 157 《嵌入式系统设计》课程教学大纲.166 《工程伦理》课程教学大纲.174 《专业英语》课程教学大纲.181 《编译原理》课程教学大纲.188 《计算机图形学》课程教学大纲.198 《Python 程序设计》课程教学大纲.206 《大数据技术原理与应用》课程教学大纲.214 《云计算与虚拟化技术》课程教学大纲.223 《并行分布式计算》课程教学大纲.232 《数字媒体技术》课程教学大纲.242 《高性能框架技术》课程教学大纲.249 《云计算技术》课程教学大纲.257 《软件测试技术》课程教学大纲.266 《移动应用开发技术》课程教学大纲.274 《Web 前端开发技术》课程教学大纲.287 《软件建模与分析》课程教学大纲.310 《智能算法及应用》课程教学大纲.319 《最优化方法》课程教学大纲.325 《图形图像处理技术》课程教学大纲.334 《深度学习》课程教学大纲.343 《机器人技术》课程教学大纲.353 《计算机视觉》课程教学大纲.359 《自然语言处理》课程教学大纲.369 《数字孪生技术》课程教学大纲.376 《脑与认知科学》课程教学大纲.384 《现代制造技术》课程教学大纲.391 《逆向工程》课程教学大纲.399 《虚拟现实技术》课程教学大纲.405

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

5.1二元运算及其性质 5.2代数系统 5.3代数系统的同态与同构 5.4例题选解

8.1图的定义及相关术语 8.2通路回路图的连通性 8.3图的矩阵表示 8.4例题选解

6.1半群与群 6.2子群 6.3循环群和置换群 6.4陪集与拉格朗日定理 6.5正规子群、商群和同态基本定理 6.6环和域 6.7例题选解