INTRODUCTION

Jan 27 Admin and Intro

LOGIC

Jan 27 Propositional Logic

Jan 27 and 29 Logical Equiv

LATEX AND PYTHON

Jan 28 LaTeX (in Rec)

Jan 28 Python (in Rec)

LOGIC

Jan 29 SATisfiability

Feb 2 Truth Tellers and Liars (Rec)

Feb 2 Puzzles (Rec)

Feb 3 Hardest Logic Puzzle Ever!

Jan 29, Feb 3 Circuits

Feb 3 Intermediary Logic

Feb 4 Math Equiv

Feb 4, Venn Diagram with 12 sets!

Feb 5 Sets and Quantifiers

Feb 6 Math with Quantifiers

Feb 9 (Rec) Brute Force and Greey Algorithms

Feb 9 (Rec) Set Operations

Feb 10 Dupliator Spoiler Games DS Games NOTES

Feb 11 (Rec) Definitions using Quants

Feb 11 Review of Pred and Quants (Rec)

Feb 11 Quantifier Reminder

Feb 12 Primes and Units

Feb 12 Math Written With Quantifiers

Feb 16 Dynamic Programming

PROOF TECHNIQUES

Feb 17 Modular Arithmetic

Feb 17 Proofs by Example

Feb 18 Logical Systems (Rec)

Feb 18 Graph Theory (Rec)

Feb 19 Math for Diffie Helman

Feb 19 Diffie Helman Protocol

Feb 19 Generators and DH

How to Write Proofs (Rec)

Direct, Contrapositive, & Contradiction Proofs

Using UF to prove numbers irrational

Cube Root of 5 (Rec)

Proof that Primes are Infinite

Do not read past this point

Feb 22 DID NOT COVER-OPTIONAL Finite Number of Primes

Feb 27 Review for Mid1 Logic

Feb 27 Review for Mid1 Proofs

For Fun Theorems and Lemmas and Proofs Oh My!

April 24 Hat Check Problem (REC)

April 24 Birthday Paradox (rec)

Loaded Dice

April 29 Bday Paradox SLIDES