CS 475: Formal Models of Computation (Fall 2017)

Instructor
Mahesh Viswanathan (vmahesh)
Teaching Assistant
Robert Andrews (rgandre2)

Administrivia
Regular weekly schedule
Academic integrity policies
Homework and grading policies


Announcements

August 21

Regular weekly schedule

Lectures
Tues Thurs 11:00-12:15pm, 1302 Siebel
Office hours:
Mahesh Tuesdays and Thursdays after class at 12:15pm, and by appointment
Robert Wednesdays and Fridays 11:00am - 12:00pm, Theory Lounge
Homework
Homework assignments will be given every two weeks on Thursday. You will have two weeks to solve them, with the homework being due on Thursday at midnight. Some material on the homework may be covered in class after the homework is assigned, but all material 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 the homework deadlines, your lowest homework grade will be dropped. Homework schedule can be found here.
Quizzes
Weekly quizzes will be made available on Moodle. The quiz will be released on Thursday night, and will be due the following Monday midnight. The quizzes will not be timed, and you will be allowed to attempt it multiple times. However, only your last attempt will be graded. You will not be allowed to attempt the quiz after the deadline has passed. Your lowest 2 quiz scores will be dropped. Quiz schedule can be found here.

Credits
Web design, formulation of policies on academic integrity, homework submission, and advice on turning in good homework solutions: Jeff Erickson.