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) NOT ON MIDTERM

Jan 28 Python (in Rec) NOT ON MIDTERM

LOGIC

Jan 29 SATisfiability

Feb 2 Truth Tellers and Liars (Rec) NOT ON MIDTERM

Feb 2 Puzzles (Rec) NOT ON MIDTERM

Feb 3 Hardest Logic Puzzle Ever! NOT ON MIDTERM

Jan 29, Feb 3 Circuits

Feb 3 Intermediary Logic NOT ON MIDTERM

Feb 4 Math Equiv

Feb 4, Venn Diagram with 12 sets! NOT ON MIDTERM

Feb 5 Sets and Quantifiers

Feb 6 Math with Quantifiers

Feb 9 (Rec) Brute Force and Greey Algorithms NOT ON MIDTERM

Feb 9 (Rec) Set Operations

Feb 10 Dupliator Spoiler Games DS Games NOTES NOT ON MIDTER

Feb 11 (Rec) Definitions using Quants

Feb 11 Review of Pred and Quants (Rec)

Feb 11 Quantifier Reminder

Feb 12 Primes and Units NOT ON MIDTERM

Feb 12 Math Written With Quantifiers

Feb 16 Dynamic Programming NOT ON MIDTERM

PROOF TECHNIQUES

Feb 17 Modular Arithmetic

Feb 17 Proofs by Example

Feb 18 Logical Systems (Rec)

Feb 18 Graph Theory (Rec) NOT ON MIDTERM

Feb 19 Math for Diffie Helman

Feb 24 Diffie Helman Protocol

Feb 24 Factoring Algs NOT ON MIDTERM

Feb 24 Quants, Cubes, Primes (Rec)

Feb 26 Direct, Contrapositive, & Contradiction Proofs

March 2 Cube Root of 5 (Rec)

March 2 Other Stuff from March 2

March 3 Using UF to prove numbers irrational

March 3 Proof that Primes are Infinite

Proof that Primes are Infinite

For Fun Theorems and Lemmas and Proofs Oh My! NOT ON MIDTERM

March 4 UPF, Primality in Domains, relations (rec)

INDUCTION

March 3 Sums, Products, Sequences

March 5,10 Weak Ind

March 4 Uniq Fact, Primality in Doms, Relations

DIDN"T DO BUT GOOD EXAMPLES More Induction Examples

March 9 HW4 solutions, Induction

March 10 Strong Ind

March 12 Strong Ind Inequalities

March 12 Constructive Ind

March 12 Emptier-Filler Games SLIDES, Emptier-Filler Games NOTES NOT ON MIDTERM

March23 HW05, Writing Proofs,

March 23 Ind. Worksheet,

Ind. Worksheet,

March 23 more recips NOT ON MIDTERM NOT ON MIDTERM NOT ON MIDTERM NOT ON MIDTERM

March 23 HW05 and Induction (rec)]

March 24 Emptier-Filler Games SLIDES, Emptier-Filler Games NOTES NOT ON MIDTERM

March 24 A Theorem About Recipricals

March 24 Arithmetic-Geometric Inquality NOT ON MIDTERM

March 24 Dup-Spoiler Rigorously, DS Games NOTES NOT ON MIDTERM

The BEE Sequence (optional) NOT ON MIDTERM

Induction and Contradiction (rec)

March 25 Recurrences (rec) NOT ON MIDTERM

March 26 Review Logic

March 26 Review Proof techniques

March 26 Review Induction

March 31 Midterm

April 2 More on Dup-Spoiler Games

An Interesting Set Problem