Week

Week of

Topic

HW Due - Type 1

HW Assigned - Type II

1

Jan 13

• T: Introduction. Statements and Connectives
• R: Evaluating WFFs

• R 1.1: 1,2,4,6,8,11

• 1.1: 18, 24, 29, 37, 38, 39
  

2

Jan 20

• T: Propositional Logic
• R: Quantifiers and Predicates

• T 1.1: 14 (a-d), 17, 19, 20
• R 1.2: 1, 5, 7, 9, 13, 15, 21

• 1.2: 2, 12, 14, 20, 26, 38, 40
• 1.3: 4b, 9, 13, 15, 18(a-c)

3

Jan 27

• T: Instantiation and Generalization
• R: Proof Rules and Verbal Arguments

• T 1.3: 1, 2(a-d), 3a, 5, 6(a,b),14 (a,b)
• R 1.4: 2, 6, 8b, 9b, 11, 16

• 1.4: 2, 3, 6, 11, 15, 16, 17, 18, 25, 26, 32

4

Feb 3

• T: Proof Techniques
• R: Induction

• T 1.4: Write the arguments in #26, 32 in symbolic form
• R 2.1: 3,5,6,11,12

• 2.1: 17,21,28,34,36,50,54

5

Feb 10

• T: Recursion
• R: More on Recursion

• T 2.2: Write basis and inductive statements for 2,12,27,31,42,63
• R 2.4: 2,10,36,38,52

• 2.2: 62,64,68,71 and complete proofs of 2,12,27,31,42,63
• 2.4: 12,22,24,41,67,81,84,86

6

Feb 17

• T: Review
• R: Test 1

• T 2.4: 62, 74, 75

7

Feb 24

• T:Sets
• R:Counting

• R 3.1: 3, 6, 11, 13, 22, 37, 44, 50, 61a-b

• 3.1: 6, 9, 18, 19, 28, 54, 78,79, 84

8

March 3

• T:Inclusion/Exclusion and the Pigeonhole Principle
• R:Permutations and Combinations

• T 3.2: 3,4,11,20,71 (For #71, consider only 'best 3 out of 5' tournaments as in division playoffs)
• R 3.3: 1, 4, 13, 15, 16,

• 3.2: 26,45-49,55-59,60-64,72,73
• 3.3: 10, 12, 13, 20

9

March 10

• T: Probability
• R: More Probability

• T: 3.4: 1,2,4,6,14,17,19
• R: 3.5: 1-5, 39, 41

• 3.4: 15, 24-28, 38-42, 43-46, 77, 78, 83 a
• 3.5: 25-34(show all calculations), 35-38, 51.

March 17

10

March 24

• T: Relations (a change)
• R: Functions (a change)

• T 3.5: 42, 43, 44, 53, 54

11

March 31

• T: Review (a change)
• R: Test 2 (a change)

• T 4.1: 1,2,8ab,9abc,11abc, 20,21, 33,37
• R 4.4: 1,2,6,8gh,27,29c,36,39,42,43,60,61,

• 4.1: 12,13,22,27a-e, 34,43
• 4.4: 20,30,33,46,53,58,71

12

April 7

• T: Matrices
• R: Graphs

• T 4.5: 5,7,16,24
• R 5.1: 2, 6ab, 11, 17, 34, 40

• 4.5: 10,13,17,19,26,27
• 5.1: 8, 27-30,68-70,76

13

April 14

• T: Trees
• R: Decision Trees
• F: Deadline for Project Topics

• R 5.2: 2,5,8,17,23

• 5.2: 39,41,28

14

April 21

• T: Review
• R:Test 3

• T 5.3: 2,3,8,10

• 5.3: 12, 18, 20, 21

15

April 28

• T: Projects due in class
• R: Review

May 5

Final Exam: Thursday, May 8, 2 to 4:30 PM