🏠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
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
Problem Sets
Guide to Partners
0. Problem Set 0 1. Problem Set 1 2. Problem Set 2 3. Problem Set 3
Exams
Preparing for the Exams Practice Midterm 1 Practice Midterm 2 Midterm Extra Practice Problems
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 2022.
Website programming by Julie Zelenski with minor edits by Keith Schwarz. This page last updated 2023-Jul-07.