All information in the future is subject to change, though this calendar represents my aims.

Problems listed next to a given date are to be started on that date. They will be collected on the following Wednesday.

#

Date

Topic

Reading

Problems

Extras

1

9/6

  • Introduction
  • Syllabus
  • Logic
  • 1.1-1.3
  • 2.1-2.2
  • Sign up on Piazza
  • Course survey
  • 1.1: 11, 13
  • 1.2: 4, 9
  • 1.3: 2, 4, 12, 20
  • 2.1: 5, 8, 13, 17, 35, 37, 46, 52

due: 9/13

2

9/11

  • Boolean algebra
  • Conditionals
  • Arguments
  • 2.3-2.5
  • 2.2: 10, 15, 21, 35, 43, 50
  • 2.3: 10, 13, 23, 28, 29, 32, 40

due: 9/13

Slides from Dianna:

3

9/13

  • Digital circuits
  • Digital arithmetic
  • 3.1-3.2
  • 2.4: 2, 6, 10, 21, 31
  • 2.5: 5, 11, 21, 26, 34, 37, 45, 47

due: 9/20

4

9/18

  • Quantifiers
  • 3.3-3.4
  • 3.1: 4c, 5b, 15, 16b, 20, 29
  • 3.2: 2, 4b, 4d, 8, 14, 25c, 44

due: 9/20

Slides from Dianna:

5

9/20

  • Nested quantifiers
  • 4.1-4.2
  • 3.3: 4c, 11e, 38, 40b, 43, 61
  • 3.4: 14, 15, 19, 22, 27, 32, 34

due: 9/27

Quantifiers exercise from class

Slides from Dianna:

6

9/25

  • Proof techniques
  • 4.3-4.5
  • 4.1: 6, 10, 13, 28, 37, 41, 56
  • 4.2: 10, 18, 19, 20, 25, 32, 36, 38

due: 9/27

Slides from Dianna:

7

9/27

  • More proof techniques and applications
  • 4.6-4.8
  • 4.3: 16, 20, 39, 43, extra credit: 49
  • 4.4: 25, 52
  • 4.5: 11, 13, 25

due: 10/4

8

10/2

  • Proof by contradiction
  • Review

9

10/4

EXAM 1

  • 5.1
  • 4.6: 4, 12, 22, 28, 35

due: 10/11

10

10/9

  • Proof by contradiction
  • Sequences
  • 5.2-5.3
  • 5.1: 7, 15, 17, 28, 50, 54, 61, 79

due: 10/11

11

10/11

  • Induction

10/16

FALL BREAK

10/18

FALL BREAK

12

10/23

  • Induction
  • 5.4-5.6
  • 5.2: 7, 11, 14, 23, 36
  • 5.3: 10, 17, 23, 29, 35, 37

due: 10/25

13

10/25

  • Induction in programming
  • 5.9
  • 6.1-6.2
  • 5.4: 2, 15, 18, 19, 21 (use proof by contradiction), 25
  • 5.5: 2, 7, 9, 12
  • 5.6: 8, 14, 20, 32, 40

due: 11/1

Skipped: 5.7-5.8, but you may enjoy reading these anyway

14

10/30

  • Sets
  • Skim 6.3
  • 6.4
  • 7.1-7.2
  • 5.9: 8 (NB: s0 here means to append the digit 0 after s, not multiplication), 11, 16, 18, extra credit: 20
  • 6.1: 12, 25, 33c, 35c-d

due: 11/1

Skipped: 6.3

15

11/1

  • Functions
  • 7.3
  • 8.1-8.2
  • 6.2: 14, 22, 31, 41
  • 7.1: 16, 34, 36, 47
  • 7.2: 8, 17, 22, 29

due: 11/8

  • For fun: 6.4: 11, 16, 23, 25
  • Skipped: 7.4

16

11/6

  • Relations
  • 8.3-8.5
  • 7.3: 8, 17, 22
  • 8.1: 11
  • 8.2: 10, 13, 22, 32, 35, 40, 52

due: 11/8

17

11/8

  • Equivalence classes
  • Relations in computer science
  • Review

18

11/13

EXAM 2

  • 9.1-9.2
  • 8.3: 4, 23, 37, 46
  • 8.5: 4, 7, 32, 41

due: 11/15

19

11/15

  • Counting
  • 9.3-9.5
  • 9.1: 6, 13b, 19, 22, 33
  • 9.2: 2, 14c, 15, 29, 30, 33

due: 11/22

20

11/20

  • Permutations and combinations
  • 9.6, 9.8-9.9
  • 9.3: 2, 10, 17, 21, 22
  • 9.4: 11, 16, 19, 30, 32
  • 9.5: 7, 16, 20, 28

due: 11/22

Skipped: 9.7 (though it really is interesting)

21

11/22

  • Formal verification of discrete mathematics

This topic will not be tested, but if you come, you will learn a fun programming language.

demo.v

THANKSGIVING BREAK

22

11/27

  • Expected value
  • Bayes theorem
  • 10.1-10.2
  • 9.8: 5, 15, 18, 20, 21, 23
  • 9.9: 15, 24, 28, 29, 30, 33

due: 11/29

23

11/29

  • Graphs
  • 10.5-6
  • 10.1: 20, 28, 30, 33, 44, 48
  • 10.2: 2, 8, 11, 35, 48, 49

due: 12/6

Skipped: 10.3-4

24

12/4

  • Trees
  • 10.7
  • 10.5: 3, 6, 16, 23, 26

due: 12/6

25

12/6

  • Spanning trees
  • 10.7: 10, 11, 14, 19, 29

due: 12/13

26

12/11

  • TBD
  • Prepare review questions

27

12/13

  • Review

There will be a self-scheduled final exam during the normal exam period.