Fall 2016 - Mark Arrasmith

All content listed on this page including the videos is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 United States License. Click here for a copy of the license.

You can find the standard course documents on Blackboard. Assignments are to be uploaded to Blackboard as well.

- Propositional Logic
- Applications of Propositional Logic
- Propositional Equivalences
- Predicates and Quantifiers
- Nested Quantifiers
- Rules of Inference
- Introduction to Proofs
- Proof Methods and Strategy One
- Proof Methods and Strategy Two
- Proof Methods and Strategy Three
- Open Problems and Exam 1 Review

- Sets
- Set Operations
- Functions
- Special Functions, Sequences, and Summations
- Summations and Cardinality of Sets
- Cardinality of Sets (continued)
- Computability and Matrices
- Student Questions and Exam 2 Review

- Divisibility and Modular Arithmetic
- Modular Arithmetic and Integer Representations
- Integer Operations and Primes
- Primes, Sieves, GCD, and LCM
- Euclid's Algorithm and Cryptography Intro
- Private Key and Public Key Cryptography

- Weak and Strong Induction
- Induction Examples
- Strong Induction, Recursive Definitions, and Structural Induction
- Questions and Exam 3 Review

- Applications of Recurrence Relations
- Linear Homogeneous Rec Rel (Part 1)
- Linear Homogeneous Rec Rel (Part 2)
- Questions and Exam 4 Review