• Event
Date
Description
Material
• Lecture
08/30/2021
Monday
An introduction to 301

Suggested Readings: Chapter 0 of the textbook

• Homework
08/31/2021
Tuesday
Homework 1 released!
• Lecture
09/01/2021
Wednesday
Propositional logic

Suggested Readings: Section 1.1. of the textbook

Extra exercises: PDF

• Lecture
09/08/2021
Wednesday
Natural Deduction, Excluded Middle, and Truth Tables

Suggested Readings: Section 1.1. of the textbook

Appendix D of the textbook

Extra exercises: PDF

• Due
09/13/2021
Monday
Homework 1 due
• Lecture
09/13/2021
Monday
Propositions with Lean

Open the attached lean code file with your favourite text editor. I recommend Sublime text or VSCode.

Extras

• Homework
09/14/2021
Tuesday
Homework 2 released!
• Lecture
09/15/2021
Wednesday
First Order Logic -- Variables, Predicates, and Quantifiers

Suggested Readings: Sections 1.2 and 1.3 of the textbook

• Lecture
09/20/2021
Monday
First Order Logic -- Natural Deduction

Suggested Readings: Sections 1.2 and 1.3 of the textbook

• Due
09/22/2021
Wednesday
Homework 2 due
• Lecture
09/22/2021
Wednesday
Proof Strategies
• Homework
09/26/2021
Sunday
Homework 3 released!
• Lecture
09/27/2021
Monday
Sets (part I)

Suggested Readings: Chapter 2 of the textbook

• Lecture
09/29/2021
Wednesday
Sets (part II)

Suggested Readings: Chapter 2 of the textbook

• Lecture
10/04/2021
Monday
Sets (part III)
• Chapter 2 of the textbook
• Due
10/06/2021
Wednesday
Homework 3 due
• Lecture
10/06/2021
Wednesday
Sets (part IV)
• Chapter 2 of the textbook
• Homework
10/10/2021
Sunday
Homework 4 released!
• Lecture
10/11/2021
Monday
Relations

Suggested Readings: Chapters 3 and 5 of the textbook

• Lecture
10/13/2021
Wednesday
Functions

Suggested Readings: Chapters 3 and 5 of the textbook

• Due
10/18/2021
Monday
Homework 4 due
• Lecture
10/18/2021
Monday
Isomorphisms

Suggested Readings: Chapters 3 and 5 of the textbook

Extras

• Homework
10/19/2021
Tuesday
Homework 5 released!
• Lecture
10/20/2021
Wednesday
Images and pre-images

Suggested Readings: Chapters 3 and 5 of the textbook

Extras

More to come …

• Exam
10/22/2021
Friday
Midterm

There 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

• Lecture
10/25/2021
Monday
Induction on natural numbers

Suggested Readings: Chapter 4 of the textbook

• Lecture
10/27/2021
Wednesday
Recursion

Suggested Readings: Chapter 4 of the textbook

Cool stuff to do with recursion: Recursion ‘Super Power’ (in Python) - Computerphile

• Due
11/01/2021
Monday
Homework 5 due
• Lecture
11/01/2021
Monday
Integers

Suggested Readings: Section B.2 of the textbook

• Homework
11/01/2021
Monday
Homework 6 released!
• Lecture
11/03/2021
Wednesday
Rational numebrs

• Lecture
11/08/2021
Monday
Real numbers

• Lecture
11/10/2021
Wednesday
Real numbers

• Due
11/15/2021
Monday
Homework 6 due
• Presentations
11/15/2021
Monday
Students Presentations (Flipped Classroom)
1. What is a metric space?
• A joint presentation by Nickholas on `11/15/2021`
• Based on script 1
2. Sequences I
• A joint presentation by Kay and Rodrigo on `11/17/2021`
• Based on script 2
3. Sequences II
• A presentation by Won Seok on `11/29/2021`
• Based on script 3
4. Sequences III
• A joint presentation by Kay and Rodrigo on `12/01/2021`
• Based on script 4
5. Topology I
• A presentation by Nickholas on `12/06/2021`
• Based on script 5
6. Topology II
• A presentation by Won Seok on `12/06/2021`
• Based on script 6
• Lecture
11/22/2021
Monday
No lecture - Thanksgiving break
• Lecture
11/24/2021
Wednesday
No lecture - Thanksgiving break