CSDN博客

img williamVII

Introduction

发表于2004/9/14 14:19:00  684人阅读

分类: Theory of Computation

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

0 0

相关博文

我的热门文章

img
取 消
img