CMPSCI 190DM: Fall 2014

Syllabus and Course Schedule

Prof. David Mix Barrington

Reading assignments are from Ensley and Crawley, Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and Games, presumably available at the Textbook Annex.

Class meetings are MWF 10:10-11:00 in LGRC A203. There are two midterm exams held during the regular class period as indicated.

PART I: Mathematical Language and Argument

Wed 03 Sep L01  Course Overview (1.1)
Fri 05 Sep L02  First Examples (1.1)
Mon 08 Sep L03  Number Puzzles and Sequences (1.2)
Wed 10 Sep L04  More Puzzles and Sequences (1.2)
Fri 12 Sep L05  Truth-tellers, Liars, and Propositional Logic (1.3)
Mon 15 Sep L06  More Propositional Logic (1.3)  (END OF ADD/DROP)
Wed 17 Sep L07  Predicates (1.4)
Fri 19 Sep L08  Implications (1.5)
Mon 22 Sep L09  Translating Propositional Statements (1.3)
Wed 24 Sep L10  Reasoning About Propositions (1.6)
Fri 26 Sep L11  Translating Predicates (1.4)
Mon 29 Sep L12  Mathematical Writing (2.1)
Wed 01 Oct L13  More Mathematical Writing (2.1)
Fri 03 Oct L14  Proofs About Numbers (2.2)
Mon 06 Oct L15  More Proofs About Numbers (2.2)
Wed 08 Oct L16  Mathematical Induction (2.3)
Fri 10 Oct L17  Mathematical Induction (2.3)
Mon 13 Oct ---  NO CLASS (Columbus Day Holiday)
Tue 14 Oct L18  (MONDAY SCHEDULE) Mathematical Induction (2.3)
Wed 15 Oct L19  Review for Midterm (2.3)
Thu 16 Oct ---  Last Day to Drop With W or Elect Pass/Fail 
Fri 17 Oct X01  MIDTERM EXAM (on chapters 1, 2)

PART II: Applications of Mathematical Reasoning

Mon 20 Oct L20  Contradiction and the Pigeonhole Principle (2.5)
Wed 22 Oct L21  Set Definitions and Operators (3.1)
Fri 24 Oct L22  Proving Set Properties (3.3)
Mon 27 Oct L23  Function Definitions, Diagrams, and Inverses (4.1)
Wed 29 Oct L24  The Composition Operation (4.2)
Fri 31 Oct L25  Properties of Functions and Set Cardinality (4.3)
Mon 03 Nov L26  Relations and Equivalence Relations (4.4, 4.5)
Wed 05 Nov L27  Introduction to Combinatorics (5.1)
Fri 07 Nov L29  Basic Rules for Counting (5.2)
Mon 10 Nov L29  Combinations and the Binomial Theorem (5.3)
Fri 14 Nov L30  Binary Sequences (5.4)
Mon 17 Nov L31  Introduction to Probability (6.1)
Wed 19 Nov L32  Sum and Product Rules for Probability (6.2)
Fri 21 Nov L33  Probability in Games of Chance (6.3)
Mon 24 Nov L34  Expected Value in Games of Chance (6.4)
Wed 26 Nov L35  Matrices and Their Operations (Appendix B)
Fri 28 Nov ---  NO CLASS (Thanksgiving Holiday)
Mon 01 Dec L36  Matrices and Markov Chains (6.6)
Wed 03 Dec L37  More on Matrices and Markov (6.6)
Fri 05 Dec L38  Course Review and Evaluations 

Final Exam (cumulative) Mon 8 Dec, 10:30 a.m.-12:30 p.m., LGRC A203

Last modified 22 October 2014