CmpE 415 Theory of Computation 2013 Fall

Course Schedule: 

MFF 656 ETA B5 | ETA B5 | ETA B5

Course Program: 

Basic concepts of computation. The theory and representation of algorithms and models of computation. Computability and recursive functions. Formal specification and proofs of programs. Automata theory.


CmpE 350

Topics (subject to change):

1. Reducibility
2. Advanced Topics in Computability Theory
3. Complexity Theory


Michael Sipser. Introduction to the theory of Computation, 3nd ed.

Contact us

Department of Computer Engineering, Boğaziçi University,
34342 Bebek, Istanbul, Turkey

  • Phone: +90 212 359 45 23/24
  • Fax: +90 212 2872461

Connect with us

We're on Social Networks. Follow us & get in touch.