最新离散数学是计算机科学（编译原理、数据结构、操作系统、数PPT课件,1,离散数学是计算机科学(编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、计算机网络等 )、数学、数字电路、人工智能等多学科的共同语言和基础。本学期将讲授数理逻辑与图论个部分。 其中数理逻辑讲授命题逻辑、谓词逻辑两部分，分别由Boole于1847年和Frege于1879年建立。命题逻辑把简单命题作为基本单元进行推理演算；而谓词逻辑对简单命题进一步剖析，并考虑到变量数量的一般与个别,前言,最新离散数学是计算机科学（编译原理、数据结构、操作系统、数PPT课件,2,例1：在举重比赛中，有两名副裁判，一名主裁判。当两名以上裁判（必须包括主裁判在内）认为运动员举杠铃合格，按电钮，才裁决合格。试用与非门设计该电路。 解：设主裁判为变元A，副裁判分别为变元B和变元C；按电钮为1，不按为0。表示合格与否的灯为Y，合格为1，否则为0。 （1）根据逻辑要求列出真值表,关于命题逻辑的两个有趣例子,最新离散数学是计算机科学（编译原理、数据结构、操作系统、数PPT课件,3,真 值 表,最新离散数学是计算机科学（编译原理、数据结构、
