| Unit name | Theory of Computation |
|---|---|
| Unit code | COMS11700 |
| Credit points | 10 |
| Level of study | C/4 |
| Teaching block(s) |
Teaching Block 2 (weeks 13 - 24) |
| Unit director | Dr. Marshall |
| Open unit status | Not open |
| Pre-requisites |
EMAT10714 Discrete Mathematics for Computer Scientists I COMS11600 Procedural Programming Or COMS11800 Programming Project |
| Co-requisites |
None |
| School/department | Department of Computer Science |
| Faculty | Faculty of Engineering |
This unit provides an introducion to various classical models of computation, the equivalence of different computational models, and limits on what can be computed in terms of uncomputability and intractability.
4 CW (20% each), 1 Presentation (20%)
The 2nd edition of the course text is now in print, but the 1st edition is also acceptable and can be bought second-hand much more cheaply. There is an errata sheet for the course text. If you think you've found a mistake in the book that's not covered in the sheet then let Sipser know, or if you prefer to, check it over with Bogdan or Oliver first.
