First Page | Document Content | |
---|---|---|
![]() Date: 2010-09-16 08:43:02Computability theory Models of computation Turing machine Formal methods Algorithm NP Markov chain Algorithm characterizations Theoretical computer science Theory of computation Applied mathematics | Add to Reading List |