Any future dates are tentative

• 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 statements

  In 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. 4thQuiz 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