CSE logo University of Washington Department of Computer Science & Engineering
 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


CSE logo 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]