CS 475: Formal Models of Computation (Fall 2023)

Mahesh Viswanathan (vmahesh)

Regular weekly schedule
Syllabus Statements
Grading Policy


August 03

Regular weekly schedule

Tues Thurs 3:30-4:45pm, 1214 Siebel
Office hours
Tuesdays and Thursdays after class at 4:45pm, and by appointment
Warm Up
Weekly warm up exercises will be released Thursday nights on Gradescope. They will be due the following Monday at midnight. Warm up exercises will consist of a few multiple choice and short answer questions that aim to help improve understanding of the basic concepts introduced that week. Warm up exercises will not be timed. You will not be allowed to attempt a warm up exercise after the deadline has passed. To account for normal disruptions in meeting warm up deadlines, the lowest 4 (3 credit) or 3 (4 credit) warm up scores will be dropped. The schedule of warm up exercises can be found here.
Homework will be assigned every two weeks on Thursday and will be due two weeks later on Thursday at midnight. They will be released and submitted on Gradescope. Some topics relevant to the homework may be covered in class after the homework is assigned, but all topics relevant to a homework will be covered at least one week before the due date. We expect to have roughly 6 homework assignments. No late homework submissions will be accepted. To account for normal disruptions in meeting homework deadlines, your lowest 2 (3 credit) or just lowest (4 credit) homework grade will be dropped. Homework schedule can be found here.

Grading Policy

Grading Formula
Your course total will be determined as follows.
Letter Grades
When translating averages into final letter grades, a score of 90 will be at least an A-, 80 at least a B-, 70 at least a C-, 50 at least a D-. The instructor may change these approximate grade cut-offs to be more generous. The instructor also reserves the right to make adjustments to individual final grades to ensure that grades are appropriate in unusual circumstances, such as illness where it's infeasible to make up all the missed work, disabilities that affect the fairness of the standard grading formula, and so forth.

Web design: Jeff Erickson.