Calendar

(subject to change)

Jump to this week

Week 1

Week 1

Topics/Goals:
Lecture:
Assessment:

Mon
September 9

Topics/Goals:
Introductions
  • Familiarize yourself with course basics
  • Be able to describe learning
  • Understand motivation for group and tech policies
Lecture:
Assessments:
  • PSet 1 Assigned (due to Canvas Sep 17 @ 11pm)

Wed
September 11

Topics/Goals:
Statements, Predicates, and Logic
  • Identify statements and predicates
  • Translate English predicates to math predicates
  • Create proofs using truth tables
Lecture:
Assessments:

Fri
September 13

Topics/Goals:
Deduction/Sets
  • Deduce new truths
  • Describe sets in words, and using set-builder and roster notation.
Lecture:
Assessments:

Sat
September 14

Topics/Goals:
Lecture:
Assessments:
  • Quiz 0 on the syllabus (due by September 16 at 11pm)

Week 2

Week 2

Topics/Goals:
Lecture:
Assessment:

Mon
September 16

Topics/Goals:
Translating English/Math
  • Describe sets using set-builder notation
  • Translate quantified predicates
Lecture:
Assessments:

Tues
September 17

Topics/Goals:
Lecture:
Assessments:
  • PSet 1 Due to Canvas @ 11pm
  • PSet 2 assigned

Wed
September 18

Topics/Goals:
Perceived Fit in Computer Science
Lecture:
Assessments:
  • PSet 1 Self-grade and reflection due to Canvas @ 11pm

Fri
September 20

Topics/Goals:
de Morgan's Rules/Proof Language
  • Translate quantified predicates and statements
  • Apply de Morgan's rules
Lecture:
Assessments:
  • Rough Draft PSet 2 Due to Canvas @ 11pm

Sat
September 21

Topics/Goals:
Lecture:
Assessments:
  • Quiz 1 (due by September 23 at 11pm)

Week 3

Week 3

Topics/Goals:
Lecture:
Assessment:

Mon
September 23

Topics/Goals:
Direct Proof/Contrapositive Proof
  • Recognize and interpret proof language
  • Write a direct proof
Lecture:
Assessments:

Tues
September 24

Topics/Goals:
Lecture:
Assessments:
  • PSet 2 Due to Canvas @ 11pm
  • PSet 3 assigned

Wed
September 25

Topics/Goals:
Proofs
  • Describe approach for proof by contrapositive, iff proofs, proof by cases, proof by example
  • Practice writing proofs
Lecture:
Assessments:
  • Pset 2 Self-grade and reflection due to Canvas @ 11pm

Fri
September 27

Topics/Goals:
Proof by contradiction
Lecture:
Assessments:
  • Rough Draft PSet 3 Due to Canvas @ 11pm

Sat
September 28

Topics/Goals:
Lecture:
Assessments:
  • Quiz 2 (due by September 30 at 11pm)

Week 4

Week 4

Topics/Goals:
Lecture:
Assessment:

Mon
September 30

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

Tues
October 1

Topics/Goals:
Lecture:
Assessments:
  • Pset 3 Due to Canvas @ 11pm
  • PSet 4 Assigned

Wed
October 2

Topics/Goals:
Induction
  • Recognize common translation mistakes
  • Write inductive proofs
Lecture:
Assessments:
  • Pset 3 Self-grade and reflection due to Canvas @ 11pm

Fri
October 4

Topics/Goals:
Proving Correctness of Recursive Functions Using Proof by Induction
Lecture:
Assessments:
  • Rough Draft of PSet 4 to Canvas @ 11pm

Sat
October 5

Topics/Goals:
Lecture:
Assessments:
  • Quiz 3 (due by October 7 at 11pm)

Week 5

Week 5

Topics/Goals:
Lecture:
Assessment:

Mon
October 7

Topics/Goals:
Review for Midterm 1
Lecture:
Assessments:

Tues
October 8

Topics/Goals:
Lecture:
Assessments:
  • Pset 4 Due to Canvas @ 11pm

Wed
October 9

Topics/Goals:
Bias in Algorithms
Lecture:
Assessments:
  • Midterm 1 (self-scheduled): Available for Pick-up @ 10 AM

Fri
October 11

Topics/Goals:
Strong Induction
  • Write a strong inductive proof
  • Describe difference between regular and strong induction
Lecture:
Assessments:
  • Midterm 1 (self-scheduled): Last submissions @ 6 PM

Sat
October 12

Topics/Goals:
Lecture:
Assessments:

Week 6

Week 6

Topics/Goals:
Lecture:
Assessment:

Mon
October 14

Topics/Goals:
Strong Induction and Graphs
  • Identify when multiple base cases are needed
  • Describe graphs and explain why they are useful
Lecture:
Assessments:

Tues
October 15

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of Programming Assignment 1 Due @ 11pm

Wed
October 16

Topics/Goals:
Functions
  • Be able to describe (in English and Math) functions and their properties
  • Describe connection between functions and graphs
Lecture:
Assessments:

Fri
October 18

Topics/Goals:
Counting: product and subtraction rules
  • Use counting rules to solve problems
Lecture:
Assessments:
  • Rough Draft of PSet 5 to Canvas @ 11pm

Week 7

Week 7

Topics/Goals:
Lecture:
Assessment:

Mon
October 21

Fall Recess
Assessments:

Tues
October 22

