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

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

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

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

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

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

缩小电路的体积、减小连线、提高电路的可靠性，使设计的 工作量大为减少 多路选择器、译码器、全加器和只读存储器 逻辑函数式对照法

1.1 数字电路的基本概念 1.2 数制 1.3 二—十进制码 1.4 数字电路中的二极管与三极管 1.5 基本逻辑运算 1.6 逻辑函数及其表示方法

1.1 数字电路的基本概念 1.2 数制 1.3 二—十进制码 1.4 数字电路中的二极管与三极管 1.5 基本逻辑运算 1.6 逻辑函数及其表示方法

3.1 加法和减法 37 3.2 乘法 37 3.3 除法 40 3.4 转置和共轭 41 3.5 元素操作算术运算 42 3.6 元素操作函数 43 3.7 矩阵的乘方与函数 44 3.8 关系运算符 45 3.9 逻辑运算符 46 3.10 逻辑函数 47