Reading assignments are from Ensley and Crawley: Discrete Mathematics: Mathematial Reasoning and Proof with Puzzles, Patterns, and Games
Class meetings are MWF 11:15-12:05 in Marston 15. There are two midterm evening exams, as indicated.
PART I: Mathematical Problems, Language, and Proofs
Wed 06 Sep L01 Course Overview and First Examples (1.1)
Fri 08 Sep L02 Number Puzzles and Sequences (1.2)
Mon 11 Sep L03 Truth-tellers, Liars, and Propositional Logic (1.3)
Wed 13 Sep L04 More Propositional Logic (1.3)
Fri 15 Sep L05 Predicates (1.4)
Mon 18 Sep L06 Translating Predicates and Quantifiers (1.4) (END OF ADD/DROP)
Wed 20 Sep L07 Implications (1.5)
Fri 22 Sep --- NO CLASS (DAVE AWAY)
Mon 25 Sep L08 Working With Implications (extra)
Wed 27 Sep L09 Brute-Force Search (extra)
Fri 29 Sep L10 Mathematical Writing (2.1)
Mon 02 Oct L11 Proofs About Numbers (2.2)
Wed 04 Oct L12 More Proofs About Numbers (2.2)
Fri 06 Oct L13 Mathematical Induction (2.3)
Mon 09 Oct --- NO CLASS (Columbus Day Holiday)
Tue 10 Oct L14 (MONDAY) More Induction (2.3)
Wed 11 Oct L15 Still More Induction: Sums (2.4)
Fri 13 Oct L16 Induction to Prove Correctness (extra)
Mon 16 Oct X01 FIRST MIDTERM (7-9 pm, room TBA)
on Lectures 1-16 (Chapters 1-2 plus additional)
PART II:
Mon 16 Oct L17 Set Definitions and Operations (3.1)
Wed 19 Oct L18 More Operations, Properties of Sets (3.2, 3.3)
Thu 19 Oct --- Last Day to Drop With W or Elect Pass/Fail (undergrads)
Fri 20 Oct L19 Functions and Composition (4.1, 4.2)
Mon 23 Oct L20 One-to-One and Onto Functions (4.3)
Wed 25 Oct L21 Relations and Equivalence Relations (4.4, 4.5)
Fri 27 Oct L22 Introduction to Combinatorics (5.1)
Mon 30 Oct L23 Basic Rules for Counting (5.2)
Wed 01 Nov L24 Combinations and the Binomial Theorem (5.3)
Fri 03 Nov L25 Counting Binary Sequences (5.4)
Mon 06 Nov L26 Security of Passwords (extra)
Wed 08 Nov X02 SECOND MIDTERM (evening) on Lectures 17-26 (Chapters 3-5)
PART III: Matrices and Graphs
Wed 08 Nov --- NO CLASS (makeup for midterm)
Fri 10 Nov L27 Probability, Sum and Product Rules (6.1, 6.2)
Mon 13 Nov L28 Probabiity in Games of Chance (6.3)
Wed 15 Nov L29 Expected Value in Games (6.4, 6.5)
Fri 18 Nov L30 Randomness and Simulation (extra)
(THANKSGIVING BREAK)
Mon 27 Nov L31 Matrix Arithmetic (App. B)
Wed 29 Nov L32 Matrices and Markov Processes (6.6, 7.4)
Fri 01 Dec L33 More on Matrices and Graphs (6.6. 7.4)
Mon 04 Dec L34 Detecting and Counting Paths in Graphs (7.4)
Wed 06 Dec L35 Graphs and Trees (7.1)
Fri 08 Dec L36 Proofs About Graphs and Trees (7.2)
Mon 11 Dec L37 Graphs in Puzzles and Games (7.5)
Final Exam (cumulative) Wednesday 20 December, 10:30-12:30, Marston 211
Last modified 2 September 2017