离散数学
轩辕椿
这个作者很懒,什么都没留下…
展开
-
离散数学实验一——关系
离散数学实验一——关系一、预习内容:1、自反性:从给定的关系矩阵来断判关系R是否为自反是很容易的。若M(R的关系矩阵)的主对角线元素均为1,则R是自反关系;若M(R的关系矩阵)的主对角线元素均为0,则R是反自反关系;若M(R的关系矩阵)的主对角线元素既有1又有0,则R既不是自反关系也不是反自反关系。本算法可以作为判等价关系算法的子程序给出。2、对称性:从给定的关系矩阵来判断关系R是否为对称是很容易的。若M(R的关系矩阵)为对称矩阵,则R是对称关系;若M为反对称矩阵,则R是反对称关系。因为R为对称的是等原创 2020-10-29 10:41:07 · 2430 阅读 · 0 评论 -
离散数学实验报告四——图的应用
离散数学实验报告四——图的应用预习内容:1.图的基本概念1.1图的定义:现实世界中许多现象能用某种图形表示,这种图形是由一些点和一些连接两点间的连线所组成。1.2邻接点: 同一条边的两个端点。1.3孤立点: 没有边与之关联的结点。1.4邻接边: 关联同一个结点的两条边。1.5孤立边: 不与任何边相邻接的边。1.6自回路(环):关联同一个结点的一条边((v,v)或〈v,v〉)。1.7平行边(多重边):关联同一对结点的多条边。2. 图的矩阵表示2.1邻接矩阵:设G=〈V ,E〉是有n个结点原创 2020-10-29 11:04:23 · 2851 阅读 · 0 评论 -
离散数学实验报告三——真值表与主范式
离散数学实验报告三——真值表与主范式一、预习内容:1、真值表:把变量的各种可能取值与想对应的函数值,用表格的形式一一列举出来,这种表格就叫做真值表2、命题公式的析(合)取范式⑴文字:命题变元及其否定统称为文字⑵简单析取式:仅有限个文字组成的析取式⑶简单合取式:仅有限个文字组成的合取式3、从定义可得⑴一个简单析取式是重言式当且仅当它同时含有某个命题变元及其否定式。⑵一个简单合取式是矛盾式当且仅当它同时含有某个命题变元及其否定式。4、范式存在定理:任一个命题公式都存在着与之等价的析取范式与合原创 2020-10-29 11:02:08 · 4913 阅读 · 1 评论 -
离散数学实验二——逻辑联结词的运算
离散数学实验二——逻辑联结词的运算一、预习内容:1、设P是一个命题,命题“P是不对的”称为P的否定。记以¬P,读作非P。¬P是真的当且仅当P是假的。例如:P:上海是一个城市。¬P:上海不是一个城市。例如:P:上海是一个城市。¬P:上海不是一个城市。2、设P,Q是两个命题,命题“P或者Q”称为P,Q的析取,记以P∨Q,读作P或Q。规定P∨Q是真的当且仅当P,Q中至少有一个是真的。例如,P:今天下雨,Q:今天刮风,P∨Q:今天下雨或刮风。3、设P,Q是两个命题,命题“P并且Q”称P,Q的合取,记以P原创 2020-10-29 10:44:23 · 5176 阅读 · 0 评论