CmpE 415 Theory of Computation

Catalog 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.

Credits: 

(3+0+0) 3 ECTS 6

Prerequisites: 

CMPE 220
Year Semester Course Page Instructor Course Schedule Lab Schedule
2015 Fall MWF 111
2014 Fall Course Page MFF 656 B5
2013 Fall Course Page MFF 656 ETA B5 | ETA B5 | ETA B5
2010 Fall Course Page WWF 566 ETA B5 | ETA B5 | ETA A5

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.