#
6.布尔代数人总是要死的苏格拉底是人2-5 等价式与重言式 个体:思维的对象可以是具体的事物或抽象的概念谓词逻辑 >谓词的概念和表示(c).每天作广播操是好习惯谓词逻辑 >谓词的概念和表示用大写字母 A B C D... 代表谓词用小写字母代表个体 : 用小写字母 a b c... 表示特定个体: 个体常元 用小写字母 xyz...表示任意个体:个体变元. 则 A (a) 表示
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级三.离散量数分析 离散量数分析指的是用一个特别的数值来反映一组数据相互之间的离散程度. 它与集中量数一起分别从两个不同的侧面描述和揭示一组数据的分布情况.共同反映出分布的全面特征同时它还兑现各级重量数的代表性做出补充说明. 为了理解离散量数分析的作用请见下例:某校三个系
122 析取范式与合取范式 文字:命题变项及其否定的总称简单析取式:有限个文字构成的析取式如 p, ?q, p??q, p?q?r, …简单合取式:有限个文字构成的合取式如 p, ?q, p??q, p?q?r, …析取范式:由有限个简单合取式组成的析取式 A1?A2???Ar, 其中A1,A2,?,Ar是简单合取式合取范式:由有限个简单析取式组成的合取式 A1?A2???Ar , 其中A1,A2
第五章代 数 结 构《定义》:设Z是一个集合f是一个函数f:Zn?Z则称f为Z中的n元运算整数n称为运算的阶(元次)若n=1则称f: Z?Z为一元运算 若n=2则f: Z2?Z为二元运算本章主要讨论一元运算和二元运算例:(1)在整数I和实数R中-×均为二元运算而对÷而言就不是二元运算 (2)在集合Z的幂集?(z)中??均为二元运算而是一元运算五角硬币例:在整合集合
第二级第三级第四级第五级第7章 格与布尔代数第7章 格与布尔代数 7.1 格 7.2 格是代数系统7.3 特殊的格7.4 布尔代数7.1 格 在第三章曾讨论过偏序集合定义了有关的术语并曾证明过:(1)一个偏序集合的子集如果存在最小上界(lub)则它是唯一的如果存在最大下界(glb)则它也是唯一的(2)如果偏序集合拥有最小元素则它是唯一的如果偏序集合拥有最大元
2B (C) (?PDSC) 图中标号集?={? 1 ? 2} 图中边集 E={(v1? 1 v3) (v1? 2 v3) (v1? 1 v4) (v1? 2 v4) (v1? 1 v2) (v2? 1 v3) (v2? 1 v4)}它的图示如图3所示图论的基本概念性术语和一些特殊图:(1)(nm)图:
§1 函数的概念这不是函数不满足值唯一性中有 讨论:从此例中可得到三点结论:(1)设X=mY=n则函数f: X→Y中均是m个序偶的集合(即序偶个数=定义域的基数) 满射函数一定有: 例:定义一函数由g:Y→Z得z=g(y)解: (3)如果f和g都是双射函数则 也是入射函数 《定义》:给定 《定理》:对于任何函数f: X→Y其中 《定理》:如果函数f: X→Y有逆函数 §2逆函数和复合函数设任一 集合论小结
离散数学是计算机科学中基础理论的核心课程充分描述了计算机科学离散性的特点 数理逻辑是研究推理的数学学科着重于推理过程以及推理是否正确的研究它分为辩证逻辑与形式逻辑两种 数理逻辑是用数学方法研究逻辑学中形式逻辑的一种分支学科这里的数学方法其主要待点是引进了一套符号体系作为重要的手段因此数理逻辑又称为符号逻辑 本篇包括命题逻辑和谓词逻辑命题的表示 命题通常使用大写字母AB…Z或带下标的大写字母或数
33120232. 命题联结词定义设P表示一个命题由命题联结词l和命题P连接成lP称lP为P的否定式复合命题 lP读非P称l为否定联结词lP是真当且仅当P为假lP是假当且仅当P为真否定联结词l的定义可由表表示之 命题变元和合式公式 公式分类与等价公式(12) 双条件式转化律:A?B?(A→B)∧(B→A)?(A∧B)∨(?A∧?B)?A?B??(A?B)(13) 输出律:(A∧B)→C?A→
违法有害信息,请在下方选择原因提交举报