Calendar

(subject to change)

Jump to this week

Week 1

Week 1

Topics/Goals:
Lecture:
Assessment:

Mon
February 11

Topics/Goals:
Introductions/Induction
  • Familiarize yourself with course basics
  • Be able to describe learning
  • Understand motivation for group and tech policies
  • Describe connection between proofs and algorithm correctness
Lecture:
Assessments:
  • PSet 1 Assigned (due Feb 18)

Tues
February 12

Topics/Goals:
Lecture:
Assessments:

Wed
February 13

Topics/Goals:
Induction
  • Describe inductive proofs at a high level.
  • Describe inductive proof structure
  • Find errors in inductive proofs
Lecture:
Assessments:

Fri
February 15

No class: Spring Carnival

Sat
February 16

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 1 to Canvas @ 6pm

Week 2

Week 2

Topics/Goals:
Lecture:
Assessment:

Mon
February 18

Topics/Goals:
Induction
  • Write inductive proofs
Lecture:
Assessments:
  • Quiz 0 (topic: syllabus) in class
  • Pset 1 Due to Canvas @ 9pm

Tues
February 19

Topics/Goals:
Lecture:
Assessments:
  • PSet 1 Self-grade and reflection due to Canvas @ 7pm

Wed
February 20

Topics/Goals:
Statements, Predicates, and Logic
  • Identify statements and predicates
  • Create proofs using truth tables
  • Deduce new truths
Lecture:
Assessments:

Fri
February 22

Topics/Goals:
Deduction/Sets
  • Implement deduction strategies
  • Create sets using set builder notation
Lecture:
Assessments:

Sat
February 23

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 2 to Canvas @ 6pm

Week 3

Week 3

Topics/Goals:
Lecture:
Assessment:

Mon
February 25

Topics/Goals:
Quantifers
  • Translate between English and Math
Lecture:
Assessments:
  • Pset 2 Due to Canvas @ 9pm
  • Pset 3 assigned

Tues
February 26

Topics/Goals:
Lecture:
Assessments:
  • Pset 2 Self-grade and reflection due to Canvas @ 7pm

Wed
February 27

Topics/Goals:
Proof Language
  • Familiarity with language and style of proofs
Lecture:
Assessments:

Fri
March 1

Topics/Goals:
de Morgan's Rules/Proof Language
  • Apply de Morgan's Rules
  • Notice style of proofs
Lecture:
Assessments:
  • Quiz 2

Sat
March 2

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 3 to Canvas @ 6pm

Week 4

Week 4

Topics/Goals:
Lecture:
Assessment:

Mon
March 4

Topics/Goals:
More de Morgan/Direct Proof/Contrapositive Proof
  • Use de Morgan's other rules to simplify math language
  • Prove using direct and contrapositive approaches
Lecture:
Assessments:
  • Pset 3 Due to Canvas @ 9pm
  • PSet 4 Assigned

Tues
March 5

Topics/Goals:
Lecture:
Assessments:
  • Pset 3 Self-grade and reflection due to Canvas @ 7pm

Wed
March 6

Topics/Goals:
Proofs
  • Prove iff proofs
  • Prove by example/counterexample
  • Prove by cases
Lecture:
Assessments:

Fri
March 8

Topics/Goals:
Proofs
  • Write a proof by contradiction
  • Write a strong inductive proof
Lecture:
Assessments:
  • Quiz 3, submitted on Canvas by 6pm

Sat
March 9

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 4 to Canvas @ 6pm

Week 5

Week 5

Topics/Goals:
Lecture:
Assessment:

Mon
March 11

Topics/Goals:
Review for Midterm 1
Lecture:
Assessments:
  • Pset 4 Due to Canvas @ 9pm
  • PSet 5 assigned

Tues
March 12

Topics/Goals:
Lecture:
Assessments:
  • Pset 4 Self-grade and reflection due to Canvas @ 7pm

Wed
March 13

Topics/Goals:
Strong Induction
  • Write a strong inductive proof.
Lecture:
Assessments:
  • Midterm 1 (self-scheduled): Available for Pick-up @ 10 AM

Fri
March 15

Topics/Goals:
Equivalence Relations
  • Describe a relation
  • Describe relationship between equivalence classes and relations
  • Prove when a relation is an equivalence relation.
Lecture:
Assessments:
  • Midterm 1 (self-scheduled): Last submissions @ 6 PM

Sat
March 16

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 5 to Canvas @ 6pm

Week 6

Week 6

Topics/Goals:
Lecture:
Assessment:

Mon
March 18

Topics/Goals:
Strong Induction and Graphs
  • Properly use multiple base cases in a strong inductive proof.
  • Describe graphs using mathematical language
  • Describe some real world graph applications
Lecture:
Assessments:
  • Pset 5 Due to Canvas @ 9pm
  • PSet 6 assigned

Tues
March 19

Topics/Goals:
Lecture:
Assessments:
  • Pset 5 Self-grade and reflection due to Canvas @ 7pm

Wed
March 20

Topics/Goals:
Functions
  • Be able to describe functions and their properties
  • Describe connection between functions and relations
  • Analyze properties of functions
Lecture:
Assessments:

Fri
March 22

Topics/Goals:
Counting
  • Use counting rules to solve problems
Lecture:
Assessments:
  • Quiz 5 (due to Canvas by 6pm)

Spring Break

Spring Break

Week 7

Week 7

Topics/Goals:
Lecture:
Assessment:

Mon
April 1

Topics/Goals:
Graphs
  • Describe graph properties (bipartite, directed, weighted)
  • Use adjacency matrices and lists to describe graphs
  • Write pseudocode to analyze graph properties
