"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: Eric Weatherwax, Ke Dang; Undergraduate: Mark Floryan, Assaf Sternberg. |
| 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 |
| TA Office Hours | Sunday 7:00 - 8:00 pm, Monday 5:00 - 6:00 pm, Wednesday 5:00 - 7:00 pm and 7:30 - 9:30 pm, room 224 Olsson Hall. |
Available in PDF here
Available here
Sets, slides 1-26 only - Cohoon (PDF)
Sets, slides 1-56 only - Bloomfield (PDF)
Discrete probabilities, slides 1-52 only - Bloomfield (PDF)
Proof of a simple program (PDF)
Elementary graph threory (Sherriff) (PDF)
Extended library example (PDF)
Finite State Machines & Statecharts (PDF)
Assignment 5 - due 10/11 (PDF)
Assignment 8 - due 11/15 (PDF)
Assignment 9 - due 11/27 (PDF)
Section 1 available here
Section 2 available here