Course
Syllabus Honor Code How to Succeed in CS103 Office Hours
Resources
Mathematical Prerequisites Guide to Proofs Guide to $\LaTeX$ Proofwriting Checklist Guide to Negation Guide to Logic Translations Logic Translation Checklist Guide to Proofs on Discrete Structures Guide to Proofs on Sets Discrete Structures Proofwriting Checklist Guide to Induction Induction Proofwriting Checklist Guide to the Subset Construction Guide to Regular Expressions Guide to State Elimination
Lectures
0. 3/30 Introduction, Set Theory 1. 4/1 Mathematical Proofs 2. 4/3 Indirect Proofs 3. 4/6 Propositional Logic 4. 4/8 First-Order Logic, Part I 5. 4/10 First-Order Logic, Part II 6. 4/13 Functions, Part I 7. 4/15 Functions, Part II 8. 4/17 Set Theory Revisited 9. 4/20 Graphs, Part I 10. 4/22 Graphs, Part II 11. 4/24 Graphs, Part III 12. 4/27 Mathematical Induction, Part I 13. 4/29 Mathematical Induction, Part II 14. 5/1 Finite Automata, Part I 15. 5/4 Finite Automata, Part II 16. 5/6 Finite Automata, Part III 17. 5/8 Regular Expressions 18. 5/11 Nonregular Languages
Problem Sets
Guide to Partners
0. Problem Set 0 1. Problem Set 1 2. Problem Set 2 3. Problem Set 3 4. Problem Set 4 5. Problem Set 5 6. Problem Set 6
Exams
Exam Logistics Midterm Extra Practice Problems

Guide to Elements and Subsets

(If not redirected, click here)

All course materials © Stanford University 2025.
Website programming by Julie Zelenski with minor edits by Keith Schwarz and Sean Szumlanski. This page last updated 2024-Sep-13.