Lecture:
Assessments:
  • Pset 6 Due to Canvas @ 9pm
  • PSet 7 assigned

Tues
April 2

Topics/Goals:
Lecture:
Assessments:
  • Pset 6 Self-grade and reflection due to Canvas @ 7pm

Wed
April 3

Topics/Goals:
Functions: big-O
  • Describe why big-O is good for characterizing time complexity
  • Prove big-O bounds on functions
Lecture:
Assessments:

Fri
April 5

Topics/Goals:
Counting: Permutation and Combination
  • Use permutations and combinations to solve problems
  • Use notation correctly
Lecture:
Assessments:
  • Quiz 6
  • Due: Programming Assignment 1

Sat
April 6

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 7 to Canvas @ 6pm

Week 8

Week 8

Topics/Goals:
Lecture:
Assessment:

Mon
April 8

Topics/Goals:
Graphs
  • Analyze pseudocode containing adjacency lists/matrices
  • Describe graph search
Lecture:
Assessments:

Tues
April 9

Topics/Goals:
Lecture:
Assessments:
  • Pset 7 Self-grade and reflection due to Canvas @ 7pm

Wed
April 10

Topics/Goals:
Functions: Equivalence Relations/Summation, For-loops and Time Complexity
  • Prove equivalence relation (or not)
  • Identify equivalence classes
  • Analyze runtime of for-loops
Lecture:
Assessments:

Fri
April 12

Spring Symposium, No Class, Bonus Spring Symposium Reflections Due at 9pm

Sat
April 13

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 8 to Canvas @ 6pm

Week 9

Week 9

Topics/Goals:
Lecture:
Assessment:

Mon
April 15

Topics/Goals:
Counting: Complex Counting & Probability
  • Describe the connection between counting and probability
  • Describe the sample space, event, probability of an event
  • Determine the probability of an event
Lecture:
Assessments:
  • Pset 8 Due to Canvas @ 9pm
  • Pset 9 assigned

Tues
April 16

Topics/Goals:
Lecture:
Assessments:
  • Pset 8 Self-grade and reflection due to Canvas @ 7pm

Wed
April 17

Topics/Goals:
Midterm 2 Review
Lecture:
Assessments:
  • Midterm 2 (self-scheduled): Available for Pick-up @ 10 AM

Fri
April 19

Topics/Goals:
Graphs - Breadth First Search and Trees
  • Trace through the steps of BFS search
  • Explain runtime analysis of BFS search
  • Describe trees using appropriate terminology
Lecture:
Assessments:
  • Midterm 2 (self-scheduled): Submitted by 5 PM

Sat
April 20

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 9 to Canvas @ 6pm

Week 10

Week 10

Topics/Goals:
Lecture:
Assessment:

Mon
April 22

Topics/Goals:
Functions - Recurrence Relations
  • Figure out recurrence relations for recursive algorithms and other problems
  • Solve recurrence relations using the iterative method
Lecture:
Assessments:
  • Pset 9 Due to Canvas @ 9pm
  • PSet 10 assigned

Tues
April 23

Topics/Goals:
Lecture:
Assessments:
  • Pset 9 Self-grade and reflection due to Canvas @ 7pm

Wed
April 24

Topics/Goals:
Counting - Conditional Probability + Random Variables
  • Use the tree method and conditional probability to calculate probability of complex events
Lecture:
Assessments:

Fri
April 26

Topics/Goals:
Graphs - Trees
  • Use trees to analyze runtime of recursive algorithms
Lecture:
Assessments:
  • Quiz 9

Sat
April 27

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 10 to Canvas @ 6pm

Week 11

Week 11

Topics/Goals:
Lecture:
Assessment:

Mon
April 29

Topics/Goals:
Functions - Recurrence and Master Method
  • Practice creating recurrence relations
  • Characterize runtime of recursive algorithms using trees
Lecture:
Assessments:
  • Pset 10 Due to Canvas @ 9pm
  • PSet 11 assigned

Tues
April 30

Topics/Goals:
Lecture:
Assessments:
  • Pset 10 Self-grade and reflection due to Canvas @ 7pm

Wed
May 1

Topics/Goals:
Counting - Indicator Random Variables
  • Calculate expectation values using indicator random variables and linearity of expectation.
Lecture:
Assessments:

Fri
May 3

Topics/Goals:
Graphs - Trees in Recurrence Relations and Probability
Lecture:
Assessments:
  • Quiz 10

Sat
May 4

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of PSet 11 to Canvas @ 6pm

Week 12

Week 12

Topics/Goals:
Lecture:
Assessment:

Mon
May 6

Topics/Goals:
Functions - Indicator Random Variables (they're functions!)
  • Evaluate an expectation value using indicator random variables
Lecture:
Assessments:
  • Pset 11 Due to Canvas @ 9pm
  • Programming Assignment 2 Due @ 9:00 pm

Tues
May 7

Topics/Goals:
Lecture:
Assessments:
  • Pset 11 Self-grade and reflection due to Canvas @ 7pm

Wed
May 8

Topics/Goals:
Counting - Diagonalization
  • Prove a set is countably infinite
  • Prove a set is uncountably infinite
Lecture:
Assessments:

Fri
May 10

Topics/Goals:
Reflections and Evaluations
Lecture:
Assessments:
  • Quiz 11
  • Overall Reflection and Self-Grade Due @ 8:00 am

Sat
May 11

Topics/Goals:
Lecture:
Assessments:

Week 13

Week 13

Topics/Goals:
Lecture:
Assessment:

Mon
May 13

Topics/Goals:
Review
Lecture:
Assessments: