Spring 2007
CS 1050 B - Construction Proofs

Time: Tu, Th: 3:05-4:25pm.
Place: Klaus (KACB) 1447.
Instructor: Alexandra (Sasha) Boldyreva
Email: aboldyre@cc.gate.... Please include "1050" in the subject.
Office hours: Tuesday 5-6pm, Wednesday 2-3pm, in Klaus 3144.
TA: Min Zhang, minzhang@cc.gate.... Office hours: Friday 12:30-2:30pm, outside of Klaus 1305.

Announcements:

• Quiz 3 is on April 19, in class, one letter-size "cheat" sheet is allowed.
• Final is on Monday April 30, 11:30-2:20. 3 letter-size "cheat" sheets are allowed.
• There will be no lecture on Thursday April 26th as I will be attnending RSA Conference Japan.

Required Textbook. "Discrete Mathematics and Its Applications" by Kenneth Rosen, 6th edition. ISBN#: 0072880082

Content. Basic primitives and paradigms of the mathematical understanding of computation.
Tentative list of topics:
Propositions, Proofs, Propositional Logic.
Induction and Recursion.
Basic Counting and Probability.
Number Theory: Euclid's Algorithm, Primality, RSA.

Requirements. There will be weekly (and sometimes bi-weekly) homeworks (30%), three quizzes (36%) and a final (34%).

Syllabus that contains the lecture notes and relevant reading assignments.

Rules and additional course information.