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 computerassisted proof in ‘grand unification’ theory – Nature
Proof Assistant Makes Jump to BigLeague 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:302: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