测控技术与仪器专业 《测控技术与仪器专业导论》 《单片机系统实践》 《工程光学基础》 《信号与系统》 《精密机械设计(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、代数系统

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

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

本文以大学教师师生年龄差不断增长为视角，指出在科研能力提高与教学经验积累过程中，大学教师与学生互动而增进了解的必要性，强调大学应重视逻辑方法、数学方法等理性素质的培养。进而通过回顾复旦立校诸老对逻辑研究与教学的强调，突出通识教育背景下逻辑基础教学的重要性。最后，作者针对当前逻辑教学实践中出现在两对反差与矛盾，建议进一步重视逻辑教学，优化逻辑课程设置

什么是数理逻辑 字面含义:数学理论的逻辑。逻辑是研 究演绎(推理)规律的学科。 广义理解:用数学方法研究演绎规律的 学科。 狭义理解:用数学方法研究数学中演绎 规律和数学基础的学科。 研究对象:推理过程的正确性标准。 是数学的一个分支。又称符号逻辑等