Lecture and problem schedule


Lectures

Every class (Mon, Wed, Thurs, Fri) will begin with a short lecture on the topic of the day. We will try to make each lecture fairly comprehensive but we do expect you to complete the posted reading from the textbook ahead of each class. After lecture, if you still have doubts regarding the material, please take a look at the posted videos and associated notes (below this table) from Professor Fleck!

In-class problems

Many of our in-class problems will come from this manual of discussion problems. Additional problems will be posted below, as needed. There is no need for you to attempt these problems before coming to class, they are for you to work on in class and continue after if you do not complete them. Remember that one problem each week will be chosen at random to be graded on Monday. Once the grading is complete, solutions will be posted.

Please work with the people sitting near you! Feel free to sit near the same people each week or to move around.

SOLUTIONS: in-class problem set A, in-class problem set B, in-class problem set C, in-class problem set D, in-class problem set E, in-class problem set F

Week  Monday Tuesday Wednesday Thursday Friday

Week 1

(June 10-14)

Topics: logistics, math review, logic
scribbles

Reading: 1.1-1.4, 1.7, 2.1-2.8

Problems: problem 1.5 in the discussion manual

Topics: logic, proofs
scribbles

Reading: 2.9-2.17, 3.1-3.11

Problems: this problem; problems 1.2bc and 1.3a in the discussion manual

Topics: contrapositive, contradiction
scribbles

Reading: 3.12-3.13, chapter 17

Problems: problems 1.1ac, 1.3cd, and 16a in the discussion manual

Topics: number theory
scribbles

Reading: 4.1-4.9

Problems: problems 2.3a,  2.4a, and 2.6 in the discussion manual

Topics: modular arithmetic
scribbles

Reading: 4.10-4.14

Problems: problems 2.1abcd and 2.2ab in the discussion manual

Week 2

(June 17-21)

Topics: set theory
scribbles

Reading: chapter 5

Problems: problems 3.2 and 3.3b in the discussion manual; problem 2 from these problems

Examlet A review session
review problems
review recording

NO CLASS: Juneteenth!

Topics: relations
scribbles

Reading: chapter 6

Problems: problem 1 from these problems; 4.3ab in the discussion manual

Topics: functions 1
scribbles

Reading: chapter 7

Problems: problems 5.1bc, 5.2abcd, and 5.3b in the discussion manual

Week 3

(June 24-28)

Topics: functions 2
scribbles

Reading: 8.1-8.2, 8.6-8.10

Problems: problems 7.1b and 7.3ab in the discussion manual

Examlet B review session
review problems

review scribbles

Topics: graphs

Reading: chapter 9
scribbles

Problems: problems 8.4, 8.5, and 9.1b in the discussion manual

Topics: 2-way bounding
scribbles
recording

Reading: 10.1, 10.3-10.6

Problems: problems 10.1b and 10.2d in the discussion manual

Topics: induction 1
scribbles
recording

Reading: 1.5-1.6, 11.1-11.6

Problems: problems 11.1abc and 11.4 in the discussion manual

Week 4

(July 1-5)

Topics: induction 2
scribbles

Reading: 11.7-11.12

Problems: problems 11.2 and 14.1a in the discussion manual

Examlet C review session
review problems
review recording

Topics: recursion
scribbles

Reading: 12.1-12.3

Problems: this problem; problem 12.2bc in the discussion manual

NO CLASS: 4th of July!

Topics: recursive induction (on zoom!)
scribbles
recording

Reading: 12.5-12.7

Problems: problems 12.1bd in the discussion manual 

Week 5

(July 8-12)

Topics: trees, grammars
scribbles
recording

Reading: 13.1-13.5

Problems: these problems

Examlet D review session
review problems

review recording

Topics: recursion trees
scribbles

Reading: 13.6-13.7

Problems: problem 13.1ab in the discussion manual

Topics: tree and grammar induction
scribbles
recording

Reading: 13.8-13.11

Problems: problems 13.3b and 13.2a in the discussion manual

Topics: big-O
scribbles
recording

Reading: chapter 14

