Steam-powered Turing Machine University of Washington Computer Science & Engineering
 CSE 311: Foundations of Computing I
  CSE Home     CSE 311 Home  About Us    Search    Contact Info 

Course Staff
 Paul Beame
 James Lee
 Emily Behrendt
 Armando Diaz Tolentino
 Hanchuan Li
 Vincent Liew
 JiangHong Shi
 King Xia
Course Information
 Course Calendar
 Lecture Slides
 Grading Guidelines
 Office Hours
 Post-Section Notes
 Some Proof Tips
 Course E-mail Archive
 Discussion board

Class Meetings:

Lecture A (Beame): MWF, 9:30-10:20 am, GLD 322
Lecture B (Lee): MWF, 1:30-2:20 pm, EEB 125


AA Thursdays 8:30-9:20 am MGH 238 Vincent Liew
AB Thursdays 9:30-10:20 am MGH 242 Vincent Liew
AC Thursdays 10:30-11:20 am MGH 254 King Xia
BA Thursdays 1:30-2:20 pm THO 234 Armando Diaz Tolentino
BB Thursdays 2:30-3:20 pm EEB 037 Emily Behrendt
BC Thursdays 12:30-1:20 pm EEB 026 Armando Diaz Tolentino

Contact Information and Office Hours:

To contact us about anything to do with the course, please send mail to cse311-staff@cs.


Paul Beame (beame@cs), CSE 668, 206-543-5114, Office hours - Mondays 10:30-12:00, Wednesdays 10:30-11:00, Fridays 10:30-11:00
James Lee (jrl@cs), CSE 640, Office hours - Mondays 2:30-4:00, Wednesdays 2:30-3:00, Fridays 2:30-3:00

Teaching Assistants:

Emily Behrendt, Office hours - Tuesdays 12:00-12:50 CSE 220
Armando Diaz Tolentino, Office hours - Fridays 3:30-4:20 CSE 220
Hanchuan Li, Office hours - Tuesdays 9:30-10:20 CSE 218
Vincent Liew, Office hours - Tuesdays 2:30-3:20 CSE 220
JiangHong Shi, Office hours - Tuesdays 1:30-2:20 CSE 220
King Xia, Office hours - Fridays 11:00-11:50 CSE 021


Rosen, Discrete Mathematics and Its Applications, McGraw-Hill. We will support either the 6th or 7th edition of the text. The 7th edition is available from the bookstore but there are multiple sources for used or new copies of the 6th edition, which may be considerably less expensive. The minor differences in content are not worth the difference in price.

See the Course Calendar for the reading assignments.


Class will not be held on the following university holidays:
  • Veterans Day, Monday, Nov 11, 2013
  • Day after Thanksgiving, Friday, Nov 29, 2013

Midterm Exam

Monday, November 4 at regular class times. Please look at sample questions from old midterms which also include the tables of equivalences and inference rules that you will be given during the test. Solutions to the sample midterm are available here.

Final Exam

The final exam has been rescheduled so that both lectures can take a common exam. The exam is Monday, Dec 9. The times will be 2:30-4:20 pm (the original exam time for the 1:30 section) and 4:30-6:20 pm, both in Kane 220. Students may take the exam at either time. We will send out a Catalyst survey to get an idea of the number of students taking it at each time.
List of Topics for the Final Exam
Sample problems from past exams.
Final exam review slides

CSE logo Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to beame]