Course Web: Contact information for instructor and teaching assistants, office hours, calendar, all handouts, and an archive of all mail sent to the class mailing list will be available on the course web at the following URL: http://www.cs.washington.edu/311
Textbook: Kenneth H. Rosen, Discrete Mathematics and Its Applications, Seventh Edition, McGraw-Hill, 2012. (I will try to cite corresponding references in the Sixth Edition when I can.)
Syllabus:
| Topic | 7th ed. section | 6th ed. section | Lectures | Needed in 300-level CSE courses |
| Logic | 1.1-1.5 | 1.1-1.4 | 4 | 312, 352 |
| Basic proofs | 1.7-1.8 | 1.6-1.7 | Integrated below | 312, 332 |
| Sets and functions | 2.1-2.3 | 2.1-2.3 | 3 | 312, 331, 332 |
| Basic number theory | 4.1-4.6 | 3.4-3.7 | 6 | 332 |
| Induction | 5.1-5.3, 5.5 | 4.1-4.3, 4.5 | 4 | 312, 331, 332 |
| Binary relations | 9.1, 9.5 | 8.1, 8.5 | 1.5 | 312, 331, 332 |
| Graphs | 10.1 | 9.1 | 0.5 | 312, 331, 332 |
| Circuits | 12.1-12.3 | 11.1-11.3 | 2 | 352 |
| Finite-state machines | 13.2-13.4 | 12.2-12.4 | 5 | 352 |
| Computability | 3.1, 13.5 | 3.1, 12.5 | 3 | 312 |
Reading Assignment: Read Sections 1.1-1.3 [6th edition: 1.1-1.2] for next lecture.
Grading: The course grade will be based on approximately 8 homework assignments (50%), a midterm exam (20%), and a final exam (30%). Percentages are approximate.
Policy on Collaboration: You are to complete homework assignments individually. You may discuss the assignment in general terms with other students, including a discussion of how to approach the problem, but the solution you write must be your own. The intent is to allow you to have helpful brainstorming sessions when you are stuck, but this help should be limited and should never involve details of how to solve the problem. A good rule of thumb is that you should never carry away anything written from one of these brainstorming sessions: if you cannot recreate the solution on your own later, then you do not truly understand the solution and you have received too much help from your collaborator. You must abide by the following rules:
Mailing List: The class mailing list is cse311a_sp12{at}u.washington.edu. Instructions for subscribing to the class mailing list can be found on the course web. We will use this list for announcements of general interest to the class. Students should also feel free to use it to ask questions, post information (though, of course, not hints of homework solutions), or initiate discussions of general interest to the class. Questions or comments that are not of general interest should instead be directed to a TA or instructor at the addresses on the main course web page.
Special Accommodations: If you would like to request academic accommodations due to a disability, please contact Disabled Student Services, 448 Schmitz, 543-8924 (V/TDD). If you already have a letter from Disabled Student Services indicating you have a disability that requires academic accommodations, please let the instructor know so we can discuss the appropriate accommodations.