# 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 Objectives Getting Oriented In Class Welcome! Due Join 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 Objectives Getting Oriented Prep Math Autobiography In Class Mathematics 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 Objectives Getting Oriented Prep Statements and Truth Tables In Class Lab 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 Objectives Sets and Logic Prep Conditionals and Friends In Class Conditionals and Friends W Sep. 20 Sets and Set Operations We introduce sets, set-builder notation, and operations for combining and measuring sets. Learning Objectives Sets and Logic Prep Sets In Class Sets 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 Objectives Sets and Logic Prep More on Sets In Class Lab 2: Inclusion-Exclusion Due Lab 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 Objectives Sets and Logic Prep Quantifiers and Predicate Logic In Class Quantifiers and Predicate Logic W Sep. 27 Further Topics: Logic and Sets We introduce logical deduction and review topics from the course so far. Learning Objectives Sets and Logic Proof Prep More on Quantifiers and Logic In Class TBD 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. Due Lab 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 Objectives Proof techniques Prep Direct Proofs In Class TBD 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 Objectives Proof techniques Prep Cases, Contradictions, and Counterexamples F Oct. 06 Lab 3: Proof Practice Prep TBD In Class Lab 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 Objectives Proof techniques Prep Introduction 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 Objectives Proof techniques Prep More Induction F Oct. 13 No Class: Midterm Recess Due Lab 3: TBD

## Week 6

 M Oct. 16 Relations W Oct. 18 Functions F Oct. 20 Quiz 2 Due Lab 3: TBD

## Week 7

 M Oct. 23 Counting W Oct. 25 Counting F Oct. 27 Lab 4: TBD Due Lab 3: TBD

## Week 8

 M Oct. 30 Recursion W Nov. 01 Recursion F Nov. 03 Lab 5: TBD Due Lab 4: TBD

## Week 9

 M Nov. 06 Asymptotics and Big-Oh W Nov. 08 Flex F Nov. 10 Quiz 3 Due Lab 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 Due Lab 6: TBD

## Week 12

 M Dec. 04 Probability W Dec. 06 Probability F Dec. 08 Quiz 4 Due Lab 7: TBD

## Week 13

 M Dec. 11 Flex, Review

## 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.