James T. Smith

Math 800, Spring 2008

Some of these materials have been prepared by Adobe Acrobat in Portable Document File (PDF) format. If you don't have a recent copy of the Adobe Acrobat Reader, click here to download it.  (It's free.)  Acrobat(R) Reader copyright (C) 1987-2007 Adobe Systems Incorporated. All rights reserved. Adobe and Acrobat are trademarks of Adobe Systems Incorporated.

 

Syllabus

Meetings and Outlines

Paper Topics

Bibliography

Course outcome

 

Readings

Typefaces I Use in Mathematics Collective Nouns Exercise Basic Set Theory;  Trivial Exercises Solutions Need for a Rigorous Set Theory Equivalences and Partitions

Partially Ordered Sets;  Substantial Problem 1 Solution Complete Lattices Cardinals I Axiom of Choice Maximal Principles

Cardinals II Boolean Logic Binary Arithmetic Binary Addition Circuit Virtual Classes Natural Numbers

Zermelo-Fraenkel Set Theory Gödel's & Tarski's Theorems

 

Back to James T. Smith home page, Department home page, University home page

07/03/08