| Monday August 23 |
Administrivia Introduction |
Syllabus (.pdf) |
| Tuesday August 24 (Recitation) | Introduction to LaTeX | Quiz 00 |
| Wednesday August 25 | Propositional Logic | Sections 1.1 and 1.2 HW 01 assigned |
| Friday August 27 | Pretest |
Closed book, crib sheet policy applies. |
| Monday August 30 | Propositional Logic | Sections 1.1--1.2 |
| Tuesday August 31 (Recitation) | Logic exercises. | Quiz 01 |
| Wednesday September 1 | Propositional Logic, Predicate Logic | Sections 1.1--1.4 |
| Friday September 3 | Predicate Logic | Sections 1.3--1.4 HW 01 due. HW 02 assigned. |
| Monday September 6 | No Class - Labor Day | |
| Tuesday September 7 (Recitation) | Predicate Logic Exercises | Quiz 02 |
| Wednesday September 8 | Predicate Logic | Sections 1.3--1.4 |
| Friday September 10 | Predicate Logic, Proofs |
Sections 1.3--1.5 HW 02 due. HW 03 assigned. |
| Monday September 13 | Proofs | Sections 1.5--1.7 |
| Tuesday September 14 (Recitation) | Quiz 03 | |
| Wednesday September 15 | Proofs. |
Sections 1.5--1.7 Sections 2.1 and 2.2. |
| Friday September 17 | Finish Proofs. |
Sections 1.5--1.7 Sections 2.1 and 2.2. HW 03 due. HW 04 assigned. |
| Monday September 20 | Finish Proofs. Start Sets. |
Sections 1.5--1.7 Sections 2.1 and 2.2. |
| Tuesday September 21 (Recitation) | Quiz 04 | |
| Wednesday September 22 | Sets. Start Functions. |
Sections 2.1--2.3. |
| Friday September 24 | Same as above: Sets. If time permits, start Functions. |
Sections 2.1, 2.2, 2.3 HW 04 due HW 05 assigned |
| Monday September 27 | Functions. | Sections 2.3 |
| Tuesday September 28 (Recitation) | Review for Midterm 1 | |
| Wednesday September 29 | Midterm 1 | |
| Friday October 1 | Functions. If time permits, start Relations | Section 2.3. Sections 8.1, 8.3, 8.4, 8.5 |
| Monday October 4 | Relations | Sections 8.1, 8.3, 8.4, 8.5 |
| Tuesday October 5 (Recitation) | Quiz 05 |
|
| Wednesday October 6 | Finish Functions. Start Relations. | Sections 8.1, 8.3--8.5 |
| Friday October 8 |
HW 05 due HW 06 assigned |
| Monday October 11 | Relations | Sections 8.1, 8.3--8.5 |
| Tuesday October 12 (Recitation) |
Quiz 06 |
|
| Wednesday October 13 | Relations | |
| Friday October 15 | Relations |
HW 06 due HW 07 assigned |
| Monday October 18 | No Class - Fall Break | |
| Tuesday October 19 (Recitation) | No Class - Fall Break | |
| Wednesday October 20 | Finish Relations. Start Partial Orders |
Sections 8.1, 8.3--8.5, 8.6 Check Midterm 1 today before 2:30 pm |
| Friday October 22 | Partial Orders |
HW 07 due HW 08 assigned |
| Monday October 25 | Partial Orderings | Section 8.6 |
| Tuesday October 26 (Recitation) | Quiz 07 | |
| Wednesday October 27 | Finish Partial Orderings, start Algorithms | Section 8.6, Section 3.1 |
| Friday October 29 | Algorithms |
Section 3.1 HW 08 due HW 09 assigned |
| Monday November 1 | Finish Algorithms. Start Algorithm Analysis. | Section 3.1, 3.3. |
| Tuesday November 2 (Recitation) | Quiz 08 | |
| Wednesday November 3 | Algorithm analysis | Section 3.1, 3.3. |
| Friday November 5 | Finish Algorithm analysis, Start Asymptotics |
Section 3.2 HW 09 due HW 10 assigned |
| Monday November 8 |
Finish Asymptotics. |
Section 3.2 |
| Tuesday November 9 (Recitation) | Review for Midterm 2 | Quiz 09 |
| Wednesday November 10 | Midterm 2 | |
| Friday November 12 | Finish Asymptotics. Sequences and Summations | Section 2.4 |
| Monday November 15 | Finish Sequences and Summations. Start Induction. |
Section 2.4. Sections 4.1 and 4.2. |
| Tuesday November 16 (Recitation) | xxx | Quiz 10 |
| Wednesday November 17 | Induction | Sections 4.1 and 4.2 |
| Friday November 19 | Finish Induction. Start Recursion |
Sections 4.1 and 4.2. Sections 7.1 and 7.2. HW 10 due HW 11 assigned |
| Monday November 22 | ||
| Tuesday November 23 (Recitation) | Cancelled, due to request | |
| Wednesday November 24 | No Class - Thanksgiving Break | |
| Friday November 26 | No Class - Thanksgiving Break |
| Monday November 29 | Recursion |
Sections 7.1 and 7.2
HW 11 due HW 12 assigned |
| Tuesday November 30 (Recitation) | .. | Quiz 11 |
| Wednesday December 1 | Recursion. | Sections 7.1--7.3 First date to take PAT |
| Friday December 3 | Same as above | Remember to take PAT |
| Monday December 6 | Finish Recursion, Master Theorem. Time permitting, start combinatorics. |
Sections 5.1--5.6, 7.5, 7.6
HW 12 due Bonus: HW 13 assigned Remember to take PAT |
| Tuesday December 7 (Recitation) | Review | Remember to take PAT |
| Wednesday December 8 | Combinatorics |
Sections 5.1--5.6, 7.5, 7.6
HW 13 due Last day for PAT |
| Friday December 10 | Review/Q&A session. | In classroom |