# Schedule

*This schedule is tentative and subject to change*.

Warmups are due **every class day**, even if they are not listed under the “Due” column.

## Week 1

M Sep. 11 |
Welcome! | ||||||

We discuss the structure of the course and the role of mathematics in modern computation. | |||||||

Learning ObjectivesGetting Oriented |
In ClassWelcome! |
DueJoin EdStem and Gradescope. |
|||||

W Sep. 13 |
Mathematics and Me | ||||||

We discuss our relationship to math and how we've learned what we've learned. | |||||||

Learning ObjectivesGetting Oriented |
PrepMath Autobiography |
In ClassMathematics and Me |
|||||

F Sep. 15 |
Lab 1: Technical Writing and Truth Tables | ||||||

We review truth tables for describing logical operations and begin our first lab assignment in Google Colab. | |||||||

Learning ObjectivesGetting Oriented |
PrepStatements and Truth Tables |
In ClassLab 1: Technical Writing and Truth Tables |

## Week 2

M Sep. 18 |
Working with Symbolic Logic | ||||||

We introduce formal manipulations of logical expressions and work with the many ways to manipulate conditional statements. | |||||||

Learning ObjectivesSets and Logic |
PrepConditionals and Friends |
In ClassConditionals and Friends |
|||||

W Sep. 20 |
Sets and Set Operations | ||||||

We introduce sets, set-builder notation, and operations for combining and measuring sets. | |||||||

Learning ObjectivesSets and Logic |
PrepSets |
In ClassSets |
|||||

F Sep. 22 |
Lab 2: Inclusion-Exclusion | ||||||

We use the inclusion-exclusion formula and its generalizations to compute the cardinality of unions of sets. Along the way, we practice writing mathematical computations and performing computational experiments. | |||||||

Learning ObjectivesSets and Logic |
PrepMore on Sets |
In ClassLab 2: Inclusion-Exclusion |
DueLab 1: Technical Writing and Truth Tables |

## Week 3

M Sep. 25 |
Quantifiers and Predicate Logic | ||||||

We discuss quantification of propositions over sets and how to apply logical operations to symbolic quantifiers. | |||||||

Learning ObjectivesSets and Logic |
PrepQuantifiers and Predicate Logic |
In ClassQuantifiers and Predicate Logic |
|||||

W Sep. 27 |
Further Topics: Logic and Sets | ||||||

We introduce logical deduction and review topics from the course so far. | |||||||

Learning ObjectivesSets and Logic Proof |
PrepMore on Quantifiers and Logic |
In ClassTBD |
|||||

F Sep. 29 |
Quiz 1 | ||||||

The first of four quizzes in which students have an opportunity to complete Learning Targets. This quiz includes targets LS1, LS2, and LS3. |
|||||||

DueLab 2: Inclusion-Exclusion |

## Week 4

M Oct. 02 |
Direct Proofs | ||||||

We introduce direct proofs, our first general technique for proving statements about mathematics and algorithms. | |||||||

Learning ObjectivesProof techniques |
PrepDirect Proofs |
In ClassTBD |
|||||

W Oct. 04 |
Cases, Contradictions, and Counterexamples | ||||||

We introduce several additional proof techniques, as well as the practice of counterexamples for disproving incorrect implications. | |||||||

Learning ObjectivesProof techniques |
PrepCases, Contradictions, and Counterexamples |
||||||

F Oct. 06 |
Lab 3: Proof Practice | ||||||

PrepTBD |
In ClassLab 3: Proof Practice |

## Week 5

M Oct. 09 |
Induction | ||||||

We introduce mathematical induction, a powerful proof technique for demonstrating that a claim is true for infinitely many cases. | |||||||

Learning ObjectivesProof techniques |
PrepIntroduction to Induction |
||||||

W Oct. 11 |
More Induction | ||||||

We broaden our usage of induction to use strong induction and to write inductive proofs for the correctness of functions. | |||||||

Learning ObjectivesProof techniques |
PrepMore Induction |
||||||

F Oct. 13 |
No Class: Midterm Recess | ||||||

DueLab 3: TBD |

## Week 6

M Oct. 16 |
Relations | ||||||

W Oct. 18 |
Functions | ||||||

F Oct. 20 |
Quiz 2 | ||||||

DueLab 3: TBD |

## Week 7

M Oct. 23 |
Counting | ||||||

W Oct. 25 |
Counting | ||||||

F Oct. 27 |
Lab 4: TBD | ||||||

DueLab 3: TBD |

## Week 8

M Oct. 30 |
Recursion | ||||||

W Nov. 01 |
Recursion | ||||||

F Nov. 03 |
Lab 5: TBD | ||||||

DueLab 4: TBD |

## Week 9

M Nov. 06 |
Asymptotics and Big-Oh | ||||||

W Nov. 08 |
Flex | ||||||

F Nov. 10 |
Quiz 3 | ||||||

DueLab 5: TBD |

## Week 10

M Nov. 13 |
Graphs | ||||||

W Nov. 15 |
Graphs | ||||||

F Nov. 17 |
Lab 6: TBD | ||||||

## Week 11

M Nov. 27 |
Probability | ||||||

W Nov. 29 |
Probability | ||||||

F Dec. 01 |
Lab 7: TBD | ||||||

DueLab 6: TBD |

## Week 12

M Dec. 04 |
Probability | ||||||

W Dec. 06 |
Probability | ||||||

F Dec. 08 |
Quiz 4 | ||||||

DueLab 7: TBD |

## Week 13

M Dec. 11 |
Flex, Review | ||||||

No matching items

## Final Exam

Our final exam will be another quiz covering all twelve core Learning Targets. So, it’s just like Quiz 4, except you’ll have 3 hours instead of 50 minutes.

© Phil Chodrow, 2023