１.前束范式 一个公式，如果量词均在全式的开头，它们的作用域延伸到整个公式的末尾，则称为是前束范式。例如：(x)(y)(z)（Q(x,y)→R(z)）的地方是并或交。任何一个谓词公式都有一个前束范式等价。 ２.容斥原理 ｎ个集合的并集的元素的个数＝每个集合元素的个数和－两两集合交 ...

一.实验内容 （1）求任意一个命题公式的真值表。 （2）利用真值表求任意一个命题公式的主范式。 （3）利用真值表进行逻辑推理。 注：（2）和（3）可在（1）的基础上完成。 二.实验目的 真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式 ...

数理逻辑是研究推理的数学学科，它首先完成是对现象的一种符号化处理，基于符号化处理，它在将着重于推理过程以及推理的结果。 命题： 称所表达的判断式真或假但不能可真可假的陈述句为命题。 命题的符号化： 一般使用小写字母p、q、r、s来表示简单的陈述句命题 ...

什么叫“离散”？离散，就是和连续相反的。随便拿一堆东西，如大到宇宙，小到粒子团，若其整体中的元素是独立的，分开的，则叫“离散”。计算机是不能处理连续信息的，这是由计算机的本质：0和1，决定的。正因为这样，如果要借助计算机来处理连续的东西，其中有一个必须的步骤：离散化。 “离散数学”是什么？它是 ...

这里是离散数学图论的学习笔记，然而由于学校的关系跳过了集合论、序偶、二元关系等一些可能运用到的基础知识，所以可能数学符号和表述方面会有一些问题 qaq \[\newcommand{\lvert}{\left\vert} \newcommand{\rvert}{\right\vert ...

定义 欧拉回路：通过图中每条边一次且仅一次，并且过每一顶点的回路。 欧拉图：具有欧拉回路的图。 欧拉通路：通过图中每条边一次且仅一次，并且过每一顶点的通路。 半欧拉图：具有欧拉通路 ...

http://www.360doc.com/content/14/0808/15/17799864_400345159.shtml 1、平面图和印刷电路板的设计 有时候，实际问题要求我们把 ...

图论 ghj1222 目录 图论 写在前面 第十四章 图的基本概念 14.1 图 14.2 通路与回路 14.3 图的连通性 14.4 图的矩阵表示 14.5 图的运算 ...