Topics/Goals:
Lecture:
Assessments:
  • Pset 5 Due to Canvas @ 11pm
  • PSet 6 assigned

Wed
October 23

Topics/Goals:
Functions: big-O
  • Describe why big-O is good for characterizing time complexity
  • Analyze big-O bounds of functions
Lecture:
Assessments:
  • Pset 5 Self-grade and reflection due to Canvas @ 11pm

Fri
October 25

Topics/Goals:
Counting: Permutations and Combinations
  • Derive formula for Permutations and Combinations
  • Use permutations and combinations to solve problems
Lecture:
Assessments:
  • Due: Programming Assignment 1

Sat
October 26

Topics/Goals:
Lecture:
Assessments:
  • Quiz 5 (due by Oct 28 at 11pm) (no Quiz 4)

Week 8

Week 8

Topics/Goals:
Lecture:
Assessment:

Mon
October 28

Topics/Goals:
Graphs: Representations
  • Describe graphs using adjacency matrices and lists
  • Write pseudocode using adjacency matrices and lists
Lecture:
Assessments:

Tues
October 29

Topics/Goals:
Lecture:
Assessments:

Wed
October 30

Topics/Goals:
Functions: Summation, For-loops and Time Complexity
  • Analyze big-O, big-Omega, big-Theta of functions
  • Parse runtime of for-loops
Lecture:
Assessments:
  • Pset 6 Self-grade and reflection due to Canvas @ 11pm

Fri
November 1

Topics/Goals:
Counting and Probability
  • Solve problems using permutations and combinations
  • Calculate the probability of events
Lecture:
Assessments:
  • Rough Draft of PSet 7 to Canvas @ 11pm

Sat
November 2

Topics/Goals:
Lecture:
Assessments:
  • Quiz 6 (due by Nov 4 at 11pm)

Week 9

Week 9

Topics/Goals:
Lecture:
Assessment:

Mon
November 4

Topics/Goals:
Graph Search
  • Describe the idea behind generic graph search
  • Describe the approach of Breadth First Search
Lecture:
Assessments:

Tues
November 5

Topics/Goals:
Lecture:
Assessments:
  • Pset 7 Due to Canvas @ 11pm

Wed
November 6

Topics/Goals:
Functions: Summation and Recurrence Relations
  • Analyze summations
  • Figure out recurrence relations for recursive algorithms and other problems
Lecture:
Assessments:
  • Midterm 2 (self-scheduled): Available for Pick-up @ 10 AM

Fri
November 8

Topics/Goals:
Counting: Conditional Probability
  • Calculate event probabilities using trees and conditional probabilities
Lecture:
Assessments:
  • Midterm 2 (self-scheduled): Submitted by 6 PM

Week 10

Week 10

Topics/Goals:
Lecture:
Assessment:

Mon
November 11

Topics/Goals:
Graphs: Trees
  • Describe trees using appropriate terminology
  • Use trees to characterize recurrence relations
Lecture:
Assessments:

Tues
November 12

Topics/Goals:
Lecture:
Assessments:
  • Rough Draft of Programming Assignment 2 due @ 11pm

Wed
November 13

Topics/Goals:
Functions: Recurrence Relations and the Iterative Method
  • Create recurrence relations
  • Solve recurrence relations using the iterative method
Lecture:
Assessments:

Fri
November 15

Topics/Goals:
Counting: Indicator Random Variables
  • Calculate expectation values using a summation approach.
  • Calculate expectation values using indicator random variables and linearity of expectation.
Lecture:
Assessments:
  • Rough Draft of PSet 8 to Canvas @ 11pm

Week 11

Week 11

Topics/Goals:
Lecture:
Assessment:

Mon
November 18

Topics/Goals:
Graphs: Tree Method for Recurrence Relations
  • Solve recurrence relations using the tree method
Lecture:
Assessments:

Tues
November 19

Topics/Goals:
Lecture:
Assessments:
  • Pset 8 Due to Canvas @ 11pm
  • PSet 9 assigned

Wed
November 20

Topics/Goals:
Function: Indicator Random Variables
Lecture:
Assessments:
  • Pset 8 Self-grade and reflection due to Canvas @ 11pm

Fri
November 22

Topics/Goals:
Counting: Diagonalization
  • Compare the sizes of infinite sets
Lecture:
Assessments:
  • Rough Draft of PSet 9 to Canvas @ 11pm

Sat
November 23

Topics/Goals:
Lecture:
Assessments:
  • Quiz 8 (due by Nov 25 at 11pm) (no Quiz 8)

Week 12

Week 12

Topics/Goals:
Lecture:
Assessment:

Mon
November 25

Topics/Goals:
Graphs: Equivalence Relations
  • Identify properties of relations
  • Identify equivalence relations and classes
Lecture:
Assessments:
  • PSet 10 assigned (not due for credit)

Tues
November 26

Topics/Goals:
Lecture:
Assessments:
  • Pset 9 Due to Canvas @ 11pm

Wed
November 27

Thanksgiving Recess
Assessments:

Fri
November 29

Thanksgiving Recess
Assessments:

Week 13

Week 13

Topics/Goals:
Lecture:
Assessment:

Mon
December 2

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

Tues
December 3

Topics/Goals:
Lecture:
Assessments:
  • Programming Assignment 2 Due @ 11pm

Wed
December 4

Topics/Goals:
Review for Final
Lecture:
Assessments:

Fri
December 6

Topics/Goals:
Reflections and Evaluations
Lecture:
Assessments:
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.