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. 08	Welcome!
M Sep. 08	We discuss the structure of the course and the role of mathematics in modern computation.
	Learning Objectives Getting Oriented		In Class Welcome!	Due Entrance Survey, Student Hours Scheduling Poll
W Sep. 10	Mathematics and Me
W Sep. 10	We discuss our relationship to math, how we've learned what we've learned, and the role of generative AI in learning mathematics.
	Learning Objectives Getting Oriented	Prep Math Autobiography	In Class Mathematics and Me
F Sep. 12	Lab 1: Technical Writing and Truth Tables
F Sep. 12	We review truth tables for describing logical operations and begin our first lab assignment in Google Colab.
		Prep Statements and Truth Tables	In Class Lab 1: Technical Writing and Truth Tables

Week 2

M Sep. 15	More Logic: Equivalence, Conditionals, and Biconditionals
M Sep. 15	We introduce formal manipulations of logical expressions and work with the many ways to manipulate conditional statements.
		Prep More Logic: Equivalence, Conditionals, and Biconditionals	In Class Logic practice
W Sep. 17	Introducing Set Theory
W Sep. 17	We introduce sets, set-builder notation, and operations for combining and measuring sets.
	Learning Objectives S1, S2	Prep Introducing Set Theory
F Sep. 19	Lab 2: Inclusion-Exclusion
F Sep. 19	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 S2	Prep Cardinality and Complements	In Class Lab 2: Inclusion-Exclusion	Due Lab 1: Technical Writing and Truth Tables

Week 3

M Sep. 22	Quantifiers and Predicate Logic
M Sep. 22	We discuss quantification of propositions over sets and how to apply logical operations to symbolic quantifiers.
	Learning Objectives L1, L2	Prep Quantifiers and Predicate Logic	In Class Quantifiers In Mathematical Statements
W Sep. 24	Logical Deduction
W Sep. 24	We introduce logical deduction as a formal method for drawing conclusions from a set of premises.
	Learning Objectives L3	Prep Logical Deduction
F Sep. 26	Quiz 1
F Sep. 26	The first of four quizzes in which students have an opportunity to complete Learning Targets.
				Due Lab 2: Inclusion-Exclusion

Final Exam

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