数学归纳法的公式表示： [P(1) ∧ m(m  1 ∧ P(m) → P(m+1))] →  n P(n) 1、归纳基础：P(1) 2、归纳步骤： m (m  1 ∧ P(m) → P(m+1))

§10.1小波变换的背景 §10.2窗口 Fourier变换简介 §10.3连续小波变换 §10.4二进小波变换和离散小波变换 §10.5多分辨分析 §10.6 Mallat分解与重构算法

一、KC是一个较Nc简洁的谓词演算形式系统 二、Kc是在P的基础上建立的 三、Kc的各组成部分如下:

本章讨论的关系是我们通常的诸 如大小关系、整除关系、上下级 等关系的共同的数学模型，掌握 关系运算极其关系运算的性质、 实际意义.深入理解关系、关系图、 关系矩阵之间的联系，熟练地掌 握两类特殊的关系—等价关系与 偏序关系；熟练地用Warshall算 法求关系的传递闭包；理解映射 的意义，本章为第三、六、七章 的基础

许多物理问题可通过不同途径归结为不同形式的数学模型 它们或是表现为偏微分方程的边值问题,或是表现为区域上的变 分问题,或是归结为边界上的积分方程。这些不同的数学形式在 理论上是等价的,但在实践中并不等效,它们分别导致有限差分 法、有限元方法和边界元方法等不同的数值计算方法 边界元方法是在经典的边界积分方程法的基础上吸取了有限 元离散化技术而发展起来的一种偏微分方程的数值解法它把微 分方程的边值问题归化为边界上的积分方程然后利用各种离散化 技术求解

集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。在现代数学中，每个对象（如数、函数等）本质上都是集合，都可以用某种集合来定义。数学的各个分支，本质上都是在研究这种或那种对象的集合的性质。集合论已成为全部现代数学的理论基础。集合论的特点是研究对象的广泛性。它总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。因此，集合论被广泛地应用于各种科学和技术领域。 §1集合的概念和表示法 §2集合的运算 §3序偶与笛卡尔积 §4关系及其表示 §5关系的性质 §6复合关系和逆关系 §7关系的闭包运算 §8集合的划分和覆盖 §9等价关系与等价类 §10相容关系 §11序关系