Monday August 25 |
Administrivia Introduction |
Syllabus (.pdf) |
Tuesday August 28 (Recitation) | Introduction to LaTeX | |
Wednesday August 27 | Propositional Logic | Sections 1.1 and 1.2 |
Friday August 29 | Pretest |
Closed book, crib sheet policy applies. |
Monday September 1 | No Class - Labor Day | |
Tuesday September 2 (Recitation) | Logic exercises. | Quiz 01, HW 01 assigned |
Wednesday September 3 | Propositional Logic, Predicate Logic | Sections 1.1--1.4 |
Friday September 5 | Predicate Logic | Sections 1.3--1.4 |
Monday September 8 | Predicate Logic. |
HW 01 due. HW 02 assigned. |
Tuesday September 9 (Recitation) | Predicate Logic Exercises | Quiz 02 |
Wednesday September 10 | Finish Precate Logic, Start Proofs. | Sections 14.--1.7 |
Friday September 12 | Proofs. | Sections 1.5--1.7 |
Monday September 15 | Proofs. |
HW 02 due. HW 03 assigned. Sections 1.5--1.7 |
Tuesday September 16 (Recitation) | Equivalence laws, mixing quantifiers, negating quantified expressions, proofs. | Quiz 03 |
Wednesday September 17 | Proofs. | Sections 1.5--1.7 Sections 2.1 and 2.2. |
Friday September 19 | Finish Proofs. If time permits, start Sets. |
Sections 1.5--1.7 Sections 2.1 and 2.2. |
Monday September 22 | Sets. |
Sections 2.1 and 2.2. HW 03 due. HW 04 assigned. |
Tuesday September 23 (Recitation) | Quiz 04 | |
Wednesday September 24 | Sets | |
Thursday September 25 (Recitation) | Mixing quantifiers. |
Come with your questions. AvH 108. |
Friday September 26 | Sets. If time permits, start Functions. | Sections 2.1, 2.2, 2.3 |
Monday September 29 | Finish Sets. Start Functions. | Sections 2.1, 2.2, 2.3 HW4 due HW5 assigned |
Tuesday September 30 (Recitation) | Quiz 05 | |
Wednesday October 1 | Functions | Section 2.3 |
Friday October 3 | Functions. | Section 2.3 |
Monday October 6 | Functions |
HW 06 assigned HW 05 due |
Tuesday October 7 (Recitation) | ||
Wednesday October 8 | Finish Functions. Start Relations. | Quiz 06 in class Section 2.3 and Sections 8.1, 8.3--8.5 |
Friday October 10 |
Monday October 13 | Relations |
Sections 8.1, 8.3--8.5 HW 06 due HW 07 assigned |
Tuesday October 14 (Recitation) | Review for Midterm. | |
Wednesday October 15 | Relations | Sections 8.1, 8.3--8.5 |
Friday October 17 | Midterm |
Monday October 20 | No Class - Fall Break | |
Tuesday October 21 (Recitation) | No Class - Fall Break | |
Wednesday October 22 | Relations. | Sections 8.1, 8.3--8.5 |
Friday October 24 | Relations. | Sections 8.1, 8.3--8.5. |
Monday October 27 | Finish Relations. Start Partial Orderings. |
Section 8.6 HW 07 due HW 08 assigned |
Tuesday October 28 (Recitation) | Relations. See handout. | Quiz 07 |
Wednesday October 29 | Partial Orders. | Section 8.6 |
Friday October 31 | Partial Orders. | Section 8.6 |
Monday November 3 | Finish Partial Orders. Start Algorithms. |
HW 09 assigned HW 08 due |
Tuesday November 4 (Recitation) | Quiz 08 | |
Wednesday November 5 | Algorithms. | Section 3.1 |
Friday November 7 | Algorithms Analysis. | Section 3.3 HW 9 was updated |
Monday November 10 |
Algorithm Analysis. Asymptotics. Sections 3.2 and 3.3. |
HW 09 UPDATED due HW 10 assigned |
Tuesday November 11 (Recitation) | Quiz 09 | |
Wednesday November 12 | Asymptotics | Section 3,2 |
Friday November 14 | Sequences and Summations | Section 2.4 |
Monday November 17 | Finish Sequences and Summations. Start Induction. |
Section 2.4. Sections 4.1 and 4.2. HW 10 due HW 11 assigned |
Tuesday November 18 (Recitation) | Quiz 10 | |
Wednesday November 19 | Induction | Sections 4.1 and 4.2 |
Friday November 21 | Finish Induction. | Sections 4.1 and 4.2 |
Monday November 24 | Recursion. |
Sections 7.1 and 7.2 HW 12 assigned HW 11 due |
Tuesday November 25 (Recitation) | Alert: Correction of select questions of Quiz 10 distributed in class. | Quiz 11 |
Wednesday November 26 | No Class - Thanksgiving Break | |
Friday November 28 | No Class - Thanksgiving Break |
Monday December 1 | Recursion | Sections 7.1 and 7.2 HW 12 due |
Tuesday December 2 | Lecture on Recursion. | Quiz 12 Alert: Correction of select questions of Quiz 12 distributed in class. Bonus: HW 13 assigned |
Wednesday December 3 | Finish Recursion. Master Theorem.Sections 7.1--7.3 | |
Friday December 5 | Master Theorem. Starting Combinatorics. | Sections 7.1--7.3, 5.1--5.6, 7.5, 7.6 |
Monday December 8 | Combinatorics. |
Sections 5.1--5.6, 7.5, 7.6 HW 13 due |
Tuesday December 9 (Recitation) | Review | |
Wednesday December 10 | Combinatorics | Sections5.1--5.6, 7.5, 7.6 |
Friday December 12 | Review/Q&A session. | In classroom |