🏠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
Lectures
0. 9/23 Introduction, Set Theory 1. 9/25 Mathematical Proofs 2. 9/27 Indirect Proofs 3. 9/30 Propositional Logic 4. 10/2 First-Order Logic, Part I 5. 10/4 First-Order Logic, Part II 6. 10/7 Functions, Part I 7. 10/9 Functions, Part II 8. 10/11 Set Theory Revisited 9. 10/14 Graphs, Part I 10. 10/16 Graphs, Part II 11. 10/18 Graphs, Part III 12. 10/23 Mathematical Induction, Part I 13. 10/25 Mathematical Induction, Part II 14. 10/28 Finite Automata, Part I 15. 10/30 Finite Automata, Part II 16. 11/1 Finite Automata, Part III 17. 11/4 Regular Expressions 18. 11/6 Nonregular Languages 19. 11/8 Context-Free Languages
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
Exams
Exam Logistics
Extra Practice Problems 1 Midterm 1 Solutions Extra Practice Problems 2
Schedule

Guide to Negation

This animated guide explains how to negate formulas in propositional and first-order logic.

Link

Guide to Negation

All course materials © Stanford University 2024.
Website programming by Julie Zelenski with minor edits by Keith Schwarz. This page last updated 2024-Oct-04.