Schedule

The schedule below shows the tentative dates for all class topics, readings, and assignments. You should complete all assigned reading before class on the day it is listed. There may be some revisions to the schedule during the semester, but I will make sure to announce these changes in class.

Week 0

Tu
Jan 20

Introduction, Mathematical Review

Reading

Syllabus

Activities

Lab: Math Review

Th
Jan 22

Indrouction to Proofs

Reading

Introduction to Proof Techniques

Activities

Lab: Introduction to Proofs

Due

Reading 1 on Wednesday (10:00pm)

F
Jan 23

Due

Lab 0
Lab 1
Homework 0

Week 1

Tu
Jan 27

Mathematical Logic

Reading

Activities

Lab: Introduction to Logic
Week 1 Quiz, LOs 1 and 2

Assigned

Homework 1. Mathematical Logic

Due

Reading 2 on Monday (10:00pm)

Th
Jan 29

Introduction to Latex

Reading

Introduction to Latex part 1
- You only need to submit the code to produce the hello world document. We will do the rest in class.

Activities

Lab: Introduction to Latex

Due

Reading 3 on Wednesday (10:00pm)

F
Jan 30

Due

Lab 2
Lab 3
Homework 1. Mathematical Logic (10:00pm)

Week 2

Tu
Feb 3

Program Correctness

Reading

Activities

Lab: Exploring Python
Week 2 Quiz, LOs 3

Assigned

Homework 2. Program Reasoning

Due

Reading 4 on Monday (10:00pm)

Th
Feb 5

Program Correctness

Reading

Activities

Lab: Assumptions in proofs

Due

Reading 5 on Wednesday (10:00pm)

F
Feb 6

Due

Lab 4
Lab 5
Homework 2. Program Reasoning (10:00pm)

Week 3

Tu
Feb 10

Inductive Reasoning

Reading

Inductive Reasoning Over Lists

Activities

Lab: Recursion to Induction
Week 3 Quiz, LOs 4

Assigned

Homework 3. Induction

Due

Reading 6 on Monday (10:00pm)

Th
Feb 12

Induction

Reading

Activities

Lab: Mathematical Induction Practice

Due

Reading 7 on Wednesday (10:00pm)

F
Feb 13

Due

Lab 6
Lab 7
Homework 3. Induction (10:00pm)

Week 4

Tu
Feb 17

Introduction to Set Theory

Reading

Activities

Lab: Artificial Examples and Sets
Week 4 Quiz, LOs 5

Assigned

Homework 4. Sets

Due

Reading 8 on Monday (10:00pm)

Th
Feb 19

Proof By Contradiction

Reading

Proof By Contradiction

Activities

Lab: Proofs by Contradiction and Induction

Due

Reading 9 on Wednesday (10:00pm)

F
Feb 20

Due

Lab 8
Lab 9
Homework 4. Sets (10:00pm)

Week 5

Tu
Feb 24

Functions and Relations

Reading

Functions and Relations

Activities

Lab: A Plethora of Definitions
Week 5 Quiz, LOs 6 and 7

Assigned

Homework 5. Equivalences

Due

Reading 10 on Monday (10:00pm)

Th
Feb 26

Equivalences

Reading

Equivalences

Activities

Lab: Set Practice

Due

Reading 11 on Wednesday (10:00pm)

F
Feb 27

Due

Lab 10
Lab 11
Homework 5. Equivalences (10:00pm)

Week 6

Tu
Mar 3

Graph Review

Reading

None

Activities

Week 6 Quiz, LOs 8

Due

Reading 12 on Monday (10:00pm)

Th
Mar 5

Introduction To Graphs

Reading

Introduction To Graphs

Activities

Lab: Graph Problems

Due

Reading 13 on Wednesday (10:00pm)

F
Mar 6

Due

Lab 12
Lab 13

Week 7

Tu
Mar 24

Minimum Spanning Trees

Reading

Minimum Spanning Trees

Activities

Lab: Minimum Spanning Trees

Assigned

Homework 6. Flow

Due

Reading 14 on Monday (10:00pm)

Th
Mar 26

Shortest Paths

Reading

Shortest Paths

Activities

Lab: Shortest Paths
Week 7 Quiz, LOs 9

Due

Reading 15 on Wednesday (10:00pm)

F
Mar 27

Due

Lab 14
Lab 15
Homework 6. Flow (10:00pm)

Week 8

Tu
Mar 31

Improvements to Djikstra

Reading

None

Activities

Lab: More Dijkstra

Assigned

Homework 7. Trees

Due

Reading 16 on Monday (10:00pm)

Th
Apr 2

Graph wrap up

Reading

None

Activities

Week 8 Quiz, LOs 10 and 11

Due

Reading 17 on Wednesday (10:00pm)

F
Apr 3

Due

Lab 16
Lab 17
Homework 7. Trees (10:00pm)

Week 9

Tu
Apr 7

Fundamental Counting Principles

Reading

Fundamental Counting Principles

Activities

Lab: Counting Practice

Assigned

Homework 8. Makeup

Due

Reading 18 on Monday (10:00pm)

Th
Apr 9

Ordered and Unordered Choice

Reading

Activities

Lab: More Counting
Week 9 Quiz, LOs 12

Due

Reading 19 on Wednesday (10:00pm)

F
Apr 10

Due

Lab 18
Lab 19
Homework 8. Makeup (10:00pm)

Week 10

Tu
Apr 14

Counting Operations

Reading

Counting Operations

Activities

Lab: Case Study- Derangements

Assigned

Homework 9 Counting

Due

Reading 20 on Monday (10:00pm)

Th
Apr 16

Recurrences

Reading

Recurrences

Activities

Lab: Recurrences
Week 10 Quiz, LOs 13

Due

Reading 21 on Wednesday (10:00pm)

F
Apr 17

Due

Lab 20
Lab 21
Homework 9 Counting (10:00pm)

Week 11

Tu
Apr 21

Review

Reading

Review

Activities

Assigned

Homework 10 Recurrences

Due

Reading 22 on Monday (10:00pm)

Th
Apr 23

Frequentist Probability

Reading

Activities

Lab: Probability Practice
Week 11 Quiz, LOs 14

Due

Reading 23 on Wednesday (10:00pm)

F
Apr 24

Due

Lab 22
Lab 23
Homework 10 Recurrences (10:00pm)

Week 12

Tu
Apr 28

Conditional Probability

Reading

Conditional Probabilities

Activities

Lab: More Counting

Assigned

Due

Reading 24 on Monday (10:00pm)

Th
Apr 30

Counting

Reading

Counting

Activities

Week 12 Quiz, LOs 15

Due

Reading 25 on Wednesday (10:00pm)

F
May 1

Due

Lab 24
Lab 25
(10:00pm)

Week 13

Tu
May 5

Make up Quiz

Activities

Week 13 Quiz, LOs 16 and make up

Th
May 7

End of Course Wrap Up

F
May 8

Due

All Redo Submissions (10:00pm)

Finals Week

F
May 15

Finals week schedule TBD

We will use the scheduled final exam time for this class as a make up quiz. This schedule will be updated with specific times and dates once the college has published the final exam schedule for the spring semester.