息学院：数字逻辑电路基础：教科书：陈光梦，数字逻辑基础，复旦大学出版社参考书：1、阎石，数字电子技

北大学《数字逻辑与数字系统》（第3版）ppt完整课件，王永军主编。共九章，章节包括：数字逻辑与数字系

：“数字逻辑”课程的地位、数字与逻辑、数字与模拟、数字逻辑领域的前沿问题、课程的主要内容、如何学好这

学《数字逻辑设计与VHDL描述》完整课件，共10章。数字逻辑设计与VHDL描述在保留“数字电路与逻辑

东南大学数字电子技术基础电子教案。

• 1.1 What is Digital logic? • 1.2 Digital operations (AND, OR, NOT) • 1.3 Truth table • 1.4 Robot Hardware • 1.5 Software implementation of digital operations

第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论

命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化

本章要求 >掌握逻辑代数的基本公式和基本定理 >掌握逻辑函数的化简方法

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用