单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级7.2 通路回路与图的连通性 简单通(回)路 初级通(回)路 复杂通(回)路无向连通图 连通分支弱连通图 单向连通图 强连通图点割集与割点边割集与割边(桥) 1通路与回路 定义 给定图G=<VE>(无向或有向的)设G中顶点与边的交替序列?=v0e1v1e2…elvl: 若?i(1?i?l) vi?1 和 vi是ei的端点(对于有向图 要
2vivi的缓冲时间TS(vi)=TL(vi)-TE(vi) i=12?nvi在关键路径上?TS(vi)=0
什么是集合(Set)所要讨论的一类对象的整体具有同一性质单元的集体 通常用大写的英文字母A B C……表示集合空集全集集合与其中的元素的顺序无关例如: 集合{abcde}{dceab} {ecdba}都是表示同一个集合设A={2468} B= {xx是正偶数} C={xx是整数}则有A ? BB ?CA?C并且A ? BB ? CA ? C 设C是一个集合若C的元素都是集合则称C为集合族 若集合
#
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第三章 集合与关系4-4 基数的概念授课人:李朔Email:chn.nj.lsgmail一后继集比较两个集合的大小确定有限集和无限集的概念首先需要引进自然数集合定义4-4.1 给定集合A的后继集定义为集合: A=A∪ {A}若A为空集φ 则后继集为φ(φ) ((φ))…这些集合可写成如
#
命题演算命题(真值确定但不一定要知道真假比如存在外星人是一个命题它的真值确定即使我们不知道真值) 原始命题原子命题 复合命题 逻辑连接词 否定┐ 合取∧ 析取∨ 条件→(┐P∨Q) 双条件(不好意思双向箭头字符未找到(P∧Q)∨(┐P∧┐Q)) 真值表 命题公式公式 命题变元 命题演算 等价(自反性对称性传递性等价变换法俗称少林派) 结合律 交换律 分配律 德·摩根律反演律 双重否定率 代换 蕴含
#
谓词逻辑(一阶逻辑)简介第四章 一阶逻辑基本概念6例1 用0元谓词将命题符号化 (1) 墨西哥位于南美洲 (2) 是无理数仅当 是有理数 (3) 如果2>3则3<4量词——表示数量的词全称量词?: 表示所有的. ?x : 对个体域中所有的个体x?xF(x)表示个体域中所有的个体x都具有性质F存在量词?: 表示存在 有一个. ?x : 个体域中有一个个体x ?xF(x)表
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第二章谓词逻辑2-1 谓词的概念与表示授课人:李朔Email:chn.nj.lsgmail1引入在命题逻辑中命题是最基本的单位对简单命题不再进行分解并且不考虑命题之间的内在联系和数量关系因而命题逻辑具有局限性甚至无法判断一些简单而常见的推理考虑下面的推理: ????凡偶数都能被2整除 ????6是偶数 ????所以6
违法有害信息,请在下方选择原因提交举报