CS475: Formal Models of Computation, Spring 2023

Please look through the links above to get familiar with the syllabus and the tools that we'll be using. This page provides a quick summary to deal with immediate issues. See also information about special situations.

Announcements

Piazza is our forum for announcements, asking questions, and so forth. Some announcements may be duplicated here. Make sure you are signed up for both Piazza and Gradescope (entry code E7GPXB).

Staff

Instructor: Ben Cosman, bcosman
CA: Anakin Dey, anakind2

Classes

Meeting times and locations are on Course Explorer.

Workflow for a week

Here is the normal workflow for a week:

Sunday Monday Tuesday Wednesday Thursday Friday Saturday
  Homework due (midnight)

Do readings for Tues
Group problem solving in class Do readings for Thurs Group problem solving in class Warm-up Problems due  

There will not be homeworks due on Mondays that immediately follow an exam. Warm-ups however are due every Friday from week 1-14.

Homeworks and Warm-up Problems

Warm-up problems (due every Friday) can be found on Gradescope.

Each Monday at midnight, there will be a homework due on Gradescope.