"Good software engineers know how to write software, great ones know how to analyze it."
| Instructor | John Knight |
| Lecture Times | Tuesday, Thursday 2:00 p.m. - 3:15 p.m. |
| Lecture Location | MEC 205 |
| Teaching Assistants | Graduate: Karolina Sarnowska, Wil Burns, Ge Gao; Undergraduate: Sara Alspaugh, Erin Carson |
| Web Site (This One) | http://www.cs.virginia.edu/cs202-1 |
| E-mail For Questions | cs202-1@cs.virginia.edu |
| Instructor's Office | Olsson 208 |
| Instructor's E-mail | knight@cs.virginia.edu |
| Textbook | Discrete Mathematics with Applications, Third Edition, Susanna Epp, Thompson Books |
| Instructor's Office Hours | Tuesday 3:30 p.m. - 5:00 p.m., or by appointment. |
| TA Office Hours |
Monday 3:30 p.m. - 6:30 p.m., 7:00 p.m. - 10:00 p.m.,
Wednesday 1:00 p.m. to 3:00 p.m Olsson 224 |
Available in PDF here
Available here
Probability (Bloomfield) (PDF)
Proof of a Simple Program (PDF)
Languages, Grammars, And Finite State Automata (PDF)
Assignment 1 - Due 9/2/2008 (PDF)
Assignment 1 - Solutions (PDF)
Assignment 2 - Due 9/9/2008 (PDF)
Assignment 2 - Solutions (PDF)
Assignment 3 - Due 9/16/2008 (PDF)
Assignment 3 - Solutions (PDF)
Assignment 4 - Due 10/7/2008 (PDF)
Assignment 4 - Solutions (PDF)
Assignment 5 - Due 10/16/2008 (PDF)
Assignment 5 - Solutions (PDF)
Assignment 6 - Due 10/21/2008 (PDF)
Assignment 6 - Solutions (revised 11/10/2008) (PDF)
Assignment 7 - Due 10/30/2008 (PDF)
Assignment 7 - Solutions (revised 11/17/2008) (PDF)
Assignment 8 - Due 11/6/2008 (PDF)
Assignment 8 - Solutions (PDF)
Assignment 9 - Due 11/25/2008 (PDF)
Assignment 10 - Due 12/4/2008 (PDF)
Examination 1 - Solutions (PDF)
Examination 2 - Solutions (PDF)
Available later.
2006 Semester Exam 1 - key (PDF)