Introduction

xiaoxiao2021-03-06  62

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

转载请注明原文地址:https://www.9cbs.com/read-117202.html

New Post(0)