Schedule
-
EventDateDescriptionMaterial
-
Lecture08/30/2021
MondayAn introduction to 301[slides]Suggested Readings: Chapter 0 of the textbook
-
Homework08/31/2021
TuesdayHomework 1 released! -
Lecture09/01/2021
WednesdayPropositional logic[slides]Suggested Readings: Section 1.1. of the textbook
Extra exercises: PDF
-
Lecture09/08/2021
Wednesday -
Due09/13/2021
MondayHomework 1 due -
Lecture09/13/2021
MondayPropositions with LeanOpen the attached lean code file with your favourite text editor. I recommend Sublime text or VSCode.
Extras
-
Some popular science articles about computer formalization of mathematics you might enjoy: ‘
How clos are computers to automating mathematical reasoning – Quanta Magazine
Mathematicians welcome computer-assisted proof in ‘grand unification’ theory – Nature
Proof Assistant Makes Jump to Big-League Math – Quanta Magazine
-
If you are interested in learning more about Lean, your are welcome to join the Lean Prover community online on Zulip chat.
-
Write your proofs of week 2 extra exercises in Lean.
-
-
Homework09/14/2021
TuesdayHomework 2 released! -
Lecture09/15/2021
WednesdayFirst Order Logic -- Variables, Predicates, and Quantifiers[slides]Suggested Readings: Sections 1.2 and 1.3 of the textbook
-
Lecture09/20/2021
MondayFirst Order Logic -- Natural Deduction[slides]Suggested Readings: Sections 1.2 and 1.3 of the textbook
-
Due09/22/2021
WednesdayHomework 2 due -
Lecture09/22/2021
WednesdayProof Strategies[slides] -
Homework09/26/2021
SundayHomework 3 released! -
Lecture09/27/2021
MondaySuggested Readings: Chapter 2 of the textbook
-
Lecture09/29/2021
WednesdaySuggested Readings: Chapter 2 of the textbook
-
Lecture10/04/2021
Monday- Suggested Readings:
- Chapter 2 of the textbook
-
Due10/06/2021
WednesdayHomework 3 due -
Lecture10/06/2021
Wednesday- Suggested Readings:
- Chapter 2 of the textbook
-
Homework10/10/2021
SundayHomework 4 released! -
Lecture10/11/2021
MondayRelations[slides]Suggested Readings: Chapters 3 and 5 of the textbook
-
Lecture10/13/2021
WednesdaySuggested Readings: Chapters 3 and 5 of the textbook
-
Due10/18/2021
MondayHomework 4 due -
Lecture10/18/2021
MondaySuggested Readings: Chapters 3 and 5 of the textbook
Extras
- Barry Mazur, When is one thing equal to some other thing?
-
Homework10/19/2021
TuesdayHomework 5 released! -
Lecture10/20/2021
WednesdaySuggested Readings: Chapters 3 and 5 of the textbook
Extras
More to come …
-
Exam10/22/2021
FridayMidtermThere will be a midterm exam worth ten percent of your final grade. The exam is based on the material of the phase I.
Location: Maryland 104 Time: 1:30-2:20, Friday, Oct 22, 2021
-
Lecture10/25/2021
MondayInduction on natural numbers[notes]Suggested Readings: Chapter 4 of the textbook
-
Lecture10/27/2021
WednesdaySuggested Readings: Chapter 4 of the textbook
Cool stuff to do with recursion: Recursion ‘Super Power’ (in Python) - Computerphile
-
Due11/01/2021
MondayHomework 5 due -
Lecture11/01/2021
MondaySuggested Readings: Section B.2 of the textbook
-
Homework11/01/2021
MondayHomework 6 released! -
Lecture11/03/2021
WednesdaySuggested Readings:
-
Lecture11/08/2021
MondaySuggested Readings:
-
Lecture11/10/2021
WednesdaySuggested Readings:
-
Due11/15/2021
MondayHomework 6 due -
Presentations11/15/2021
MondayStudents Presentations (Flipped Classroom)- What is a metric space?
- A joint presentation by Nickholas on
11/15/2021 - Based on script 1
- A joint presentation by Nickholas on
- Sequences I
- A joint presentation by Kay and Rodrigo on
11/17/2021 - Based on script 2
- A joint presentation by Kay and Rodrigo on
- Sequences II
- A presentation by Won Seok on
11/29/2021 - Based on script 3
- A presentation by Won Seok on
- Sequences III
- A joint presentation by Kay and Rodrigo on
12/01/2021 - Based on script 4
- A joint presentation by Kay and Rodrigo on
- Topology I
- A presentation by Nickholas on
12/06/2021 - Based on script 5
- A presentation by Nickholas on
- Topology II
- A presentation by Won Seok on
12/06/2021 - Based on script 6
- A presentation by Won Seok on
- What is a metric space?
-
Lecture11/22/2021
Monday -
Lecture11/24/2021
Wednesday