CS 173 Schedule

Summer 2020

With the exception of the first meeting, "lectures" will be pre-recorded and made available before the regular scheduled lecture time. The regular lecture time will be replaced with structured office hours, tentatively:

The Thursday examlet will have two offerings on Moodle: one from 10 p.m. Wednesday through 4 a.m. Thursday, and one from 10 a.m. Thursday through 4 p.m. Thursday.

Before each "lecture", you are expected to do the posted reading assignment in Perusall.

This tentative schedule is subject to change. Any major changes will be announced via Piazza.

If the AL1 lecture links do not work (i.e., the hosting website is down), the backup is here: AL1 MediaSpace channel.

If the BL1 lecture links do not work (i.e., the hosting website is down), the backup is here: BL1 MediaSpace channel.


Date Lecture or Examlet Readings Due AL1 Lectures BL1 Lectures Homework Due
June 15 Week 1 LIVE: Syllabus/Math Review/Logic 00: [video] [slides]
01a: [video] [slides (annot.)]
01b: [video] [slides (annot.)]		 00: [video] [scribbles]
01a: [video] [scribbles]
01b: [video] [scribbles]
June 16 Logic/Proofs 02a: [video] [slides (annot.)]
02b: [video] [slides (annot.)] 		02a: [video] [scribbles]
02b: [video] [scribbles]
02c: [video] [scribbles]
June 17 Number Theory 03a: [video] [slides (annot.)]
03b: [video] [slides (annot.)]
03c: [video] [slides (annot.)]
 03a: [video] [scribbles]
03b: [video] [scribbles]
03c: [video] [scribbles]
June 18 Examlet 0: Syllabus/Prereqs RD 1A, RD 1B; Syllabus HW 1A
June 22 Week 2 Modular Arithmetic RD 2A 04: [video] [slides (annot.)] 04: [video] [scribbles]
 HW 1B
June 23 Sets 05a: [video] [slides (annot.)]
05b: [video] [slides (annot.)] 		05a: [video] [scribbles]
05b: [video] [scribbles
June 24 Relations 06a: [video] [slides (annot.)]
06b: [video] [slides (annot.)]
06c: [video] [slides (annot.)] 		06a: [video] [scribbles]
06b: [video] [scribbles]
June 25 Examlet 1: Logic/Proofs RD 2B HW 2A
Skills list; Study problems: Logic, Proofs
June 29 Week 3 Functions RD 3A 07a: [video] [slides (annot.)]
07b: [video] [slides (annot.)]
07c: [video] [slides (annot.)]
 07a: [video] [scribbles]
07b: [video] [scribbles]
07c: [video] [scribbles]
07d: [video] [scribbles]		 HW 2B
June 30 Graphs 08a: [video] [slides (annot.)]
08b: [video] [slides (annot.)]
08c: [video] [slides (annot.)]
 08a: [video] [scribbles]
08b: [video] [scribbles]
08c: [video] [scribbles]
July 1 Two-way bounding and proofs 09a: [video] [slides (annot.)]
09b: [video] [slides (annot.)]
09c: [video] [slides (annot.)]
 09a: [video] [scribbles]
09b: [video] [scribbles]
July 2 Examlet 2: Number Theory,
Modular Arithmetic, & Sets		 RD 3B HW 3A
Skills list; Study problems: Number Theory,
Modular Arithmetic, Sets
July 6 Week 4 Induction, Episode IV:
A New Proof Technique		 RD 4A; Review 1.5 10a: [video] [slides (annot.)]
10b: [video] [slides (annot.)] 		10a: [video] [scribbles]
10b: [video] [scribbles]
10c: [video] [scribbles]		 HW 3B
July 7 Induction, Episode V:
The Recursion Fairy Strikes Back		 11a: [video] [slides (annot.)]
11b: [video] [slides (annot.)]
11c: [video] [slides (annot.)]
 11a: [video] [scribbles]
11b: [video] [scribbles]
July 8 Induction, Episode VI:
Return of the I.H.		 12a: [video] [slides (annot.)]
12b: [video] [slides (annot. FIXED)]
12c: [video] [slides (annot.)]
 12a: [video] [scribbles]
12b: [video] [scribbles]
12c: [video] [scribbles]
July 9 Examlet 3: Relations and Functions RD 4B HW 4A
Skills list; Study problems: Relations,
Functions
July 13 Week 5 Trees RD 5A 13a: [video] [slides (annot.)]
13b: [video] [slides (annot.)]
 13a: [video] [scribbles]
13b: [video] [scribbles]		 HW 4B
July 14 Recursion Trees 14a: [video] [slides (annot.)]
14b: [video] [slides (annot.)]
 14a: [video] [scribbles]
14b: [video] [scribbles]
July 15 Grammar Trees 15a: [video] [slides (annot.)]
15b: [video] [slides (annot.)]
15c: [video] [slides (annot.)]
 15a: [video] [scribbles]
15b: [video] [scribbles]
15c: [video] [scribbles]
July 16 Examlet 4: Graphs, Induction,
Two-way bounding		 RD 5B HW 5A
Skills list; Study problems: Graphs,
Two-way bounding, Easy Induction
July 20 Week 6 Big-O RD 6A 16a: [video] [slides (annot.)]
16b: [video] [slides (annot.)]
16c: [video] [slides (annot.)]
 16a: [video] [scribbles]
16b: [video] [scribbles]		 HW 5B
July 21 Algorithms 17a: [video] [slides (annot.)]
17b: [video] [slides (annot.)]
17c: [video] [slides (annot.)]
 17a: [video] [scribbles]
17b: [video] [scribbles]
17c: [video] [scribbles]
July 22 NP 18a: [video] [slides (annot.)]
18b: [video] [slides (annot.)]
 18a: [video] [scribbles]
18b: [video] [scribbles]
July 23 Examlet 5: Recursive Definition
and Trees		 RD 6B HW 6A
Skills list; Study problems: Unrolling,
Induction, Trees
July 27 Week 7 Collections of Sets RD 7A 19a: [video] [slides (annot.)]
19b: [video] [slides (annot.)]
19c: [video] [slides (annot.)]
 19a: [video] [scribbles]
19b: [video] [scribbles]
19c: [video] [scribbles]		 HW 6B
July 28 Contradiction 20a: [video] [slides (annot.)]
20b: [video] [slides (annot.)]
 20a: [video] [scribbles]
20b: [video] [scribbles]
July 29 State Diagrams 21a: [video] [slides (annot.)]
21b: [video] [slides (annot.)]
21c: [video] [slides (annot.)]
 21a: [video] [scribbles]
21b: [video] [scribbles]
21c: [video] [scribbles]
July 30 Examlet 6: Algorithms, NP,
and Big-O		 RD 7B HW 7A
Skills list; Study problems: Recursion trees,
Ineq. induction, Algorithms
Aug 3 Week 8 Countability RD 8 22a: [video] [slides (annot.)]
22b: [video] [slides (annot.)]
 22a: [video] [scribbles]
22b: [video] [scribbles]		 HW 7B
Aug 4 Special Topics 23: [video] [slides (annot.)]
 23a: [video] [scribbles]
23b: [video] [scribbles]
Aug 5 LIVE: Review Session 24: [Zoom recording]
[slides (annot.)]
 24: [Zoom recording] [scribbles]
Aug 6 HW 8A Just study :)
Aug 7/8 Examlet 7: Remaining Topics Destroyed by
the Monstrous Moodle Meltdown
of August 5-6, 2020. See Piazza.
Skills list;
Study problems: Contradiction, Collections of Sets,
State Diagrams, Countability
Aug 6/7/8 Oral Review Examlet
Skills list