Lecture 1: Predicates, Sets, and Proofs
This lecture explores what a proof is. It defines proofs, propositions, logical deductions, and axioms and delves into predicate logic. It explores how to use and combine prepositions and how to use implications.
Course Info
Instructors
As Taught In
Spring
2024
Level
Learning Resource Types
notes
Lecture Notes
theaters
Lecture Videos
assignment
Problem Sets
auto_stories
Readings
