南京大学计算机科学与技术系：《程序设计（C++）》课程教学资源（PPT讲稿，基础篇）10 f函数式、逻辑式程序设计 unctional & logic programming

第一节 推理的形式结构 第二节 自然推理系统P

南京大学：《计算机问题求解》课程教学资源（课件讲稿）常用的证明方法及其逻辑正确性

南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）常用证明方法及其逻辑正确性

南京大学：《计算机问题求解》课程教学资源（PPT课件讲稿）常用证明方法及其逻辑正确性

南京大学：《程序设计（C++）》课程教学资源（PPT课件讲稿，高级篇）10 函数式&逻辑式程序设计（functional & logic programming）

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

9.1 镜像电路 9.2 准nMOS电路 9.3 三态电路 9.4 时钟控制CMOS 9.5 动态CMOS逻辑电路 9.6 双轨逻辑电路

7.1 CMOS反相器的直流特性 7.2 反相器的开关特性 7.3 功耗 7.4 DC特性：与非门和或非门 7.5 与非门和或非门的暂态响应 7.6 复合逻辑门的分析 7.7 逻辑门过渡特性设计 7.8 传输门和传输管 7.9 关于SPICE模拟

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