Instructor | Yuxin Deng |
---|---|

Office | Room B1115, Science Building |

Office Hour | 10am - 2pm, Monday - Friday |

Phone | 021-62231281 |

yxdeng(AT)sei.ecnu.edu.cn | |

Homepage | basics.sjtu.edu.cn/~yuxin/ |

- Lecture notes are downloadable here
- MIT course
*Great Ideas in Theoretical Computer Science* - CMU course
*Great Theoretical Ideas in Computer Science* - Michael Sipser. Introduction to the Theory of Computation (3rd edition). Cengage Learning. 2012.

- Algorithm and computational thinking
- Logic
- The lambda calculus
- Finite automata
- Turing machines
- P and NP problems
- Randomized algorithms
- Formal methods
- Cryptography
- Quantum computation

- Class participation and discussion: 20%
- Oral presentation: 20%
- Written report: 60% (It is strongly recommended to prepare your report with CTEX)

Back