🏠CS103

Course
Syllabus Honor Code Office Hours Mathematical Prerequisites
Readings
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 Discrete Structures Proofwriting Checklist Guide to Induction Induction Proofwriting Checklist Guide to CFGs Guide to Self-Reference Guide to the Lava Diagram
Lectures
0. 6/24 Introduction, Set Theory 1. 6/26 Mathematical Proofs 2. 6/28 Indirect Proofs 3. 7/1 Propositional Logic 4. 7/3 First-Order Logic, Part I 5. 7/5 First-Order Logic, Part II 6. 7/8 Functions, Part I 7. 7/10 Functions, Part II 8. 7/12 Graphs, Part I 9. 7/15 Graphs, Part II 10. 7/17 Mathematical Induction, Part I 11. 7/19 Mathematical Induction, Part II 12. 7/22 Finite Automata, Part I 13. 7/24 Finite Automata, Part II 14. 7/29 Regular Expressions 15. 7/31 Nonregular Languages 16. 8/2 Context-Free Languages 17. 8/5 Turing Machines, Part I 18. 8/7 Turing Machines, Part II 19. 8/9 Unsolvable Problems 20. 8/12 Unsolvable Problems II 21. 8/14 Final Review
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 7. Problem Set 7
Exams
Preparing for the Exams Practice Midterm 1 Practice Midterm 2 Midterm Extra Practice Problems Midterm Solutions Practice Final 1 Practice Final 2 Cumulative Practice Problems Final Exam 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 2022.
Website programming by Julie Zelenski with minor edits by Keith Schwarz. This page last updated 2023-Aug-11.