CS 441 (Fall 2006): Discrete Structures for Computer Science (in progress and subject to change)
Text: Discrete Mathematics and Its Applications by Rosen, SIXTH edition (2007)  
 
Lectures  Topic(s)  Assignments
August 28, 30

(September 1 class cancelled due to Sensq closure)

 Administrivia and course overview. Propositional logic.

Readings: Preface etc., Section 1.1 (also book's 1.1)

 
September 6, 8

(Dr. Litman out of town,
Kiyeon Lee lecturer)

 Propositional logic continued. Propositional equivalences. Predicates and Quantifiers. Nested Quantifiers.

Readings: Sections 1.2, 1.3 and 1.4 (also book's 1.2, 1.3)

Homework 1

Assigned 9/6

Due 9/13

September 11, 13, 15 Rules of Inference

Readings: Section 1.4 (continued), 1.5, more on 1.1-1.5 (also book's 1.5)

Homework 2

Assigned 9/13

Due 9/20

September 18, 20, 22

(Dr. Litman at Interspeech on M and W,
Dr. Kahrs guest lecturer)

 Introduction to Proofs. Proof Methods and Strategy.

Readings: Sections 1.6, 1.7. (also book's 1.6, 1.7 )

Homework 3

Assigned 9/22

Due 9/27

Quiz 1

September 25, 27, 29 Sets.

Readings: Section 1.7 (continued), 2.1 (also book's 2.1)

Homework 4

Assigned 9/27

Due 10/04

Quiz 2

October 2, 4, 6

Kiyeon Lee lecturer on Monday

 Set operations, Functions.

Readings: Sections 2.1 (continued), 2.2, 2.3 (also book's 2.2, 2.3)

Homework 5

Assigned 10/4

Due 10/11

October 9, 11, 13 Sequences and Summations.

Readings: Section 2.3 (continued), Section 2.4 (also book's 2.4)

Homework 6

Assigned 10/11

Due 10/18

Quiz 3

October 16, 18 Sequences and Summations, Exam Review

Readings: Section 2.4 (continued)

 No homework this week!
October 20 Midterm Exam (Closed-book, NO makeups)

Readings: Covers all material in Chapters 1 and 2 (except 2.4)

  
October 23, 25, 27 Mathematical Induction, Recursive Definitions

Reading: Section 4.1, Section 4.3 (also book's 4.1, 4.2, 4.3)

Homework 7

Assigned 10/25

Due 11/01

October 30, November 1, 3 Midterm Discussion, The Basics of Counting. The Pigeonhole Principle.

Readings: Sections 5.1, 5.2 (also book's 5.1)

Homework 8

Assigned 11/01

Due 11/08

November 6, 8, 10 Permutations and Combinations, Probability.

Readings: Section 5.3 (also books' 5.3), Section 6.1.

Homework 9

Assigned 11/08

Due 11/15

Quiz 4

November 13, 15, 17 Probability, Relations

Readings: Sections 6.2, 8.1 (also book's 8.1)

Homework 10

Assigned 11/15

Due 11/29 (note date!)

Quiz 5

November 20 Relations

Readings: Section 8.1

 
November 27, 29, December 1 Relations, Representing Relations, Closures of Relations

Readings: Section 8.1, 8.3, 8.4 (might want to skim 3.8 re matrices; also book's 8.3 and 8.4)

Homework 11

Assigned 11/29

Due 12/4 (note date!)

Quiz 6

December 4, 6 Equivalence Relations, Partial Orders

Readings: 8.5, 8.6; also book's 8.5 and 8.6.

 
December 8 Exam Review

 
Tuesday December 12 (2-3:50) Final Exam (Closed-book, NO makeups)

Readings: cumulative