 归纳： 数学归纳法与强数学归纳法 运用良序公理来证明  递归： 递归定义 结构归纳法与递归算法

研究推理的一门学科 数理逻辑：用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则

《信号与系统》课程教学课件（PPT讲稿）§7.3 离散时间系统的数学模型—差分方程

引言 直接证明 反证法 分情形证明 等价性证明 存在性证明 唯一性证明 寻找反例 数学与猜想

8.1 二部图 8.2 欧拉图 8.3 哈密顿图

一、字符串和形式语言 二、形式文法 三、形式文法的分类

◼ 3.1 集合的基本概念 ◼ 3.2 集合的基本运算 ◼ 3.3 集合中元素的计数

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化

一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式