Schedule

Week 1

Reading topics:

Algorithms (Sec 3.1, Appendix 3): Def 1 of algorithm (p191), Properties of algorithms (p193).
Number systems (Sec 4.1, 4.2): Def 1 of divides (p238), Theorem 2: the division algorithm (p239), Def 2 of div and mod (p239), Thm 1: base b expansion of n (p246), Algorithm 1: constructing base b expansion (p249)

Notes:

Day 01 - Monday 01/07 - Slides - Annotated notes
Day 02 - Wednesday 01/09 - Slides - Annotated notes
Day 03 - Friday 01/11 - Slides - Annotated notes
Discussion - Friday 01/11 - Notes

Optional practice exercises from Rosen:

3.1 # 57
4.1 # 9, 21, 23
4.2 # 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23

Week 2

Reading topics:

Circuits (Sec 1.2, 1.1, 1.3): Figure 1 basic logic gates (p21), Tables 1-3 (p4) defining basic logical operators
Propositional connectives (Sec 1.1): Tables 1,2,3,4,5,6 (definitions) and Table 8 (precedence)
System specifications and consistency (Sec 1.2): Examples 4 and 5 (page 18)

Notes:

Day 04 - Monday 01/14 - Slides - Annotated notes
Day 05 - Wednesday 01/16 - Slides - Annotated notes
Day 06 - Friday 01/18 - Slides - Annotated notes
Discussion - Friday 01/18 - Notes

Optional practice exercises from Rosen:

1.1 #7, 27, 29, 31, 41
1.2 # 9, 17, 25, 27, 29, 31, 41, 43
1.3 #1-6, 16-30
12.3 #1,3,5

Week 3

Reading topics:

Predicates and quantifiers (Sec 1.4, 1.5): Sec 1.4: Definition of predicates on p. 37 and Example 1, Definition 1, Definition 2, Table 1 and Table 2. Sec 1.5: Example 4 on page 59, Table 1, Example 14 on page 63.

Notes:

Monday 01/21 - MLK Holiday - No class
Day 07 - Wednesday 01/23 - Slides - Annotated notes
Day 08 - Friday 01/25 - Slides - Annotated notes
Discussion - Friday 01/25 - Notes

Optional practice exercises from Rosen:

1.4 # 13, 17, 19, 29, 31, 37, 39
1.5 #9, 13, 25, 31

Week 4

Reading topics:

Proof strategies (Sec 1.6, 1.7, 1.8): Sec 1.6 Table 2 (rules of inference with quantifiers). Sec 1.7 introduction (pp 80-82), Definition 1 (evens and odds), "A little proof strategy: p. 85, Definition 2 (rational number). Sec 1.8 Exhaustive Proofs (pp. 93), Proofs by contradiction (p.86).

Notes:

Monday 01/28 - MIDTERM 1
Day 09 - Wednesday 01/30 - Slides - Annotated notes
Day 10 - Friday 02/01 - Slides - Annotated notes
Discussion - Friday 02/01 - Notes

Optional practice exercises from Rosen:

1.6 # 15, 17
1.7 #1, 5, 15, 35
1.8 #3, 9, 13, 14, 15, 25, 29, 35

Week 5

Reading topics:

Sets and Summations (Sec 2.1, 2.2, 2.4): Definition 1 of 2.1 (p. 116), the empty set (p. 118), Definition 3 (p. 119), Definition 6 (p. 121), Definition 8 (p. 123). Definitions 1 through 5 of Section 2.2 (pp. 127-129). Generalized union in Definitions 6 and 7 of p. 133. Summation notation on pp. 162-163
Induction (Sec 5.1): Principle of Mathematical Induction (p. 313), Example 1 (p. 316), Example 3 (p. 318)

Notes:

Day 11 - Monday 02/04 - Slides - Annotated notes
Day 12 - Wednesday 02/06 - Slides - Annotated notes
Day 13 - Friday 02/08 - Slides - Annotated notes
Discussion - Friday 02/08 - Notes

Optional practice exercises from Rosen:

2.1 # 23, 31;
2.2 # 3, 31, 45, 47, 49;
2.4 #29, 33;
5.1 # 3, 5, 7, 11, 19, 21, 51, 55

