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 07 Sep L01 Course Overview and First Examples (1.1)
Fri 09 Sep L02 Number Puzzles and Sequences (1.2)
Mon 12 Sep L03 Truth-tellers, Liars, and Propositional Logic (1.3)
Wed 14 Sep L04 More Propositional Logic (1.3)
Fri 16 Sep L05 Predicates (1.4)
Mon 19 Sep L06 Translating Predicates and Quantifiers (1.4) (END OF ADD/DROP)
Wed 21 Sep L07 Implications (1.5)
Fri 23 Sep L08 Mathematical Writing (2.1)
Mon 26 Sep L09 Proofs About Numbers (2.2)
Wed 28 Sep L10 More Proofs About Numbers (2.2)
Fri 30 Sep L11 Mathematical Induction (2.3)
Mon 03 Oct L12 More Induction (2.3)
Wed 05 Oct L13 Still More Induction: Sums (2.4)
Fri 07 Oct L14 NO CLASS (Dave away)
Mon 10 Oct --- NO CLASS (Columbus Day Holiday)
Tue 11 Oct X01 FIRST MIDTERM (7-9 pm, Morrill 2 room 131, Dave away,
Monday Schedule) on Lectures 1-13 (Chapters 1-2)
Wed 12 Oct --- NO CLASS (Dave away)
Fri 14 Oct --- NO CLASS (Dave away)
PART II:
Mon 17 Oct L15 Set Definitions and Operations (3.1)
Wed 19 Oct L16 More Operations, Properties of Sets (3.2, 3.3)
Thu 20 Oct --- Last Day to Drop With W or Elect Pass/Fail (undergrads)
Fri 21 Oct L17 Functions and Composition (4.1, 4.2)
Mon 24 Oct L18 One-to-One and Onto Functions (4.3)
Wed 26 Oct L19 Relations and Equivalence Relations (4.4, 4.5)
Fri 28 Oct L20 Introduction to Combinatorics (5.1)
Mon 31 Oct L21 Basic Rules for Counting (5.2)
Wed 02 Nov L22 Combinations and the Binomial Theorem (5.3)
Fri 04 Nov L23 Counting Binary Sequences (5.4)
Mon 07 Nov L24 Introduction to Probability (6.1)
Wed 09 Nov L25 Sum and Product Rules for Probability (6.2)
Fri 11 Nov --- NO CLASS (Veterans' Day Holiday)
Mon 14 Nov L26 Probabiity in Games of Chance (6.3)
Wed 16 Nov L27 (FRIDAY SCHEDULE) Expected Value in Games (6.4, 6.5)
Thu 17 Nov X02 SECOND MIDTERM (evening) on Lectures 15-27 (Chapters 3-6)
Fri 18 Nov --- NO CLASS (makeup for midterm)
(THANKSGIVING BREAK)
PART III: Matrices and Graphs
Mon 28 Nov L28 Matrix Arithmetic (App. B)
Wed 30 Nov L29 Matrices and Markov Processes (6.6, 7.4)
Fri 02 Dec L30 More on Matrices and Graphs (6.6. 7.4)
Mon 05 Dec L31 Detecting and Counting Paths in Graphs (7.4)
Wed 07 Dec L32 Graphs and Trees (7.1)
Fri 09 Dec L33 Proofs About Graphs and Trees (7.2)
Mon 12 Dec L34 Graphs in Puzzles and Games (7.5)
Wed 14 Dec L35 Course Review and Evaluations
Final Exam (cumulative) Friday 16 December, 10:30-12:30, Marston 15
Last modified 4 October 2016