证明的构造/形式：由两个部分组成 1、公理、假定或前提/axiom、postulate、hypotheses 2、推理规则/rule of inference 其它：引理/lemma、推论/corollary、猜想/conjecture一些基本概念

1、算术基本定理 2、同余关系 3、密码学基础

The objects in a set are also called the elements, or members, of the set. A set is said to contain its elements. Null Set: There are no anything in the set

Let A and B be sets. A function f from A to B is an assignment of exactly one element of B to each element of A. We write f(a) = b if b is the unique element of B assigned by the function f to the element a of A. If f is a function from A to B, we write f : A→B

1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)

1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)

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

一、 求离散型分布 例 1 一袋内装有 5 个白球，3 个红球.第一次从袋中任意取一个球不放回；第二次又从袋中任取两个球

◼ 定义形式语言的术语 ◼ 给出文法的定义和文法的分类

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）23 根树及其应用