逻辑代数及逻辑函数化.pptVIP

数 字 逻 辑 (2002级本科生课程) 清华大学计算机系 杨士强 yangshq@tsinghua.edu.cn 赵有建 zhaoyj@csnet1.cs.tsinghua.edu.cn 引言 “数字逻辑” 课程的地位 数字与逻辑 数字与模拟 数字逻辑领域的前沿问题 课程的主要内容 如何学好这门课 CC2001(Computing Curricula) 计算机学科人才的专业能力要求： 计算思维能力—抽象思维能力和逻辑思维能力 算法设计与分析能力 程序设计能力 计算机系统的认知、分析、设计和应用能力 为实现上述要求设置的四大系列课程： 公共基础系列，基础理论系列，软件技术系列，硬件技术系列 “数字逻辑”是计算机硬件技术系列的基础 数字与逻辑 (Digital Logic) 逻辑：研究思维的规律性；关于思维形式及其规律的科学；研究概念、判断和推理以及相互联系的规律、规则，以帮助人们正确地思维和认识客观真理。 学习工作时时处处离不开“逻辑”：讲话要有逻辑性、写论文逻辑层次要清晰；逻辑推理能力、逻辑判断能力…… 数理逻辑：研究推理、计算等逻辑问题，又称符号逻辑，是离散数学的重要内容，是计算机科学的基础。 数字逻辑：用二进制为基础的数字化技术解决逻辑问题。 数字与逻辑 (Digital Logic) 逻辑代数：应用代数方法研究逻辑问题，又称布尔代数，开关