This web site is no longer maintained and the content may be outdated.
Please visit for up-to-date information.
No upcoming events...

Home / Courses / CmpE 415
  CmpE 415    

Theory Of Computation

Description: 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.

Prerequisite: CMPE 220

Course Offerings:

Fall 2013A. C. Cem Say
Fall 2011A. C. Cem Say
Fall 2010A. C. Cem Say
Fall 2009A. C. Cem Say
Fall 2002A. C. Cem Say
Boğaziçi University Department of Computer Engineering
Address: 34342 Bebek, Istanbul, TURKEY
Phone: +90 212 359 4523-24 Fax: +90 212 287 2461
general information:   webmaster: