CpS 440: Theoretical Foundations in Comp. Sci.

To edit course information, hover your mouse over this help box and click the pencil icon that appears above it. After you make changes, click Save, then click the check box that appears above this box to publish the changes.

A study in finite state machines, Turing machines, computability and formal languages. Prerequisite(s): CpS 210, Ma 314. 3 Credits.

Spring 2025 Course Information

Instructor: Jim Knisely
Course Syllabus

Course Resources

Lecture Schedule

Classroom and Meeting Times

The class meets TTH 2:00 - 3:15 p.m. in AL 314.

Textbook

Introduction to the Theory of Computation series by Michael Sipser. Third edition

Links to Protected Content

Internal
Canvas
Teams