Link
Search
Menu
Expand
Document
Introduction to Proofs
Overview and values
Course Information
Syllabus
Requirements
Grading Policy
Ethics
How to succeed
Resources
Announcements
Calendar
Lessons
Lean Cheat Sheets
Propositional Logic
Propositions and Connectives
Deconstrucing Propositional Formulae
Homework (I)
Lean Lab 🧪
Summary Slides
Classical Reasoning
Excluded Middle
Other Classical Principles of Reasoning
Homework (II)
Lean Lab 🧪
Predicate Logic
From Propositions To Predicates
Quantifiers
Homework (III)
Lean Lab 🧪
Summary Slides
Natural Numbers
Natural Numbers and The Principle of Induction
Homework (IV)
Lean Lab 🧪
Summary Slides
Sets
Lesson (I)
Lesson (II)
Homework (V)
Lean Lab 🧪
Homework (VI)
Summary Slides
Functions
Lesson (I)
Lesson (II)
Homework (VII)
Lean Lab 🧪
Bijections
Lesson (I)
Lesson (II)
Lean Lab 🧪
Relations
Homework (VIII)
Lean Lab 🧪
Partitions
Homework (IX)
News
Gradescope
Feedback
Functions
Lean Lab 🧪
Lean Lab 🧪