CmpE RSS
Google - 2010 Internship Opportunities (Applications are due: 25.11.2009)
Mehmet Murat Sevim 18. Dünya Zeka Oyunları Şampiyonası'nda 3. oldu
Ayse Bener is appointed as the Advisory Board Member of IEEE Software

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 2009A. C. Cem Say
Fall 2002A. C. Cem Say
 
 
Boğaziçi University Department of Computer Engineering
P.K. 2 TR-34342 Bebek, Istanbul, TURKEY
Phone: +90 212 359 4523-24 Fax: +90 212 287 2461
general information: infocmpe.boun.edu.tr   webmaster: webmastercmpe.boun.edu.tr