Instructor: Justin Miller

Course on canvas.dartmouth.edu.

Syllabus

Date: Lecture Topic: Lecture Notes Assignments Due:
3/25 Introduction Download Introduction
3/27 Axioms and Formalism Download Axioms and Formalism
3/29 First Axioms Download First Axioms Homework 0 Download Homework 0
4/01 Algebra of Sets Download Algebra of Sets
4/03 Ordered Pairs and Relations Download Ordered Pairs and Relations
4/05 Functions Download Functions

Homework 1 Download Homework 1

Solutions Download Solutions

4/08 No Class (Eclipse)
4/09 Equivalence Relations Download Equivalence Relations
4/10 Ordering Relations Download Ordering Relations
4/12 Numbers Download Numbers

Homework 2 Download Homework 2

Solutions Download Solutions

4/15 Recursion Download Recursion
4/16 Arithmetic Download Arithmetic
4/17 Ordering the Natural Numbers Download Ordering the Natural Numbers

 

4/19 No Class

Homework 3  Download Homework 3 

Solutions Download Solutions

4/22 No Class

 

4/23 Integers and Rationals Download Integers and Rationals
4/24+4/26 Real Numbers Download Real Numbers

Homework 4 Download Homework 4

Solutions Download Solutions

4/29

Sizes of Sets Download Sizes of Sets

 

4/30

Midterm Quiz

Midterm Quiz

Solutions Download Solutions

5/01 Cardinal Arithmetic Download Cardinal Arithmetic
5/03 Ordering Cardinal Numbers Download Ordering Cardinal Numbers

 

 

5/06 Axiom of Choice Download Axiom of Choice Take-Home Midterm Download Take-Home Midterm
5/08 Infinite Cardinals Download Infinite Cardinals
5/10 More Infinite Cardinals

Project Proposal Download Project Proposal

5/12 Homework 5  Download Homework 5 
5/13 Well Orderings Download Well Orderings Replacement Axioms Download Replacement Axioms
5/15 Epsilon Images and Isomorphisms Download Epsilon Images and Isomorphisms
5/17 Ordinal Numbers Download Ordinal Numbers Homework 6 Download Homework 6
5/20 Cardinal Numbers
5/22 Rank
5/24 Presentations   Homework 7 Download Homework 7
5/27 Memorial Day! (NO CLASS)
5/29 Presentations
TBD Final Quiz   Final Quiz
6/04 Final Project