This is an unmaintained archive of an old course, so information may be out of date and some site functionality may be broken.
  • Skip to primary navigation
  • Skip to content
  • Skip to footer
CS 139: Theory of Computation Drake University, Spring 2020
  • Syllabus
  • Schedule
  • Assignments
  • Handouts
    Titus Klinge

    Titus Klinge

    Assistant Professor of Computer Science at Drake University

    • 305 Collier-Scripps
    • (515) 271-4599
    • titus.klinge@drake.edu
    • http://titusklinge.com

    Slack Hours

    MW: 9:15pm–10:45am
    MW: 2:45pm–4:15pm

    Handouts

    • Solutions to Proof Exercises
    • Proofs of Closure Property Exercises
    • Proofs of Pumping Lemma Exercises
    • Proofs of Undecidability Exercises
    © 2023 Titus Klinge. Powered by Jekyll & Minimal Mistakes.