Announcements:  Final is Saturday, 5/22, 10:30-12:30, Olin 321.  Open book and notes.

How to print and view postscript files (per David Wolfe)

Course Information:  html postscript

Problem Sets:

• Problem Set 1 (due 2/17/99, 5:00) Solutions
• Problem Set 2 (due 2/26/99, 4:00 ) Solutions
• Problem Set 3 (due 3/10/99) Solutions
• Problem Set 4 (due 3/26/99) Solutions
• Problem Set 5 (due 4/20/99) Solutions

Syllabus
This schedule is subject to change.   Follow links to  individual weeks for details and assignments.

Week 1:  Intro, Fundamentals of Counting, Permutations
Week 2:  Combinations, Logic
Week 3:  Logic, Methods of Proof
Week 4:  Methods of Proof, Sets
Week 5:  Counting with Sets, Inclusion/Exclusion, Induction (Exam 1, 3/12)
Week 6:  Induction. Properties of Integers, Euclidean Algorithm (Visible Euclidean Algorithm)
Week 7:  Primes, Modular Arithmetic, Cryptography (Large Primes )(GIMPS )(RSA FAQ ) (Jabberwocky)
Week 8:  Relations, Functions
Week 9:  Pigeonhole Principle, Relations
Week 10:  Partial Orders,  (Exam 2, 4/23)
Week 11:  Equivalence Relations, Graph Theory
Week 12:  Graph Theory (topic, references due 5/3)
Week 13:  Trees (Draft 1 due 5/10, bring 2 copies)
Week 14:  Trees

Paper:

• Assignment
• Peer Review
• mathematical writing
• Writing Resources on the WWW (MIT)
• The Craft of Scientific Writing: A WWW Companion Guide.  This Web page by Michael Alley is meant as a companion to his book. Among other things, it has lots of exercises that help re-inforce the rules of grammar and punctuation expounded in his book.
• Writing a Math Phase Two Paper (MIT)  This paper is a primer on mathematical writing, especially the writing of a short math paper. This paper is intended to be a model of the format, language, and style of such a paper. First, it reviews the general purpose of the MIT writing requirement and the specific way it must be completed for the math department. Then it explains how to write a short math paper: the organization into sections, the use of language, and the presentation of mathematics. Finally, it gives an example of mathematical writing.  (Postscript version of this article by Steven L. Kleiman)
• Checklist for "Writing a Math Phase Two Paper"   This Checklist is an index to the primer above. Use this Checklist to find material in the primer and as a checklist of points to consider.  The section on handling mathematical symbols is particularly helpful.
• Goss' Hints on good mathematical writing (David Goss) (postscript file)

evaluation of internet based information(MSU)

Can computers prove theorems?

Computer Math Proof Shows Reasoning Power (NYT 12/1/96)

Corrections and Comments on above article
Summary of results obtained with Argonne's Automated Deduction Software

What is the best way to stack oranges? (NYT 8/25/98)

Four Color Theorem

Galois Theory and the Internet (NYT 2/8/99) (not really about computers proving theorems, but an interesting discussion of an application of a rather abstract mathematical idea from algebra, my personal favorite branch of math)