Course schedule

The table below gives the material covered in class, and points to the corresponding section in the text books.

Date Material Comments and References
Jan 10 Administrative issues/Basic Logic Syllabus handed
Jan 12 Basic Logic Chap. 1; LECTURE NOTES
Jan 17 Language of Mathematics: Sets Chap. 1.8; ; LECTURE NOTES
Jan 19 Language of Mathematics Chap. 1.8 ; Homework 1 due
Jan 24 Language of Mathematics: Relationships Chap. 7.1
Jan 26 Language of Mathematics: Sequences and Sums Chap. 7.5 & Chap.3.2
Jan 31 Proof techniques Chap. 1.5;
.
Feb 2 Proof Technniques; Chap. 1.5 and 3.1; Homework 2 due
Feb 7 Proof Technniques Chap. 1.5 and 3.1; LECTURE NOTES
Feb 9 Proof Technniques Chap. 3.1 and lecture LECTURE NOTES
Feb 14 Mathematical Induction Chap.3 Homework 3 due
Feb 16 Math Induction Chap. 3
Feb 21 Math Induction Homework 4 due
Feb 23 Algorithms Notes
Feb 28 Algorithms Notes
.
March 1 Algorithms Notes
March 6 Algorithms Chap. 3.5 Homework 5 due
March 8 MIDTERM Midterm in class
March 13 SPRING BREAK Spring Break
March 15 SPRING BREAK Spring Break
March 20 Professor Atallah starts teaching Switch to Prof. cs 182 webpage Prof. Atallah CS 182 webpage
.
Basic Number Theory LECTURE NOTES
Applications -- RSA Chap. 2.6; Homework 6 due
Basic Counting Chap. 4; Homework 7 due
Basic Counting Chap. 4; LECTURE NOTES
Chap. 4 Homework 8 due
MIDTERM MIDTERM
Discrete Probability Chap. 5; Homework 9 due LECTURE NOTES
Discrete Probability Chap. 5 LECTURE
Trees Chap. 6; LECTURE
.
Boolean Algebra Chap. 10
Finite Automata Chap.11;