1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

高等学校计算机专业教材：《离散数学》课程PPT课件_第四章 命题逻辑

11.1 双稳态触发器 11.2 寄存器 11.3 计数器 11.4 555定时器 11.6 数模和模数转换

人民邮电出版社：高等学校计算机专业教材《离散数学》课程教学资源（PPT课件）第五章 谓词逻辑

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

人民邮电出版社：高等学校计算机专业教材《离散数学》课程教学资源（PPT课件）第四章 命题逻辑

机器感知与模式识别：基于非线性降维多项式逻辑斯蒂回归的图像非图像数据的分类与识别

第三章计算机的数制、编码 和逻辑代数及电路 3.1数制及转换 四种基本数制: 1、十进制 2、二进制 3、八进制 4、十六进制 四种进制之间的关系参见表3.1(P30)