Schedule (tentative)

Part I - Standard Lecture Style

Week

Dates

Sections

Homework

Due date

1

 01/27
01/29		 0: Basic algebra refresher (Please read on your own)
1.1: Propositional logic
Appendix A: Proof-writing introduction 		Homework 1( LaTex file) 02/05

2

 02/03
02/05		 1.2: Variables and quantifiers
1.3: Logical equivalence 		Homework 2( LaTex file) 02/12

3

 02/10
02/12		 Appendix A: More on Proof-writing
2.1: Sets 		Homework 3( LaTex file) 02/19

4

 02/17
02/19		 2.2: Set operations
3.1: Functions 		Homework 4( LaTex file) 04/01

5

 02/24
02/26		 3.2: Injections and surjections
4.1: Peano's axioms 		Homework 5( LaTex file) Solutions 03/04

6

 03/02
03/04		 4.2: Weak induction
4.3: Strong induction 		Homework 6( LaTex file) 03/25

7

 03/09
03/11		 5.1: Relations

8
SPRING BREAK
03/16,03/18

9

 03/23
03/25		 5.2: Equivalence relations
7.1: Finite sets 		Homework 7 (LaTex file) 04/01

10

 03/30
04/01		 7.2: Counting principles
9.1: Countable and uncountable sets
9.2: Cardinality 		Homework 8 (LaTex file) 04/08

11

 04/06
04/08		 Constructive mathematics and computer proof assistants: Using Coq
Script 1: Metric Spaces
Script 1 04/13

12

 04/13
04/15		 Script 2: Sequences I
Script 3: Sequences II 		Scripts 2&3 04/17

13

 04/20
04/22		 Script 4: Sequences III
Script 5: Topology I 		Scripts 4&5 04/24

14

 04/27
04/29		 Script 6: Topology II
Script 7: Topology III 		Script 6&7 05/01

Final exam: May 8, 2-5pm