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 | PS 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 |