第二章：数集合论与组合逻辑模型.doc

第二章:数字集合论与组合逻辑方程 数字集合论是数字电路的理论基础，包括：数字集合，数字关系与数字逻辑函数三部分。经典集合论在数字电路领域的具体应用演绎出数字集合论，布尔逻辑代数在数字电路应用方面的元理论解释，同样建立在数字集合论的基础上。布尔代数用来化简数字电路，发现具体逻辑函数之间的转换关系。这些知识的层次关系： 集合论+物理数字电路=数字集合论→布尔代数+数字集合论=数字代数。 在数字集合论的基础上，构造数字电路与集成电路的基本单元：逻辑功能器件，以进一步实现应用级的各种数字系统。逻辑功能器件分为数值逻辑器件和数量逻辑器件，数值逻辑器件包括：逻辑门电路，编码器，译码器/数据分配器，数据选择器，只读存储器，奇偶校验器等；数量逻辑器件有数值比较器，算术运算电路。近似数字系统级的可编程逻辑电路有PLA，FPLA，PAL，MGA等。 逻辑门电路产生在布尔代数理论上,使用三极管实现；其它数值逻辑器件基于数字集合论,在组合逻辑基础上实现,称为组合逻辑功能器件(没有用到布尔代数).严格地说,数量逻辑与数字集合论没有直接的理论-实践关系，而是数学上量的计算使用数字电路实现，实质是数值逻辑的复合运算，在电路规模上与数值逻辑器件不属一个量级。计算机的核心器件ALU(算术逻辑器件)综合了这两类功能，实现了逻辑功能的集大成。可以认为:实现逻辑门电路,用到晶体管逻辑;实现数字组合器件,使用数字集合论;用数字器件实现数字系统(器件之间的联系),则用到布尔（数字）代数. 从组合逻辑器件的共性得到组合逻辑模型,从数字集合论同样可以推理出这些器件的方程.解释了器件产生的理论来源. 数字集合论与数字电路的一个原则：从元素和集合两个角度出发。从集合的角度出发化简数字函数；从元素的角度考虑，找到数字函数的不同实现形式和方法。 基础知识[1]: 包括集合论，排列组合，概率论与布尔代数的概念：集合，集合的基数，集合的等势；多重集合，函数值序列；集合的求和法则（互斥），乘积法则（独立）；排列，组合，可重复排列，可重复组合；互斥，独立（概率论）；非逻辑，与逻辑，或逻辑。此外还有，线性无关，蕴含等基本概念。 def1集合 把一些确切的对象汇集在一起而当作一个单一的总体来考虑时，这一个总体就被称为集合[1-2]。有n个不同元素的集合称为n元集。用大写字母A,B…表示集合。集合中的元素用小写字母a,b…表示，且不能在集合中重复出现（这些字母是变量的表示）.集合中的元素属于（∈）这个集合。包含有限个元素的集合称为有限集，有无穷多个元素的集合称为无限集。一个集合可作为另一个集合的元素，英国数学家罗素用层次来描述其中的不同。 def2集合的基数[1-1] 有限集中不同元素的数目称为这个集合的基数或势。集合A的基数。 def3集合的等势 若集合A与B之间存在一个双射函数,则称A与B具有相同的基数或称A与B等势,. def3多重集合[1-1] 集合中的某些元素可以重复出现，称为多重集合。元素在集合中出现的次数称为重复度。不说明时，集合一般不是多重集合。多重集合是特殊域使用的集合，其中，元素的可重复性是对集合概念的根本性改变。一般而言,集合的基数概念不用于多重集合. 说明:常用多重集合表示某一个自变量集合的函数值序列集合. def4集合的求和法则(互斥集) 若A1,A2,…,An是不相交的集合，它们并集的基数是每个集合的基数之和. Fom1 def5乘积法则(独立集) 若一个过程可分解成两个任务,完成第一个任务有n1种方式, 完成第二个任务有n2种方式,则完成这个过程有n1×n2种方式. def6 排列(以集合为基础) 有不同元素(个体)的集合的一个排列是这些元素的一种有序安排。集合的某一个r子集的一个排列称为r-排列().一个n元集的全部r-排列数,可用乘积法则求出: Fom2 注:排列数与两个集合的函数数的等价性,排列不仅与乘积法则相关,那是很低层的理解. def7组合 从某一个集合中无序选取r个元素称为一个r-组合,同时是一个r元子集.一个n元集的全部r-组合数: Fom3 。 说明:组合不基于乘积法则。 排列与组合的关系公式 Fom4 说明:在这里将排列看成先组合再全排列的两个过程，与Fom2的r个过程不同。 Fom5 可重复排列（取出放回或字母组成单词和句子）时，n元集的全部r-排列数： Fom6 可重复组合时，n元集的全部r-组合数： Fom7 说明:可用取出放回解释，只是元素的不同对r好像没有影响。也可用有n类元素，每类的数目都在r之上来解释。 证明： n元集可重复r-组合，可用n-1条竖线和r颗星组成的图形表示，其中n-1条竖线用来标记n个不同的单元。当选择第i个元素时，第i个单元就包含一颗星。这构成了n-1+r个位置，从中选取r个置放r颗星，因为