Problems: these problems; 14.2bd in the discussion manual

Week 6

(July 15-19)

Topics: algorithms
scribbles

Reading: chapter 15

Problems: problems 15.3abc, 15.4abcd, and 15.5abcd in the discussion manual

Examlet E review session
review problems

review recording

Topics: collections of sets
scribbles

Reading: 18.1-18.3

Problems: problems 17.1abcde and 17.3abc in the discussion manual; problem partitions (a) from these problems

Topics: counting
scribbles
recording

Reading: 8.3-8.5, 18.4-18.8

Problems: problems 7.5c, 17.5ae, and 17.6ab in the discussion manual

Topics: state diagrams 1
scribbles

Reading: chapter 19

Problems: problem 18.1 in the discussion manual

Week 7

(July 22-26)

Topics: state diagrams 2
scribbles

Reading: none

Problems: problem 18.2 in the discussion manual; this problem

Examlet F review session
review problems

review recording

Topics: countability 1
scribbles

Reading: 20.1-20.5

Problems: problem 19.2 in the discussion manual

Topics: countability 2
scribbles
recording

Reading: 20.6-20.9

Problems: problem 19.1 in the discussion manual; this problem

NO CLASS: Office Hours

Week 8

(July 29-Aug 2)

Optional retake in class
11:00-12:50
Final review session
review problems

review recording
Final review session
review problems

review recording
NO CLASS: Final Examlet NO CLASS: Final Examlet

 

Additional resources by week

Lecture videos and notes

Since we may not have adequate time in class to review all required material in detail, please refer to Professor Fleck's lecture videos and associated notes below. 

Additional study problems

We encourage you to do the study problems listed below for additional practice. These will not be graded. 

Week Topics Lecture videos Lecture notes Study problems

Week 1 

(June 10-14)

 

math review, logic
proofs
contradiction
number theory
modular arithmetic

Logic 1Logic 2Logic 3
Proofs 1Proofs 2
contradiction 1contradiction 2
Numbers 1Numbers 2
Numbers 3

Logic 1Logic 2Logic 3
Proofs 1Proofs 2
contradiction 1contradiction 2
Numbers 1Numbers 2
Numbers 3

math prerequisiteslogic
proofs
contradiction
number theory
modular arithmetic

Week 2

(June 17-21)

set theory
relations
functions 1

Sets 1Sets 2
Relations 1Relations 2
Functions 1Functions 2

Sets 1Sets 2
Relations 1Relations 2
Functions 1Functions 2

set theory
relations
functions

Week 3

(June 24-28)

functions 2
graphs
2-way bounding
induction 1

Functions 3
Graphs 1Graphs 2
Bounding
Induction 1Induction 2

Functions 3
Graphs 1Graphs 2
Bounding
Induction 1Induction 2

functions
graphs
two-way bounding
easier induction

Week 4

(July 1-5)

induction 2
recursion
recursive induction

Induction 3Induction 4
Rec. Defn 1Rec. Defn 2Rec. Defn 3

Induction 3Induction 4
Rec. Defn 1Rec. Defn 2Rec. Defn 3

inequality induction
inequality induction (solution)
unrolling 
induction

Week 5

(July 8-12)

trees, grammars
recursion trees
tree and grammar induction
big-O

Trees 1Trees 2Trees 3
Algorithms 1Algorithms 2

Trees 1Trees 2Trees 3
Algorithms 1Algorithms 2

recursion trees
tree induction
algorithms
 

Week 6

(July 15-19)

algorithms
collections of sets
counting 
state diagrams 1

Algorithms 3Algorithms 4
COS 1COS 3
COS 2Functions 4
state diagrams 1state diagrams 2

Algorithms 3Algorithms 4
COS 1COS 3
 COS 2Functions 4
state diagrams 1state diagrams 2

algorithms
collections of sets
functions
state diagrams

Week 7

(July 22-26)

state diagrams 2
countability 1
countability 2

State Diagrams 3
Countability 1Countability 2
Countability 3Countability 4

state diagrams 3
countability 1countability 2
countability 3countability 4

state diagrams
countability