１.前束范式 一个公式，如果量词均在全式的开头，它们的作用域延伸到整个公式的末尾，则称为是前束范式。例如：(x)(y)(z)（Q(x,y)→R(z)）的地方是并或交。任何一个谓词公式都有一个 ...

一：集合论基础 　　1.1 集合的初见 　　1.2 特殊集合与集合间的关系 　　1.3 集合的运算 　　1.4 集合的运算定律 　　1.5 可数集合与不可数集合 二：命题逻辑 　　 ...

Ch1 命题逻辑的基本概念 1.1 命题 命题：能判断真假且非真即假的陈述句。 命题的真值，真命题，假命题。 * 真值待定 * 简单命题 | 原子命题，复合命题。 1.2 常用的5个命题联 ...

目录 前言 数理逻辑 命题逻辑 基本概念 命题等价 命题蕴含 ...

什么叫“离散”？离散，就是和连续相反的。随便拿一堆东西，如大到宇宙，小到粒子团，若其整体中的元素是独立的，分开的，则叫“离散”。计算机是不能处理连续信息的，这是由计算机的本质：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 通路与回路 ...