INTRODUCTION

Jan 27 Admin and Intro NOT ON FINAL

LOGIC

Jan 27 Propositional Logic FAIR GAME FOR FINAL

Jan 27 and 29 Logical Equiv FAIR GAME FOR FINAL

LATEX AND PYTHON

Jan 28 LaTeX (in Rec) NOT ON FINAL

Jan 28 Python (in Rec) NOT ON FINAL

LOGIC

Jan 29 SATisfiability FAIR GAME FOR FINAL

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

Feb 2 Puzzles (Rec) NOT ON FINAL

Feb 3 Hardest Logic Puzzle Ever! NOT ON FINAL

Jan 29, Feb 3 Circuits NOT ON FINAL

Feb 3 Intermediary Logic NOT ON FINAL

Feb 4 Math Equiv FAIR GAME FOR FINAL

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

Feb 5 Sets and Quantifiers FAIR GAME FOR FINAL

Feb 6 Math with Quantifiers FAIR GAME FOR FINAL

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

Feb 9 (Rec) Set Operations FAIR GAME FOR FINAL

Feb 10 Dupliator Spoiler Games DS Games NOTES NOT ON FINAL

Feb 11 (Rec) Definitions using Quants FAIR GAME FOR FINAL

Feb 11 Review of Pred and Quants (Rec) FAIR GAME FOR FINAL

Feb 11 Quantifier Reminder FAIR GAME FOR FINAL

Feb 12 Primes and Units NOT ON FINAL

Feb 12 Math Written With Quantifiers FAIR GAME FOR FINAL

Feb 16 Dynamic Programming NOT ON FINAL

PROOF TECHNIQUES

Feb 17 Modular Arithmetic FAIR GAME FOR FINAL

Feb 17 Proofs by Example FAIR GAME FOR FINAL

Feb 18 Logical Systems (Rec) NOT IN FINAL

Feb 18 Graph Theory (Rec) NOT ON FINAL

Feb 19 Math for Diffie Helman NOT ON FINAL

Feb 24 Diffie Helman Protocol NOT IN FINAL

Feb 24 Factoring Algs NOT ON FINAL

Feb 24 Quants, Cubes, Primes (Rec) FAIR GAME FOR FINAL

Feb 26 Direct, Contrapositive, & Contradiction Proofs FAIR GAME FOR FIAL

March 2 Cube Root of 5 (Rec) FAIR GAME FOR FINAL

March 2 Diffie Hellman / Proofs that numbers are irrational DH NOT, IRRATIONALS YES.

March 3 Using UF to prove numbers irrational FAIR GAME FOR FINAL

March 3 Proof that Primes are Infinite FAIR GAME FOR FINAL

Proof that Primes are Infinite FAIR GAME FOR FINAL

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

March 4 UPF, Primality in Domains, relations (rec) NOT ON FINAL

INDUCTION

March 3 Sums, Products, Sequences FAIR GAME FOR FINAL

March 5,10 Weak Ind FAIR GAME FOR GINAL

March 4 Uniq Fact, Primality in Doms, Relations NOT ON FINAL

DIDN"T DO BUT GOOD EXAMPLES More Induction Examples GOOD PRACTICE

March 9 HW4 solutions, Induction FAIR GAME FOR FINAL

March 10 Strong Ind FAIR GAME ROR FINAL

March 12 Strong Ind Inequalities FAIR GAME FOR FINAL

March 12 Constructive Ind FAIR GAME FOR FINAL

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

March23 HW05, Writing Proofs FAIR GAME FOR FINAL EXCEPT PROB 2 SOL

March 23 Ind. Worksheet, GOOD PRACTICE.

Ind. Worksheet, GOOD PRACTICE

March 23 more recips NOT ON FINAL

March 23 HW05 and Induction (rec)] FAIR GAME FOR FINAL

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

March 24 A Theorem About Recipricals FAIR GAME FOR FINAL

March 24 Arithmetic-Geometric Inquality NOT ON FINAL

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

March 24 The BEE Sequence (optional) NOT ON FINAL

March 25 Induction and Contradiction (rec) NOT ON FINAL

