机械设计制造及其自动化专业 《电工技术基础》 《电子技术基础》 机械电子工程专业 工业工程专业 《电工电子技术》 车辆工程专业 新能源科学与工程专业 测控技术及仪器专业 《电工电子技术(1)》 《电工电子技术(2)》 光电信息科学与工程专业 自动化专业 《电路分析》 《模拟电子技术》 《数字电子技术》 《电子工艺实习 A》 《EDA 技术》 《综合电子设计》 自动化专业(卓越计划) 《电路原理》 电气工程及其自动化专业 《电子电路课程设计》 《电子工艺实习 B》 智能科学与技术专业 电子信息工程专业 《电工电子实习 B》 通信工程专业 通信工程专业(卓越计划) 物联网工程专业 《电路与电子技术》 计算机科学与技术专业 《计算机电路基础》 软件工程专业 网络工程专业 质量管理工程专业 信息与计算科学专业 《数字逻辑电路》 电子信息科学与技术专业 数理实验班

测控技术与仪器专业 《测控技术与仪器专业导论》 《单片机系统实践》 《工程光学基础》 《信号与系统》 《精密机械设计(1)(2)》 《软件技术基础》 《传感器原理及应用》 《误差理论与数据处理》 《微机原理及应用》 《机器视觉》 《可编程逻辑器件及应用》 《PLC 及应用》 《虚拟仪器》 《精密机械设计实践》 《传感器原理及应用实践》 《虚拟仪器实训课程》 《智能车实训课程》 《开放性实验》 《测控电路》 《控制工程基础》 《光电检测技术与系统》 《计算机测控技术》 《DSP 技术及应用》 《电子线路 CAD》 《测控电路设计实践》 《专业实习》 《机器人实训课程》 《光电竞赛实训课程》 《电子设计竞赛实训课程》 《精密测量技术》 《测控仪器设计》 《光机电一体化技术与系统》 《激光测量技术》 《嵌入式系统及应用》 《现代测试技术导论》 《测控专业综合实践》 《大学生科技创新计划项目》 《创新创业与实践》 《科研训练项目》 《毕业设计》 光电信息科学与工程专业 《光电信息科学与工程导论(1)(2)(3)(4)》 《精密机械设计基础》 《应用光学》 《现代电子技术及应用》 《现代电子技术应用综合设计》 《物理光学》 《光学设计》 《现代光学实验》 《光度学与色度学》 《数字图像处理及应用》 《激光原理及应用》 《视觉检测系统设计与实践》 《光学系统设计》 《数字系统设计》 《专业软件基础》 《光存储与显示》 《光纤技术与应用》 《光电信息系统综合实践》 《光谱分析技术》 测控技术与仪器专业(外培计划) 测控技术与仪器专业医疗设备制造方向(双培计划） 《大学生职业发展与就业指导(4)》 《医疗仪器综合实践》 《医用光电检测技术》 《激光在医学中的应用》 《医学图像处理与分析》 《现代医学仪器》 《医学信息学》 《医学统计学与临床研究方法》 《光谱学》 《生物医学光子学》

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

• 数学概念 • 数学命题 • 数学证明

§1.5 逻辑函数的化简

基础部分一： 1、逻辑：命题逻辑、谓词逻辑 2、集合：集合、函数 基础部分二： 1、算法 2、数论 3、代数系统

2.1 逻辑代数基础 2.1.1 逻辑代数的基本概念 2.1.2 逻辑函数 2.1.3 逻辑代数的公理、定理和规则 2.1.4 逻辑表达式的基本形式 2.1.5 逻辑函数的标准形式 2.1.6 逻辑函数表达式的转换 2.2 逻辑函数的化简 2.2.1 代数化简法 2.2.2 卡诺图化简法

1、组合逻辑电路基础 布尔代数基本公式,逻辑门,卡诺图 2、计算机中常用的组合逻辑电路 一位加法器,译码器,编码器,多路选择器等 3、时序逻辑电路 D锁存器,D触发器,寄存器 4、时序逻辑电路设计 有限状态机,七段显示十进制数双向计数器设计 5、可编程序逻辑阵列(器件)简介 PLA, PLD

1、组合逻辑电路基础 布尔代数基本公式,逻辑门,卡诺图 2、计算机中常用的组合逻辑电路 一位加法器,译码器,编码器,多路选择器等 3、时序逻辑电路 D锁存器,D触发器,寄存器 4、时序逻辑电路设计 有限状态机,七段显示十进制数双向计数器设计 5、可编程序逻辑阵列(器件)简介