Sets and Logic

(Nostalgic?, see the Autumn 2011 and Autumn 2009 & Spring 2008 versions.)

Our Teaching Page has useful information for students in all of my classes. It has my schedule, LOR guidelines, and Usually Useful Pamphlets. One of them is the Checklist The checklist (pdf) which gives pointers on what I consider to be good mathematical writing. Further information is at our class-archive URL (I email this private URL directly to students).

The various Math czars who help out:

Time	Computer	Chalk	Blackboard	ES-Probs	Phone-list
Annie	Sofia	Stewart	Ian	Christopher M.	Alejandra

Folks found that Class-Y (pdf), was well-Suited to their bijective knowledge.
Inspired by Class-X (pdf), the crowd cried Give us more Zinc, Tin, Silver and Gold! —5 atoms; that's just not enough! All this followed the nifty Home-X (pdf), which was due by noon, on Tuesday, 28Feb2012, slid completely under my office door.
Example proofs for SeLo (pdf). [Thursday, 15Mar].
Some examples of computer-generated trimino tilings (txt).
The magical Home-W (pdf) challenged your team's gray-cells with modular arithmetic. The take-home was due at BoC, on Monday, 06Feb2012. It nicely foreshadowed the Class-W (pdf), eliciting shouts of enthusiam. Admirers remarked on its minimalistic two-tone format, and the similarity of the questions to the take-home and the Induction pamphlet that everyone printed-out and wrote all over.
Available are all the quizzes so far (pdf); [23Apr2012]. For future microquiz problem-types, see the webpages of the two previous incarnations of my SeLos.
Does Zero = One? (pdf). Here are some ~~proofs~~ poofs to post about...
The Math-Greek alphabet (pdf) was on the sample prereq (pdf), and on the Actual prereq (pdf).
Voila: A printable SeLo syllabus. Here is our schedule. Speaking of calendars, Hi Greg!

Tips on writing proofs

"How To Write Proofs" (html), by Prof. Larry W. Cusick, [INTERMEDIATE]. Excellent. Examples mostly from Elem. Number Theory; some from Calculus.
Prof. Christopher Heil's page (pdf) [4 pages, INTRO]. A well written survey of the structure of proofs. Has one example of induction (recursion).
“How to write proofs: a quick guide” by Prof. Eugenia Cheng (pdf) [17 pages, INTRO]. Good, friendly. She is stricter than I in the ordering of steps in a proof. Conversely, her write-up is lax in places where I am strict:
- Always use a word/phrase, and never a comma, for then; e.g then or necessarily or we discover to our delight that .
- She has proof snippets in her examples, but remember that your proofs must be written as a sequence of complete, grammatical sentences, correctly punctuated, structured into coherent paragraphs.

Optional End-of-semester Individual SeLo Project-Z (pdf)

...will be due, slid u n d e r room 402 Little Hall my office door (Little Hall 402, Northeast corner) , no later than noon, Friday, 27Apr2012.

The final project must be carefully typed, but diagrams may be hand-drawn.

For the typesetting, one possibility is the (free) mathematics-typesetting language LaTeX

. It can be learned in a week. (It is the archive language of the American Mathematical Society.)

At all times have a paper copy you can hand-in; I do NOT accept electronic versions. Print out a copy each day, so that you always have the latest version to hand-in; this, in case your printer or computer fails. (You are too old for My dog ate my homework.)

Please follow the guidelines on the Checklist (pdf, 3pages) to earn full credit.

General Info

Please take a gander at Past courses with notes, exams and links.

In all of my courses, attendance is absolutely required (excepting illness and religious holidays). In the unfortunate event that you miss a class, you are responsible to get all Notes / Announcements / TheWholeNineYards from a classmate, or several. All my classes have a substantial class-participation grade.

Our textbook is How to prove it, (Second Edition).

Author:	Daniel J. Velleman	ISBN-13:	978-0521675994
Year:	2006	Publisher:	Cambridge University Press

Here are links to this book at The Publisher's site and at Amazon.com.

http://www.math.ufl.edu/~squash/