Week 6

Reading topics:

Recursive definitions and structural induction (Sec 5.3)
Strong induction (Sec 5.2): Definition (p. 334), Example 2 (p. 336), Example 4 (p. 337)
Functions and Cardinality Sec 2.3 Definition 1 (p. 139), Example 3 (p. 140), Definition 5 (p. 141), Definition 7 (p. 143), Figure 5 (p. 144). Sec 2.5 Definition 1 (p. 170), Definition 3 (p. 171).

Notes:

Day 14 - Monday 02/11 - Slides - Annotated notes
Day 15 - Wednesday 02/13 - Slides - Annotated notes
Day 16 - Friday 02/15 - Slides - Annotated notes
Discussion - Friday 02/15 - Notes

Optional practice exercises from Rosen:

5.3 # 23, 25, 27, 33, 37, 39;
5.2 # 7, 11, 25, 29;
2.3 #21;
2.5 # 1, 3, 11, 17, 19, 33

Week 7

Reading topics:

Functions and Cardinality Sec 2.3 Definition 1 (p. 139), Example 3 (p. 140), Definition 5 (p. 141), Definition 7 (p. 143), Figure 5 (p. 144). Sec 2.5 Definition 1 (p. 170), Definition 3 (p. 171)
Cardinality (Sec 2.5): Example 3 (p. 172), Example 4 (p. 172), Example 5 (p. 173)

Notes:

Monday 02/18 - Presidents' Day Holiday - No class
Day 17 - Wednesday 02/20 - Slides - Annotated notes
Day 18 - Friday 02/22 - Slides - Annotated notes
Discussion - Friday 02/22 - Notes

Optional practice exercises from Rosen:

2.3 # 21;
2.5 # 1, 3, 11, 3, 15, 17, 19, 33

Week 8

Reading topics:

Binary Relations Sec 9.1: Definition 1 (p. 573), Definition 2 (p. 575), Example 4 (p. 575), Example 5 (p. 575), Definition 3 (p. 576), Definition 4 (p. 577), Definition 5 (p. 578); Sec 9.3: Definition 1 (p. 594), Example 7 (p. 594); Sec 9.5: Definition 1 (p. 608), Example 3 (p. 609), Definition 3 (p. 610), Example 9 (p. 610), Theorem 2 (p. 613), Example 14 (p. 614)

Notes:

Monday 02/25 - MIDTERM 2
Day 19 - Wednesday 02/27 - Slides - Annotated notes
Day 20 - Friday 03/01 - Slides - Annotated notes
Discussion - Friday 03/01 - Notes

Optional practice exercises from Rosen:

9.1 # 3, 7;
9.5 # 1, 7, 13, 35, 37;

Week 9 & 10

Reading topics:

Binary Relations Sec 9.1: Definition 1 (p. 573), Definition 2 (p. 575), Example 4 (p. 575), Example 5 (p. 575), Definition 3 (p. 576), Definition 4 (p. 577), Definition 5 (p. 578); Sec 9.3: Definition 1 (p. 594), Example 7 (p. 594); Sec 9.5: Definition 1 (p. 608), Example 3 (p. 609), Definition 3 (p. 610), Example 9 (p. 610), Theorem 2 (p. 613), Example 14 (p. 614)
Modular arithmetic Sec 4.1: Definition 3 (p. 240), Corollary 2 (p. 242)

Notes:

Day 21 - Monday 03/04 - Slides - Annotated notes
Day 22 - Wednesday 03/06 - Slides - Annotated notes
Day 23 - Friday 03/08 - Slides - Annotated notes
Discussion - Friday 03/08 - Notes
Day 24 - Monday 03/11 - Slides - Annotated notes
Day 25 - Wednesday 03/13 - Slides - Annotated notes
Day 26 - Friday 03/15 - Slides - Annotated notes
Discussion - Friday 03/15 - Notes

Optional practice exercises from Rosen:

9.1 # 3, 7;
9.5 # 1, 7, 13, 35, 37;
4.1 # 27, 33, 47

Report abuse