Harvey Mudd College

CS 81: Computability and Logic
Spring 2013

Course Staff and Consulting Hours

Name
How to Contact
Hours (Platt Living Room, unless noted otherwise)
Prof. Robert Kellerkeller [AT] cs.hmc.edu MTW 2:45-4:00, 1253 Olin
Rohitashwa Bagariarbagaria [AT] hmc.edu Sun. 7-8 pm
Sam Graysam_gray [AT] hmc.Edu Sun. 8-9 pm
Ben Johnsonbjohnson [AT] g.hmc.edu Tue. 7-8 pm
Jeffrey Hemphilljeffrey_hemphill [AT] hmc.edu Tue. 8-9 pm
Kevin Viguekevinvigue [AT] gmail.com>Wed. 7-8 pm
Jake Lowjake_low AT hmc.edu Wed. 8-9
Meg O'Keefemargaret_okeefe AT hmc.edu Thu. 7-8 pm
Jason Wangjason_wang [AT] hmc.edu Thu. 10-11 pm
For quickest response, please use our piazza site. Tutoring is held in the Platt Campus Center Livingroom, near the whiteboards.

Grading

Homework50%
Midterm20%
Final25%
Participation (attendance, asking questions, coming to office hours, etc.)5%


Textbooks



Assignments

Selected Lecture Slides

Other Items of Interest