Course Schedule Summer 2017

This schedule is subject to change. Please check back frequently.


Part 1. Logic

Monday Tuesday Wednesday
June 05
Intro/Propositional Logic
Course Introduction, Propositional Logic, applications.
June 06
Equivalences
Propositional Equivalences, Predicates, Quantifiers
June 07
Fun Logic
Nested Quantifiers , Paradoxes, puzzles
Homework 1 assigned

Part 2. Proofs

Monday Tuesday Wednesday
June 12
Proofs
Introduction to Proofs, Strategies
Quiz 1 assigned
June 13
Induction
More strategies/practice, Induction
Homework 2 assigned
June 14
Practice
Lots of examples
Bring your own questions for me to prove!
Homework 1 Due
Quiz 1 Due
Project 1 Assigned

Part 3. Building Blocks

Monday Tuesday Wednesday
June 19
Set Theory
Intro to set theory, set operations
Quiz 2 assigned
June 20
Operations on numbers
Functions, Sequences
Homework 3 assigned
June 21
The size of things
Series, Cardinality of Sets, Matrices
Homework 2 Due
Quiz 2 Due
Practice Test material posted here

Part 4. Algorithms

Monday Tuesday Wednesday
June 26
Complexity
Algorithms, Complexity
Quiz 3 assigned
June 27
Recursion
Complexity, Divisiblity
Homework 4 assigned

Part 5. Number Theory

Monday Tuesday Wednesday
June 28
Number Systems
Modular Arithmetic, Integer Representations
Homework 3 Due
Quiz 3 Due
July 3
Fun with Numbers
Prime Numbers, GCD, Solving Congruences, Chinese Remainder Theorem
July 4
No class
July 5
Uses of Number Theory
Applications of Congruences, Cryptography
Homework 4 Due
Homework 5 Assigned

Part 6. Counting

Monday Tuesday Wednesday
July 10
Basics
Introduction to Counting, Pigeonhole Principle
Quiz 4 Assigned
Project 2 Assigned
July 11
Structured Counting
Permutations, Combinations, Binomial Theorem
Homework 6 Assigned

Part 7. Probability

Monday Tuesday Wednesday
July 12
Basic Theory
Discrete Probability, Probability Theory
Homework 5 Due
Quiz 4 Due

Part 8. Graphs

Monday Tuesday Wednesday
July 17
Relations
Relations and their properties, Equivalence Relations, Partial Orderings
Quiz 5 Assigned
July 18
Intro to Graphs
Graphs, Special Graphs, Connectivity
July 19
Cool Graph stuff
Connectivity, Euler and Hamiltonian Paths, Shortest-Path Problems
Homework 6 Due
Quiz 5 Due
July 24
Trees
Trees, Applications, Tree Traversal

Part 9. Final Exam

Monday Tuesday Wednesday
July 25
Review
Bring questions
July 26
Final Exam