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

Modified:
Tuesday, 02Aug2016
Printed:
Tuesday, 27Jun2017

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

Aut2013: MHF3202 2787 Sets.&.Logic MWF6 LIT205 (SE)

...will be due, slid u n d e r my office door (Little Hall 402, Northeast corner) , no later than noon, Monday, 09Dec2013.

*The final project 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 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

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

- Insightful, engaging, absorbing Home-W (pdf)
became available the evening of
**Tuesday, 12Nov.**. It was due at the BoC on**Monday, 18Nov.**, with*all team members present*.Class-W (pdf)the individual component, revealed itself on

**Wednesday, 20Nov.**. - ES probs and Example proofs for SeLo (pdf). [Friday, 22Nov2013].
- The delightful Home-V (pdf)
was available
*early*, for your team to solve. Home-V was due at the BoC [Beginning Of Class] on**Monday, 21Oct**.The cheerful individual component, Class-V (pdf) was well-received by the Mathematical Intelligentsia, appreciating its tight connection to Home-V. Class-V took place

**Wedn., 23Oct.**.*PPSolns.* - Available are all the SeLo quizzes so far (pdf). [Monday, 02Dec2013].
- Cheering crowds greeted the Gregorianish
Class-U (pdf)
with its 2-term linear recurrence and correct spelling of
February

! Folks rushed to post solutions for their colleagues to admire. - SeLo syllabus (txt).
- What fun! Computer-generated pictures of Lmino Tilings (txt), illustrating a geometric induction-argument.

The various Math czars who help out:

Time | Computer | Chalk | Blackboard | ES-Probs | Phone-list |
---|---|---|---|---|---|

Rico | Corey | Sam-C | ? | Alex | David |

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

Looking into the *Future*, here is part of
the **Spring 2014, SeLo**, page:

We had a test of prerequisites as well as four microquizzes during the semester.

The exams were:

- Team W-home and individual W-class.
- Team X-home and individual X-class.
- Finally, there was
an
*Optional*Individual project at semester's end.

Looking into the *Even Further* into the
Future, voila! some of
the **Spring 2015, SeLo**, page:

Our syllabus gave an overview.

Our exams were: