## Discrete Structures Fall 2006 WEEKS ONE THRU FIVE

Textbook web site.
Week Dates Topics Homework or Quizzes
1 08/21-08/25 Read sections 1.1 and 1.2 of textbook.
1. Tuesday email note, with a simple implication A implies B involving even numbers like 2, 4, 6, 8, discrete we sure appreciate...

2. Class #1 review, class #2 and class #3 PREview. Truth tables, AND, OR, NOT, disjuncts, conjuncts, De Morgan's laws, implications, etc.

3. Review outline of section 1.1 on Statements, Symbolic Representation, and Tautologies.

VIP: (REVIEW FOR all THREE MWF first week classes).

2 08/28-09/01 Read, reread and DO section 1.2 material and review lecture notes.

Homework #1 due on Wednesday...

Negation of an Implication means use the implication rule first, then use DM (De Morgan's).

3 09/06-09/08 Labor Day holiday Monday

Read Section 1.3: Quantifiers, Predicates, and Validity

...

### VIP: Assignments for Wednesday and next MONDAY

4 09/11-09/17 Section 2.1: Proof Techniques

Preview/Review: Prove the sum of an even and an odd integer is ODD, started on Monday, September 11th.

```Interactive, self-grading practice QUIZ.

```
5 09/18-09/22

### Test #1 Wednesday September 27th

Old Exams and Quizzes to use for practice and review.

Study session from Fall 2002 Review Session would be great Practice for Test #1, especially the mt, mp, imp, DM, ds, contra, dn, dist, comm, sim, con rules (equivalences and inferences).

TEST ONE FRIDAY...

## REVIEW SESSION for TEST ONE 5 p.m. Tuesday in our classroom (ITT 27)

### Test #1 Wednesday September 27th

```TEST ONE TOPICS:
45%  1.2 Propositional Logic proofs
30%  2.1 Proofs involving divides, evens, odds
10%  1.1 Truth tables and basics
10%  1.3 Quantifiers, predicate logic
5%  2.2 Induction proof concepts, terminology and patterns,
----      possibly true/false, fill in blank or matching.
100%              You will not have to DO a inductive proof.
```
Email note - TEST ONE suggestions.

Discrete Structures Curriculum 2001 discussion by ACM/IEEE Ironman Draft.