CSCI0510
(Formerly CS051 )Models of Computation
- Instructor(s):
-
John E. Savage - Course Home Page:
-
http://www.cs.brown.edu/courses/csci0510/
| Location: | |
| Meeting Time: | J: TTh 1:00-2:20 |
| Exam Group: | 10, 12/18/13 at 2:00 P.M. |
| Semester: | 1 (Fall) |
| Offered This Year? | Yes |
| When Offered? | Every Year |
Description
This course introduces basic models of computation including languages, finite-state automata and Turing machines. Proves fundamental limits on computation (incomputability, the halting problem). Provides the tools to compare the hardness of computational problems (reductions). Introduces computational complexity classes (P, NP, PSPACE and others). Prerequisite: CSC0220 or CSCI 0450.
CRN: 15401