Week 1

March 30

Topics: Proof Primer, Sets, Ordered Structures, Graphs and Trees

Read: Text, Chapter 1, Complete Homework Assignment

Exercises:

1.1: 1, 3ae, 4ac, 6a, 7a, 8a.

1.2: 1ae, 2ac, 3aceg, 6ace, 7a, 8a, 10ac, 11ac, 16ac, 19ace, 23e, 28ac.

1.3: 1, 2ace, 4ac, 5ac, 8ace, 9ace, 10ace, 11a, 12ac, 13ace, 14ac, 16a, 17c, 18c.

1.4: 2, 4ac, 5ab, 7ab, 8, 9, 11.

Week 2

April 6

Topics: Function Definition, Constructing Functions, Properties of Functions

Read: Text 2.1–2.3, Complete Homework Assignment #2

Exercises:

2.1: 1ac, 2ace, 3ac, 4ac, 5, 6ac, 7ac, 11ac, 12ac, 13ac, 14a, 15e, 18a, 19c.

2.2: 1aceg, 2ac, 3ac, 4a, 6, 7a, 8a, 9ace, 11a.

2.3: 1, 2ac, 3a, 4ace, 5ace, 6ac, 7ac, 8a, 9aceg, 10a, 11ac, 12ac, 13ac, 15ac.

Week 3

April 13

Topics: Countability, Inductive Definitions, Recursive Functions

Read: Text 2.4, 3.1–3.2, Complete Homework Assignment #3

Exercises:

2.4: 1ac, 2aceg, 3ac, 4ac.

3.1: 1a, 2ace, 3a, 4a, 6aceg, 7ac, 9a, 10ace, 11a, 13, 15, 16a, 17a, 18ac.

3.2: 1, 3, 4ace, 5ace, 6ac, 7ace, 10a, 14a, 15ac, 16a,18a, 19ac, 22, 24a.

Week 4

April 20

Exam 1: Monday, April 20 (Answer Key)

Topics: Properties of Binary Relations

Read: Text 4.1, Complete 2nd Page of Homework Assignment #3

Exercises:           

4.1: 1acegi, 2ace, 3a, 4ac, 5ac, 7a, 8a, 9ac, 12ac, 13ac, 15c, 16ab, 22c.

Week 5

April 27

Topics: Equivalence Relations, Order Relations, Inductive Proof

Read: Text 4.2-4.4, Complete Homework Assignment #4

Exercises:           

4.2: 1ace, 2ace, 3aceg, 4a, 5a, 7a, 9.

4.3: 1ac, 2ace, 3abc, 5, 7ac, 9, 11, 14ac.

4.4: 2acegi, 3a, 4a, 7, 10a, 11a, 13, 15, 20.

Week 6

May 4

Topics: Analyzing Algorithms, Finding Closed Forms, Counting Permutations, Combinations, Solving Recurrences

Read: Text 5.1, 5.2, 5.3.1, 5.3.2, 5.4, Complete Homework Assignment #5

Exercises:

5.1: 1, 2ac, 3. 

5.2: 1ac, 2ace, 3ac, 4aceg, 6a, 7a, 8a.

5.3: 1ace, 2ace, 3ace, 4, 5ace, 7, 9.

5.4: 1ac, 2ac, 5, 6ac, 7ac, 8ac.

Week 7

May 11

Topics: Logic Reasoning, Propositional Calculus, Formal Reasoning

Exam 2: Wednesday, May 13 (Answer Key)

NO HOMEWORK THIS WEEK - Exam 2 review material

Read: Text 6.1-6.3.

Exercises:

6.1 Lecture Notes

6.2: 1ac, 2a, 3, 5, 7ace, 8aceg, 9ace, 10aceg, 11ace, 12aceg, 13a, 14ace, 15ace.

Week 8

May 18

Topics: Logic Reasoning, Propositional Calculus, Formal Reasoning

Topics: First Order Predicate Calculus, Equivalent Formulas

Read: Text 6.2-6.3, 7.1–7.2, Complete Homework Assignment #6 (Answer Key)

Exercises:

6.3: 1a, 2, 3a, 4, 5acegi, 6aceg, 7acegik, 8a, 9a.

7.1: 1a, 2ace, 3a, 4, 5ac, 6, 7a, 8a, 9a, 10a, 11ace, 12aceg, 13a, 14ac, 16aceg, 17ac.

Week 9

May 25

Topics: First Order Predicate Calculus, Equivalent Formulas

No class on Monday, May 25 - Memorial Day

Read: Text 7.2, 7.3, Complete Homework Assignment #7 (Answer Key)

Exercises:

7.2: 1ace, 2ac, 3ac, 4ace, 5ace, 6a, 7ace, 8aceg, 9a, 10aceg.

7.3: 1ace, 2, 3a, 5, 6aceg, 7ace, 8ace.

Week 10

June 1

Topics: Formal Proofs in Predicate Calculus, Program Correctness

Read: 8.2

Exercises:

8.2:  7, 8a, 9, 13ac, 14ac, 15ac, 16ac, 17ac, 18a.

Catch-up and Review

Note - Final Exam Day is June 3