Next:
Lecture One(On Aug 25,
Theory of Computation Lecture Notes
Huichao Xue(Organizing the lecture notes)
Lecture One(On Aug 25, 2008)
Directions
History
Turing Machine (1936, Alan Turing):
Church Turing Thesis:(1936)
Lecture Two(On Aug 27, 2008)
More about theorem 2
Another example of Diagonalization
Lecture Three(On Sep.3, 2008)
DNA Mutation Problem
Prove the undecidability of DNA Mutation Problem
Some definitions
Axiomizatoin of Arithmatics
Lecture 4(On Sep.5, 2008)
Hilbert's 2nd Problem
The definition of Computation
Lecture Eight(On Sep 22nd)
Polynomial Things
Complete Problems
Lecture Nine(On Sep 24, 2008)
A complete language for
About
Lecture 16(Oct 22, 2008)
Review
Cryptography
Private key
About this document ...
bighead 2008-10-29