- Feb 9th: Introductions, Superpowers, Compound Statements.
- Feb11: Wrap up of compound statements, Beginning of proof techniques. Counter-examples, Equivalence, Direct Proof, Proof By Cases, Proof by Contrapositive, Proof by Contradiction.
- Feb 13th: Let's look at many examples of proofs also look at this proof that \(\pi\) is irrational and helpful blog posts about proofs or this one about how to ace discrete
**Feb. 16th**Truth tables!**Feb. 18th**Propositional Algebra and Simplifying statementsIn class problem errata: I meant to write \([(p \lor q) \lor (( q \lor (\lnot r)) \land (p \lor r))]\) (a solution is on page 26 of your book)

**Feb. 20th**Modular Arithmetic Basics**Feb. 23rd**Different base systems, working with division**Feb. 25th**GCD, Euclidean Algorithm, LCM**Feb. 27th**Primes, Sieve of Eratosthenes**Test Prep Problems**The test will have problems from this list or very similar to problems on this list. I would work them all if I were you.- Chapter 0 review 1-10
- Chapter 1 review 1,2,3
- Chapter 4.1 problems 6, 11
- Chapter 4.2 problems 6,8,9,10,11,12,15,19,20,24
- Chapter 4.3 problems 4,8,14,22,25

**Mar. 2nd**GCD as linear combination, Relatively Prime, Fundamental Theorem of Arithmetic.**Mar. 4th**Quiz the Prof day**Mar. 6th was cancelled****Mar. 9th**Test 1**Mar. 11th**Introduction to induction**Mar. 13th**Permutations, Combinations, and Andy's secret formula**Mar. 16th**Recursively Defined Sequences**Mar. 18th**Strong Induction, Basics of Sets, Equality, Subset, Power Set**Mar. 20th**Guest Lecture: Dave Saunders. Intersections, Unions, Symmetric Differences, etc.**Mar. 23rd**Cartesian Products and Binary Relationships**Mar. 25th**Equivalence Relations, Congruences, Partitions**Mar. 27th**Functions and cardinality**Apr. 6th**Inverses, Composition, Countability**Apr. 8th**Modular Congruence**Apr. 10th**Test 2**Apr. 13th**4.5**Apr. 15th**6.1**Apr. 17th**Worked a problem set 6.2**Apr. 20th**7.1, 7.2, 7.5 problem set and a cat (Will Weber spoke to us about ACM mentorship email: rwaweber at udel dot edu)**Apr. 22th**7.6, 7.7 Pascal's triangle in pictures and Problem Set**Apr. 24th**9.1 Added HW5, today's notes at math.prof.ninja/424.**Apr. 27th**9.2 Problem set**Apr. 29th**9.3 Graph Isomorphisms**May 1st**10.1,10.2 (partial) Circuits and walks**May 4th**10.3 (and a tad bit of 11.2) Adjacency Matrices!, also tests returned. My interpretation of the raw score: 40+ is a pass, 52+ is a B, 63+ is an A**May 6th**Review. Pick a problem. Solve it.**May 8th**T3**May 11th**8.1**May 13th**8.2/8.3**May 15th**Classic Algorithm Mastery**May 18th**Last Class