Last updated: 03/30/09
This syllabus is subject to change. Any changes will be announced in class and on the course web page as the semester progresses.
The course webpage is http://www.math.jmu.edu/~martin/courses/227_sp09/policies.html
Unless otherwise stated, the reading assignments in this syllabus are from
Discrete Mathematics and Its Applications
by Kenneth H. Rosen
ISBN-13: 978-0-07-288008-3
| Date | Material | Assignment | |
| |
|||
| 01/12/09 | Overview of the course | Course web page | |
| Propositional Logic | Section 1.1 | ||
| 01/14/09 | Propositional Equivalences | Section 1.2 | |
| Introduction to Sage | Sage Tutorial: 1.1, 1.2, 2.1-2.5, 5.1-5.10 | ||
| 01/16/08 | Homework Day | Homework 1 | |
| |
|||
| 01/19/09 | MLK Day | No Class Meeting | |
| 01/21/09 | Propositional Equivalences | Section 1.2 | |
| Go over HW 1 | Finish up HW 1 | ||
| 01/23/08 | Homework Day | Homework 1 | |
| |
|||
| 01/26/09 | Predicates and Quantifiers | Section 1.3 | |
| 01/28/09 | Snow Day | No Class | |
| 01/30/09 | Nested Quantifiers | Section 1.4 | |
| |
|||
| 02/02/09 | Homework Day | Homework 2 | |
| 02/04/09 | Homework Day (continued) | Homework 2 | |
| 02/06/09 | Sage Lesson | Work on Proj 1 | |
| |
|||
| 02/09/09 | Sage Lesson | Work on Proj 1 | |
| 02/11/09 | Rules of Inference | Section 1.5 | |
| 02/13/09 | Introduction to Proofs | Section 1.6 | |
| |
|||
| 02/16/09 | More Proofs | Section 1.7 | |
| 02/18/09 | More Proofs | Section 1.7 | |
| Project 1 Due | |||
| 02/20/09 | Go over Project 1 | Meditate | |
| |
|||
| 02/23/09 | Sets | Section 2.1 | |
| Fun with Sets | Section 2.2 | ||
| 02/25/09 | Homework Day | Homework 3 | |
| 02/27/09 | Functions | Section 2.3 | |
| |
|||
| 03/02/09 | Snow Day | No Class | |
| 03/05/09 | More on Functions | Section 2.3 | |
| 03/06/09 | Sequences and Series | Section 2.4 | |
| |
|||
| |
|||
| 03/16/09 | Review | Review | |
| 03/18/09 | Review | Review | |
| 03/20/09 | Mid-Term Exam | Review | |
| |
|||
| 03/23/09 | Integers and Modular Arithmetic | Section 3.4 | |
| 03/25/09 | Integers and Modular Arithmetic | Section 3.5 | |
| 03/27/09 | Integers and Modular Arithmetic | Section 3.6 | |
| |
|||
| 03/30/09 | Integers and Modular Arithmetic | Section 3.6 | |
| 04/01/09 | Chinese Remainder Theorem | Section 3.7 | |
| 04/03/09 | RSA | Section 3.7 | |
| |
|||
| 04/06/09 | Homework Day | HW04 | |
| 04/08/09 | Computer Representations of Signed Integers | Section 3.7 | |
| 04/10/09 | Induction, take-two | Section 4.1 and 4.2 | |
| |
|||
| 04/13/09 | Counting | Section 5.1 | |
| 04/15/09 | Pigeonhole Principle | Section 5.2 | |
| 04/17/09 | Homework Day | HW05 | |
| |
|||
| 04/20/09 | Permutation and Combinations | Section 5.3 | |
| 04/22/09 | Binomial Theorem | Section 5.4 | |
| 04/24/09 | Homework Day | HW06 | |
| |
|||
| 04/27/09 | Some hard proofs | Lecture Notes | |
| 04/29/09 | Some more hard proofs | Lecture Notes | |
| 05/01/09 | Homework Day | HW07 | |