Goto: Prof. King's page at Univ. of Florida.
Or: JK Homepage.

Modified:
Tuesday, 02Aug2016
Printed:
Thursday, 27Apr2017

Page:
http://squash.1gainesville.com/Include/thispage.shtml

Spr2017: MHF3202 8768 Sets.&.Logic MWF7 LIT223 (NW)

...will be due, slid u n d e r my office door (Little Hall 402, Northeast corner) , no later than 2PM, Thursday, 20Apr2017

*The SeLo IOP must be carefully typed*,
but diagrams may be hand-drawn.

For the typesetting, one possibility is the (free) mathematics-typesetting language . It can be learned in a week. (It is the archival 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

My dog ate my homework.)

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

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* (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).

- An intro to the Chromatic polynomial of a graph (pdf).
- The PList: Problem List for SeLo (pdf). [Monday, 27Feb2017].
- The highly-unfinished Primer on cardinality.
- Available are all the SeLo quizzes so far (pdf). [Monday, 17Apr2017].
- [29Mar2017]: Applause showered Class-X [the last in-class exam of the semester, people tearfully observed], with its Nifty use of Schroeder-Bernstein, to prove a surprising result about the set of continuous functions. The Class-X PDF now has all solns.
- The multi-dimensional
Home-W,
nicknamed Waldo
[now with some answers]
inspired greatness.
Conveniently available were computer-generated pictures of 3-mino Tilings (txt), illustrating a geometric induction-argument. Now also, two examples of computer-generated 3-mino (3D) tilings,

Folks thrilled to Class-W [which now has solns] and its comforting question about Lminos, with which the cognoscenti were already familiar. Relevant to that question is the idea in Tiling unions of regions.

- The thought-provoking
Home-V also provoked great joy, with its
three interesting essay questions.
And for the cognoscenti, there are
Cookies!,
and several solns.
This was followed by the cute Class-V, which has several solns typeset.

- Have read and throughly understood Set-builder notation (up through “Equivalent predicates...”) and Euclidean algorithm (up through “Extended Euclidean...”) and Modular arithmetic (up through “Applications”).
- Does Zero = One? (pdf).
Here are some
~~proofs~~*poofs*to post about... - Please have learned the Math-Greek alphabet (pdf).
- The SeLo syllabus, with dates is available.
- Nostalgic?, see
Spring 2012
OR
Autumn 2011
which also has
**Autumn 2009**and**Spring 2008**.

Quantifiers ∀ and ∃ (“for all”

and“there exists”) are like nitroglycerin, in that one little mis-step leads to the whole thing blowing up in your face.There is no partial credit when it comes to Explosives and Quantifiers.

-JLF King

The various Math czars who help out:

Time | Computer | Blackboard | Spur-Probs | Phone-list |
---|---|---|---|---|

Leah | Leah | Christopher P. | Nicholas C. | Lizzie(Donna) |

- "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, forthen

; e.gthen

ornecessarily

orwe 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.

- Always use a

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 responsibleto 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).

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

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.