Link Search Menu Expand Document

Introduction to Proofs, Spring 2022

Johns Hopkins University

Sina Hazratpour

sina@jhu.edu

Week 13 Announcements

Apr 19 ·
  1. This week’s homework is published. The due date is Monday, Apr 25.
  2. You should work through the Lean labs 🧪 and 🧪 to solve the homework problems.

All Announcements

Read more…

Propositional Logic

Jan 24
Propositions, Part I
Introduction to MATH301
Jan 28
Section
Lean Installation Party
Jan 26
Propositions, Part II
Section 1.1. and Appendix D
We shall introduce propositional logic and we shall analyze the forms of proofs. We shall focus on propositional formulae formed by logical connectives and introduce new tools such as parsing trees to aid us with complicated propositional formulae.
Jan 31
HW 1 due
HW1

Natural Deduction in Lean

Classical Reasoning

Predicate Logic

Feb 14
Predicates, Part I
Feb 18
Section
Feb 16
Predicates, Part II
Feb 23
HW 3 due
HW3

Predicates On Natural Numbers

Sets

More on Sets

Sets in Lean

Mar 14
Basic Operations on Sets
Mar 18
Section
Mar 16
Tactics
Mar 28
HW 6 due
HW6

Functions

Functions in Lean

Midterm Exam Week

Relations

Apr 18
Equivalence Relation
Apr 22
Section
Apr 20
Quotient by Equivalence Relation
Apr 25
HW 8 due
HW8