CSE 311 Syllabus

CSE Home

About Us

Search

Contact Info

Main page Administration  Syllabus  Workload and Grading  Instructor and TAs  Lectures  Accommodations Assignments and exams  Assignments  Exams  Policies

Textbook (required): Kenneth Rosen, Discrete Mathematics and Its Applications (sixth edition), McGraw Hill, 2007. Optional: Student's Solutions Guide by Rosen. Topic List Topics will be covered in approximately the order given below. Topic Text sections Approx. no. of Lectures Needed in 300-level CSE courses Logic 1.1-1.4 4 312, 352 Basic proofs 1.5-1.7 4 312, 332 Sets and functions 2.1-2.3 3 312, 331, 332 Basic number theory 3.4-3.7 4 332 Finite-state machines 12.2-12.4 3 352 Computability 3.1, 12.5 2 312 Induction 4.1-4.3, 4.5 3 312, 331, 332 Binary relations 8.1, 8.5 1 312, 331, 332 Circuits 11.1-11.3 1 352 Graphs and Trees 9.1,10.1 1 312, 331, 332 CSE 312: Foundations of Computing II CSE 331: Software Design and Implementation CSE 332: Data Abstractions CSE 352: Hardware Design and Implementation

	Department of Computer Science & Engineering University of Washington Box 352350 Seattle, WA  98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments to rao@cs.washington.edu]