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
Link Year Semester Course Page Instructor Course Schedule Lab Schedule
view 2015 Fall MWF 111
view 2014 Fall Course Page MFF 656 B5
view 2013 Fall Course Page MFF 656 ETA B5 | ETA B5 | ETA B5
view 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.