UCR CS 215 (Fall, 2004) - Theory of Computation
What kinds of problems can be, or cannot be, solved using computers? How do we formally model and reason about computation?
Latest news:
quiz 2 solutions:
hwk 1 problem 2 solution:
- /TuringMachineSimulator.Cc - TM simulator in C++
- /TuringMachineSimulator.Py - TM simulator in Python
/LectureSummaries -- summaries of the first 5 class meetings
Miscellany
proofs group from a previous term
/TentativeTopics, /SimilarCourses, /MeetingSchedule, /ReferenceMaterials
The official UCR catalogue entry is here.