March 25 Recurrences (rec) NOT ON FINAL

March 26 Hw06sol FAIR GAME FOR FINAL

March 26 Review Logic REVIEW OF LOGIC FOR THE MIDTERM.

March 26 Review Proof techniques REVIEW OF PROOFS FOR MIDTERM

March 26 Review Induction REVIEW OF INDUCTION FOR MIDTERM

March 30 Practice Midterm Solutions FAIR GAME FOR FINAL

March 31 Midterm

April 1Midterm Solutions (rec) FAIR GAME FOR FINAL

April 2 Dup-Spoiler Rigorously NOT ON FINAL

April 2 NIM-Interesting Intutitions NOT ON FINAL

April 2 NIM-Boring Proofs NOT ON FINAL

April 2 Talk on my Book if time permits NOT ON FINAL

April 6 BEE sequence (rec) NOT ON FINAL

April 6 xn+yn problem (rec) NOT ON FINAL

COMBINATORICS

April 7 Permutations and Combinations FAIR GAME FOR FINAL

April 8 Binomial, Trinomial, and Knomial Thm (rec) FAIR GAME FOR FINAL

April 9 Comb Identities FAIR GAME FOR FINAL

April 9 The Table Problem NOT ON FINAL

April 9 Combinatorics Song NOT ON FINAL

April 9 Horse Numbers NOT ON FINAL

April 9 FUN Mr Ed Theme song NOT ON FINAL

April 9 FUN Wikipedia Entry on what we call H NOT ON FINAL

April 9 FUN Wikipedia on Dead Heats in Horse Racing NOT ON FINAL

April 13 The Law of Inclusion and Exclusion (rec) FAIR GAME FOR FINAL

April 13 Number of Solutions via Stars and Bars (rec) FAIR GAME FOR FINAL

PROBABILITY

April 14 Probablity and cards FAIR GAME FOR FINAL

Kenny Rogers Song The Gambler NOT ON FINAL

April 14? Loaded Dice NOT ON FINAL

April 14? Sicherman Dice NOT ON FINAL

April 15 Number of Solutions via Stars and Bars (rec) FAIR GAME FOR FINAL

April 15 Hat Check Problem (rec) NOT ON FINAL

April 15 Birthday Paradox (rec) NOT ON FINAL

Probability Problems TEXT NOT ON FINAL

April 16 Bayes Theorem FAIR GAME FOR FINAL

April 20 Equiv Rel (REC) NOT ON FINAL

April 21 People Wearing Hats Problem NOT ON FINAL

April 21 Miles Song NOT ON FINAL

Ferrer's Diagrams NOT ON FINAL

Bayes Theorem Examples (rec) FAIR GAME FOR FINAL

3B1B on Medical Test Paradox and B's Thm VIDEO NOT ON FINAL

3Blue1Brown on Bayes Thm VIDEO NOT ON FINAL

PIGEON HOLE PRINCIPLE and MUFFINS! and RAMSEY!

April 23 The Pigeonhole Principle FAIR GAME FOR FINAL

April 23 An Example of the Pigeonhole Principle FAIR GAME FOR FINAL

April 27 HW09, Catalan Numbers (rec) HW9 PROBLEMS 3,4 ARE FAIR GAME FOR FINAL

April 28 Ramesy Theory NOT ON FINAL

April 28 PAPER YOU ARE TO READ FOR QUIZ NOT ON FINAL

APPLICATION! Ramsey Theory Applications SLIDES (first few relevant for R(5) paper) NOT ON FINAL

APPLICAIONT! Survey of Ramsey and some Apps PAPER. See PAGE 13 NOT ON FINAL

A Conversation about Ramsey Theory and History NOT ON FINAL

April 29 Hw10 solutions (The slides say Hw09 but its hw10) HW10 Problems 2,3 are fair game for final.

April 30 Muffin Talk NOT ON FINAL

April 30 Muffin Talk- LaTeX, Muffin Talk-Plaintext NOT ON FINAL

May 5 and Texas Hold Em NOT ON FINAL

May 7 Project Solutions

Infinity NOT ON FINAL

Sets that are uncountable