软件的定义和特征 计算机软件是计算机程序加上该程序的各种文档。 计算机软件的特征–软件是一种逻辑性系统元素

上海交通大学：《电路与电子技术》课程教学资源（课件讲稿）数字电子技术——门电路和组合逻辑电路

上海交通大学：《哲学、科学、技术 Philosophy , Science and Technology》课程教学资源（PPT课件）哲学与科学2 逻辑实证主义的诞生

上海交通大学：《哲学、科学、技术 Philosophy , Science and Technology》课程教学资源（PPT课件）哲学与科学2 逻辑实证主义

系统设计：芯片的功能、尺寸、外部接口、 性能、速度、成本等； 功能设计：系统功能块分割、功能框图 信号流程图、状态转换图等 逻辑设计：各功能块的逻辑表达、逻辑电路图等 功能仿真：不考虑电路连线延时

关系表达式 逻辑表达式 If 语句 Switch语句

上海交通大学：《离散数学》课程教学资源（PPT课件）命题逻辑的推理

上海交通大学：《离散数学》课程教学资源（讲义）第一章 命题逻辑的基本概念

上海交通大学：《离散数学》课程教学资源（讲义）第二章 命题逻辑的等值与推理

上海交通大学：《离散数学》课程教学资源（讲义）第五章 谓词逻辑的等值和推理演算