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