CS103

Course
Syllabus Honor Code How to Succeed in CS103 Office Hours 🌱 How to Improve
Resources
Mathematical Prerequisites Guide to Elements and Subsets 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 Guide to the Myhill-Nerode Theorem Guide to CFGs 🌱 Guide to Self-Reference 🌱 Guide to the Lava Diagram
Lectures
0. 1/6 Introduction, Set Theory 1. 1/8 Mathematical Proofs 2. 1/10 Indirect Proofs 3. 1/13 Propositional Logic 4. 1/15 First-Order Logic, Part I 5. 1/17 First-Order Logic, Part II 6. 1/22 Functions, Part I 7. 1/24 Functions, Part II 8. 1/27 Set Theory Revisited 9. 1/29 Graphs, Part I 10. 1/31 Graphs, Part II 11. 2/3 Graphs, Part III 12. 2/5 Mathematical Induction, Part I 13. 2/7 Mathematical Induction, Part II 14. 2/10 Finite Automata, Part I 15. 2/12 Finite Automata, Part II 16. 2/14 Finite Automata, Part III 17. 2/19 Regular Expressions 18. 2/21 Nonregular Languages 19. 2/24 Context-Free Languages 20. 2/26 Turing Machines, Part I 21. 2/28 Turing Machines, Part II 22. 3/3 Turing Machines, Part III 23. 3/5 Unsolvable Problems, Part I 24. 3/7 Unsolvable Problems, Part II
Problem Sets
Guide to Partners Request an Extension
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 7. Problem Set 7 8. Problem Set 8 9. Problem Set 9
Exams
Exam Logistics
Extra Practice Problems 1 Midterm 1 Solutions Extra Practice Problems 2 🌱 Midterm 2 Solutions
🗓Schedule

Guide to Self-Reference

This animated guide explains how to prove languages are undecidable using self-reference.

Link

Guide to Self-Reference

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-Nov-22.