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!
M Sep. 11	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
W Sep. 13	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
F Sep. 15	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
M Sep. 18	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
W Sep. 20	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
F Sep. 22	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
M Sep. 25	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
W Sep. 27	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
F Sep. 29	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
M Oct. 02	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
W Oct. 04	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
F Oct. 06
		Prep TBD	In Class Lab 3: Proof Practice

Week 5

M Oct. 09	Induction
M Oct. 09	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
W Oct. 11	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
F Oct. 13
			Due Lab 3: TBD

Week 6

M Oct. 16	Relations
M Oct. 16

W Oct. 18	Functions
W Oct. 18

F Oct. 20	Quiz 2
F Oct. 20
		Due Lab 3: TBD

Week 7

M Oct. 23	Counting
M Oct. 23

W Oct. 25	Counting
W Oct. 25

F Oct. 27	Lab 4: TBD
F Oct. 27
		Due Lab 3: TBD

Week 8

M Oct. 30	Recursion
M Oct. 30

W Nov. 01	Recursion
W Nov. 01

F Nov. 03	Lab 5: TBD
F Nov. 03
		Due Lab 4: TBD

Week 9

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

W Nov. 08	Flex
W Nov. 08

F Nov. 10	Quiz 3
F Nov. 10
		Due Lab 5: TBD

Week 10

M Nov. 13	Graphs
M Nov. 13

W Nov. 15	Graphs
W Nov. 15

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

Week 11

M Nov. 27	Probability
M Nov. 27

W Nov. 29	Probability
W Nov. 29

F Dec. 01	Lab 7: TBD
F Dec. 01
		Due Lab 6: TBD

Week 12

M Dec. 04	Probability
M Dec. 04

W Dec. 06	Probability
W Dec. 06

F Dec. 08	Quiz 4
F Dec. 08
		Due Lab 7: TBD

Week 13

M Dec. 11	Flex, Review
M Dec. 11

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.