CSCI1010
(Formerly CSCI0510)Theory of Computation
- Instructor(s):
- Course Home Page:
- http://cs.brown.edu/courses/csci1010/
Location: | CIT 368 (Remote asynch possible via section 2) |
Meeting Time: | I hr: T,Th 10:30-11:50 |
Exam Group: | 13: 15-DEC-2021 Exam Time: 02:00:00 PM |
Semester: | Fall |
Offered this year? | Yes |
When Offered? | Every year |
Description
The 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: CSCI 0220 or 1450.
CRN: 16052