U Chicago CS Dept Logo

CSPP 50201: Mathematics for CS I: Discrete Mathematics
Summer 2009


announcements | general information | organization | homework | notes


Announcements

Final exam is today!

Please subscribe to the course mailing list: 50201 mailing list

Required: Read the University policy statement on academic honesty

Schedule of lectures and problem sessions

June 23
Lecture 1: Propositional logic; Proof
5:30–8:30 pm in Ryerson 276
Reading assignment: Rosen chapter 1, sections 1.1–1.4
June 24
Lecture 2: Quantifiers; Proof techniques
5:30–7:00 pm in Ryerson 276
Reading assignment: Rosen chapter 1, sections 1.5–1.7
June 30
Lecture 3: Simple induction
5:30–8:30 pm in Ryerson 276
Reading assignment: Rosen chapter 4, section 4.1
July 1
Lecture 4: Strong induction
5:30–7:00 pm in Ryerson 276
Reading assignment: Rosen chapter 4, section 4.2
July 7
Lecture 5: Sets and set operations
5:30–8:30 pm in Ryerson 276
Reading assignment: Rosen chapter 2, sections 2.1–2.2
July 8
Lecture 6: Functions
5:30–7:00 pm in Ryerson 276
Reading assignment: Rosen chapter 2, section 2.3
July 14
Lecture 7: Growth of functions; asymptotic notation
5:30–8:30 pm in Ryerson 276
Reading assignment: Rosen chapter 3, sections 3.1–3.2
July 15
Midterm examination
5:30–7:00 pm in Ryerson 276
July 21
Lecture 8: Primality and factoring; Euclid's algorithm
5:30–8:30 pm in Ryerson 276
Reading assignment: Rosen chapter 3, sections sections 3.3–3.5
July 22
Lecture 9: Congruences, modular exponentiation
5:30–7:00 pm in Ryerson 276
Reading assignment: Rosen chapter 3, sections 3.6–3.7
July 28
Lecture 10: RSA; Fermat's theorem
5:30–8:30 pm in Ryerson 276
Reading assignment: Rosen chapter 3, section 3.7
July 29
Lecture 11: Chinese remainder theorem
5:30–7:00 pm in Ryerson 276
Reading assignment: Rosen chapter 9, sections 9.1–9.5
August 2
Problem session
3:30–5:30 pm in Ryerson 276
August 4
Final examination
5:30–8:30 pm in Ryerson 276



Organization

Staff

Lectures

Problem Sessions