Introduction to Proofs

Fall 2019

MW 1:30-2:45pm
Krieger 302


SYLLABUS

The syllabus can be found here.

REFERENCES

The main text with be Clive Newstead's An Infinite Descent into Pure Mathematics, version 0.3, which is available for free in a variety of formats (PDF, tablet, smartphone). Note this text is currently under construction so the ground may shift under our feet.

An optional supplemental reference is How To Prove It: A Structured Approach by Daniel J Velleman.

You might also enjoy How to write proofs: a quick guide by Eugenia Cheng.

PROBLEM SETS

Problem sets are due in class on Wednesdays. The first problem set will be due on Wednesday, September 11.

COMPUTER ASSISTED PROOFS

Here are some resources, originally developed by tslil clingman:

METRIC SPACES

DISCUSSION

Here are some questions for discussion (feel free to add others):

QUESTIONS?

If you have any questions about the course, please get in touch. My contact info can be found on my personal website.