作者：未知 来源：月光软件站 加入时间：2005-2-28　月光软件站

0.1

Three traditionally central areas of the theory of computation: automata, computability and complexity.

0.2

Equivalence relation: reflexive,symmetric,transitive

Boolean Logic: negation, conjunction, disjunction

0.3

Theorem: a mathematical statement that proved true.

Lemma: a statement that assists the proof of another, more significant statement.

Corollary: A statement that follows with little or no proof required from one already proven.

0.4

Proof by construction

Proof by contradiction

Proof by induction

相关软件：