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
görüntüle 2015 Fall MWF 111
görüntüle 2014 Fall Course Page MFF 656 B5
görüntüle 2013 Fall Course Page MFF 656 ETA B5 | ETA B5 | ETA B5
görüntüle 2010 Fall Course Page WWF 566 ETA B5 | ETA B5 | ETA A5

Bize Ulaşın

Bilgisayar Mühendisliği Bölümü, Boğaziçi Üniversitesi,
34342 Bebek, İstanbul, Türkiye

  • Telefon: +90 212 359 45 23/24
  • Faks: +90 212 2872461
 

Bizi takip edin

Sosyal Medya hesaplarımızı izleyerek bölümdeki gelişmeleri takip edebilirsiniz