Theory of Computation, Fall 2011
Brought to you by the Computer Science Department at Oberlin College

CS 383

Announcements Welcome to CS 383. Your instructor is Alexa Sharp. Class starts Tuesday, September 6 in King 221 at 11am. It's never too early: the (take-home) final is due by 11am on Sunday, December 18.

Course Materials Syllabus Office Hours and Peer Learning Sessions Schedule and Due Dates LaTeX Quick Guide to Latex Alexa's Latex Sheet TeX Template

Handouts and Other Things Tips for Homeworks Structural Induction Proofs Induction Proofs Manufactoria -- an automaton game Regular Languages Proofs Pumping Lemma Proofs Context Free Proofs Dynamic Programming Proofs