前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用系统，这里“电子商务”是主 语，而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

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

A matrix is a rectangular array of numbers. A matrix with m rows and n columns is called an m × n matrix. The plural of matrix is matrices. A matrix with the same number of rows as columns is called equal if they have the same number of rows and the same number of columns and the corresponding entries in every position are equal

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

定义1：n个元素的集合A中任意选择r个（r  n）进行排列称为A的一个r-排列/r-Permutation定理1： n个元素的集合A的r-排列数为n(n-1)(n-2)…(n-r+1)

在实际应用中，往往不仅需要计数，而且要把各种情况都枚举出来。 一、 字 典序排 列/lexicographic ordering for permutation 定义:

021年2月24日 Deren Chen, Zhejiang Univ. 2 [定义1]相关/relative:按照某种规则，确定二个对象或 多个对象之间有关系，称这二个对象或多个对象是相关的。 注意:相关性与指定的规则有关。 (1)扑克牌中的方块ｋ与梅花ｋ 同花关系：不相关 同点关系：相关 (2)父子二人 同辈关系：不相关

在实际问题中常遇到这样的函数 y=f(x),其在某个区间[a,b]上 是存在的。但是,通过观察或测量或 试验只能得到在[a,b区间上有限个 离散点o,x1,∵,n上的函数值

一、二维随机变量的分布函数 二、二维离散型随机变量及其分布 三、二维连续型随机变量及其分布

同余的概念与基本性质 同余方程组的求解方法 线性同余方程、高次同余方程的求解 原根和指数 应用