1.1数字电子技术基础 1.2数制与编码 1.3逻辑代数基础 1.4逻辑函数的化简 1.5逻辑函数的表示方法及其相互转换 1.6门电路

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

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

语言分类: 强制式(命令式或面向语句) 函数式 逻辑式 面向对象

第2章基本数据类型 2.1整型 2.2浮点型 2.3字符型 2.4逻辑类型 2.5标准函数 2.6量的定义方法

第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集

1、掌握二进制、八进制、十进制、十六进制数的组成及其相互转换，了解常用BCD码； 2、掌握逻辑代数的基本定理和常用公式，并能进行逻辑函数的化简与变换； 3、理解与门、或门、非门、与非门和异或门的逻辑功能，了解 TTL 与非门及其电压传输特性和主要参数，了解 CMOS 门电路的特点，了解三态门的概念

【题8.1】试分析图P8.1的与-或逻辑阵列写出Y1、Y2、Y3与A、B、C、D 之间的逻辑函数式

第 1 节 证明的必要性 第 2 节 集合 第 3 节 关系 第 4 节 函数 第 5 节 等价关系与划分 第 6 节 序 第 7 节 结构的例子

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数