CS103

The schedule is subject to change by the course staff at any time.

Week	Monday	Wednesday	Friday
1	June 24th 00: Introduction, Set Theory Read: Syllabus, Notes Ch. 1 Slides Course Syllabus Mathematical Prerequisites Guide to Sets, Elements, and Subsets PSet 0 out	June 26th 01: Direct Proofs Read: Notes Ch. 2 Slides How to Succeed	June 28th 02: Indirect Proofs Read: Notes Ch. 2 Slides Guide to Set Theory Proofs Guide to Indirect Proofs Proofwriting Checklist Guide to Negating Formulas PSet 0 due PSet 1 out
2	July 1st 03: Propositional Logic Slides Truth Table Tool PSet 1 checkpoint due	July 3rd 04: First-Order Logic I Slides	July 5th 05: First-Order Logic II Read: Handouts Slides Guide to Negating Formulas Guide to Logic Translations First-Order Translation Checklist PSet 1 due PSet 2 out
3	July 8th 06: Binary Relations I Read: Notes Ch. 5 Slides	July 10th 07: Binary Relations II Read: Handouts, Notes Ch. 6 Slides Guide to Proofs on Discrete Structures Discrete Structures Proofwriting Checklist	July 12th 08: Functions Read: Notes Ch. 6 Slides Logictionary 1 Logictionary 2 Logictionary Solutions Regrade Policies PSet 2 due PSet 3 out
4	July 15th 09: Graph Theory Read: Notes Ch. 4 Slides PSet 3 checkpoint due	July 17th 10: Induction I Read: Notes Ch. 3 Slides	July 19th 11: Induction II Read: Notes Ch. 3, Handouts Slides Guide to Induction Induction Proofwriting Checklist PSet 3 due PSet 4 out
5	July 22nd 12: Finite Automata I Read: Sipser 1.1 Slides	July 24th 13: Finite Automata II Read: Sipser 1.2 Slides	July 26th 14: Regular Expressions Read: Sipser 1.3 Slides PSet 4 due PSet 5 out
6	July 29th 15: Non-Regular Languages Read: Sipser 2.1 Slides	July 31st 16: CFGs Read: Sipser 2.1 Slides	August 2nd 17: Turing Machines I Read: Sipser 3.1 Slides Slides (Appendix) PSet 5 due PSet 6 out
7	August 5th 18: Turing Machines II Read: Sipser 3.1 Slides Quine Code	August 7th 19: Unsolvable Problems Read: Sipser 4.1-4.2, 6.1 Slides Preparing for the Exam Guide to the Lava Diagram Guide to Self-Reference (supplementary resource)	August 9th 20: Complexity Theory I Read: Sipser 7.2, 7.3 Slides PSet 6 due PSet 7 out
8	August 12th Final Exam Review Session Slides	August 14th 21: Complexity Theory II Read: Sipser 7.4 Slides PSet 7 due (No late submissions)	August 16th FINAL EXAM! 7:00-10:00PM Read: Study for the final

Course Overview and Schedule