Text: S. S. Epp, Discrete Mathematics with Applications
(3nd edition)
Office Hours: 2:30-4:30 Tues/Thurs
Grading: Your grade will be determined by
| A | A- | B+ | B | B- | C+ | C | C- | D+ | D | E |
| 90 | 87 | 83 | 80 | 77 | 73 | 70 | 67 | 63 | 60 | <60 |
Adjustments may be made at the end of the quarter. I might lower the cutoff percentage for a particular grade, but I will not raise it.
The main goal of this course is for you to learn the fundamentals of reading and writing formal logical and mathematical prose: how to read definitions, theorems and proofs; write basic proofs; formulate definitions; produce examples and counterexamples, and so on. These skills are fundamental to further study in most areas of mathematics and theoretical computer science.
Some Extra Problems you might want to try
| Monday | Wednesday | Friday |
| Jan 5 First Class Intro and Sec 1.1 Logical Form and Equivalence |
Jan 7 Sec 1.2 Conditional Statements |
Jan 9 Sec 1.3 Valid and Invalid Arguments Knights and Knaves Problems |
| Jan 12 Sec 1.4 Application: Digital Logic Circuits Hand in Homework Set #1 |
Jan 14 Sec 2.1 Introduction to Predicates and Quantified Statements Quiz 1 |
Jan 16 Sec 2.2 Introduction to Predicates and Quantified Statements II |
| Jan 19 Martin Luther King Day No Class |
Jan 21 Sec 2.3 Statements Contining Multiple Quantifiers Quiz 2 Hand out Problem Set 1due Jan 28 Hand in Homework Set #2 Sec. 1.4,2.1,2.2 |
Jan 23 Sec 2.4 Arguments with Quantified Statements |
| Jan 26 Sec 3.1 Direct Proof and Counterexample Hand in Homework Set #3 Sec. 2.3,2.4 |
Jan 28 Sec 3.2 Direct Proof : Rational Numbers Problem Set 1 Due |
Jan 30 Midterm I |
| Feb 2 Sec 3.3 Direct Proof : Divisibility |
Feb 4 Sec 3.4 Direct Proof: Division into cases and the Quotient Remainder Theorem |
Feb 6 Sec 3.6 Indirect Argunment: Contradiction and Contrapositions Hand in Homework Set #4 Sec. 3.1,3.2,3.3 |
| Feb 9 Sec. 3.7 Two Classical Theorems
|
Feb 11 Sec 4.1 Sequences and Series Hand out Problem Set 2 |
Feb 13 Sec 4.2 Mathematical Induction I Hand in Homework Set #5 Sec. 3.4,3.6,3.7 |
| Feb 16 Sec 4.3 Mathematical Induction II Web Pages about Induction Making Mathematics Another from the same site |
Feb 18 Sec 4.3 Mathematical Induction II |
Feb 20 Sec 4.4 Strong Induction and the Well-Ordering Principle Hand Out Take Home Midterm 2 Due March 3 Take Home Quiz II Due |
| Feb 23 Sec 5.1 Basic Definitions of Set Theory Sec. 5.2 Properties of Sets Hand in Homework Set #6 Sec. 4.1,4.2, 4.3
|
Feb 25 Sec 5.3 Disproofs, Algebraic Proofs and Boolean Algebras Midterm 2 |
Feb 27 Sec 10.1 Relations on Sets |
| March 1 Sec 7.1 Functions Defined on General Sets Hand in Homework Set #7 Sec. 4.4,5.1,5.2,5.3 |
March 3 Sec 7.2 One-to-one and Onto, Inverse Functions Take Home Part of Midterm 2 Due |
March 5 Sec 7.2 One-to-one and Onto Hotel Infinity More Infinity Stuff Still More More paradoxes (paradice?) |
| March 8
Sec 7.4 Hand in Homework Set #8 |
March 10 Sec 7.4 Composition of Functions 7.3 Pigeon Hole Principle |
March 12
Review |
| Finals Week | March 17 Final Exam 3:30 -5:18 |