date topic description (chapter) assignment
May 25 LOGIC
  • propositional calculus (1.1, 1.2, 1.3)
  • circuits (1.4)
  • homework #1

    Jun 01 LOGIC
  • predicate calculus (2.1, 2.2)
  • arguments (2.3)
  • homework #2

    Jun 08 PROOF
  • direct and indirect (3.1, 3.2, 3.3, 3.5)
  • proof by contradiction (3.6, 3.7)
  • homework #3

    Jun 15 PROOF
  • halting problem (5.4)
  • sequences and summation (4.1)
  • mathematical induction (4.2, 4.3)
  • practice problems

    Jun 22 PROOF
  • MIDTERM #1
  • more induction (4.3)
  • homework #4

    Jun 29 COUNTING
  • probability (6.1)
  • combinatorics (6.2-6.6)
  • homework #5
    Jul 06 FUNCTIONS
  • set theory (5.1, 5.2, 5.3)
  • one-to-one, onto (7.3)
  • homework #6
    Jul 13 FUNCTIONS
  • pigeonhole principle (7.4)
  • cardinality (7.6)
  • practice problems
    Jul 20 RELATIONS
  • MIDTERM #2
  • equivalence classes (10.2, 10.3)
  • partial orders (10.5)
  • homework #7
    Jul 27 GRAPHS
  • graphs (11.1, 11.3)
  • trees (11.5)
  • minimum spanning trees (11.6)
  • homework #8
    Aug 03 ANALYSIS
  • big-O notation (9.2)
  • analysis of algorithms (9.3)
  • practice problems
    Aug 10 WRAP-UP
  • FINAL EXAM
  •