| A | B | C | D | E | F | G | H | I | J | K | L | M | N | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | |||||||||||||||
2 | Lectures | Deadlines | |||||||||||||
3 | |||||||||||||||
4 | Monday | Wednesday | Friday | * All deadlines are tentative. | |||||||||||
5 | |||||||||||||||
6 | Week 1 Sept. 23 - 27 | Sept 23 | Introduction, Set Theory Keith | 25 | Mathematical Proofs Keith | 27 | Indirect Proofs Sean | Problem Set #0 Due Friday, Sept. 27 1:00 PM | |||||||
7 | |||||||||||||||
8 | |||||||||||||||
9 | Week 2 Sept. 30 - Oct. 4 | 30 | Propositional Logic Sean | Oct 2 | First-Order Logic (1 of 2) Sean | 4 | First-Order Logic (2 of 2) Keith | Problem Set #1 Due Friday, Oct. 4 1:00 PM | |||||||
10 | |||||||||||||||
11 | |||||||||||||||
12 | Week 3 Oct. 7 - 11 | 7 | Functions (1 of 2) Sean | 9 | Functions (2 of 2) Keith | 11 | Set Theory Revisited Keith | Problem Set #2 Due Friday, Oct. 11 1:00 PM | |||||||
13 | |||||||||||||||
14 | |||||||||||||||
15 | Week 4 Oct. 14 - 18 | 14 | Graphs (1 of 3) Sean | 16 | Graphs (2 of 3) (New) Keith | 18 | Graphs (3 of 3) Sean | Problem Set #3 Due Friday, Oct. 18 1:00 PM | |||||||
16 | |||||||||||||||
17 | |||||||||||||||
18 | Week 5 Oct. 21 - 25 | 21 | No Class Exam 1, 7:00 - 10:00 PM | 23 | Mathematical Induction (1 of 2) Sean | 25 | Mathematical Induction (2 of 2) Sean | Problem Set #4 Due Friday, Oct. 25 1:00 PM | |||||||
19 | |||||||||||||||
20 | |||||||||||||||
21 | Week 6 Oct. 28 - Nov. 1 | 28 | Finite Automata (1 of 3) Sean | 30 | Finite Automata (2 of 3) Keith | Nov 1 | Finite Automata (3 of 3) Keith | Problem Set #5 Due Friday, Nov. 1 1:00 PM | |||||||
22 | |||||||||||||||
23 | |||||||||||||||
24 | Week 7 Nov. 4 - 8 | 4 | Regular Expressions Sean | 6 | Nonregular Languages Sean | 8 | Context-Free Languages Keith | Problem Set #6 Due Friday, Nov. 8 1:00 PM | |||||||
25 | |||||||||||||||
26 | |||||||||||||||
27 | Week 8 Nov. 11 - 15 | 11 | No Class Exam 2, 7:00 - 10:00 PM | 13 | Turing Machines (1 of 3) Sean | 15 | Turing Machines (2 of 3) Keith ★ Withdrawal Deadline 5 PM ★ ★ Grade Basis Deadline 5 PM ★ | Problem Set #7 Due Friday, Nov. 15 1:00 PM | |||||||
28 | |||||||||||||||
29 | |||||||||||||||
30 | Week 9 Nov. 18 - 22 | 18 | Turing Machines (3 of 3) Keith | 20 | Unsolvable Problems (1 of 2) Sean | 22 | Unsolvable Problems (2 of 2) Keith | Problem Set #8 Due Sunday, Nov. 24 at 1:00 PM ★ Unusual Due Date ★ | |||||||
31 | |||||||||||||||
32 | |||||||||||||||
33 | Fall Break Nov. 25 - 29 | T H A N K S G I V I N G R E C E S S | |||||||||||||
34 | |||||||||||||||
35 | |||||||||||||||
36 | Week 10 Dec. 2 - 6 | Dec 2 | Complexity Theory (1 of 2) Sean | 4 | Complexity Theory (2 of 2) Keith | 6 | Where to Go from Here Keith | Problem Set #9 Due Friday, Dec. 6 1:00 PM | |||||||
37 | |||||||||||||||
38 | |||||||||||||||
39 | Week 11 Dec. 9 - 13 | 9 | Classes have ended. | 11 | No Class Final Exam, 3:30 - 6:30 PM | 13 | Classes have ended. | ||||||||
40 | |||||||||||||||
41 | |||||||||||||||
42 | * Note: Final exam period is Dec. 9 - 13 (Mon - Fri). Final exam dates and times are set by the registrar and will not change. | ||||||||||||||
43 | * Note: Grades due to Registrar by 11:59 PM on Tuesday, Dec. 17. See Stanford's academic calendar for more. | ||||||||||||||