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

Modified:
Sunday, 01Mar2020
Printed:
Friday, 29May2020

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

Aut2019: MHF3202 09EH (19955) Sets.&.Logic MWF7 [13:55-14:45] LIT207 (CE)

...was due, slid u n d e r my office door (Little Hall 402, Northeast corner) , no later than 2PM, Thursday, 05Dec2019

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

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

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

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

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

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.

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

- The
*bijective*Class-W now solns. -
Our Home-V now has solns.
Essay (V3) had you label the vertices a dodecahedron. You may have found it convenient to print out the edge-graph of a dodecahedron for your vertex-label diagrams.

Available is a template, for folding-together a 3D-dodecahedron.

Our now-full-of-solns Zoidish Class-V mentions the Robert Long Prize essay competition, which is a Good-Thing-to-Do.

- The PList: Problem List for SeLo (pdf), [Tuesday, 29Oct2019^
- Current: The highly-unfinished Primer on cardinality.
- In one convenient location:
All 9
SeLo quizzes so far (pdf),
[Friday, 18Oct2019]

*In this*.quizzes

link, please have read the binomial/multinomial conventions on page 2, together with Operations on Sets. -
The Lminoish Class-U
now has solns, except for the 3xN Lmino problem, which we covered in class.
And check out
Tilability w.r.t unions.

Our Home-U has solns. Related to the exam are Pictures of Lmino Tilings (txt), to illustrate a geometric induction-argument. - A std proof of the
Inclusion-Exclusion principle (pdf), together
with
*Candy-Store*,*Derangement*and*Stirling-number*examples. - Does Zero = One? (pdf).
Here are some
~~proofs~~*poofs*about which you can post to our Archive. - Our SeLo syllabus/calendar.
- Exams/notes from previous incarnations:
Aut.2018,
Spr.2017,
Aut.2013,
Spr.2012,
OR
Aut.2011
[which also has
**Autumn 2009**and**Spring 2008**]. - Please skim Ring Basics.
- The famous On-line Encyclopedia of Integer Sequences, and some W: OEIS history, and a video with a challenge at the end.
- [Old] Have learned the Math-Greek alphabet (pdf).
- [Old] Have read and throughly understood Set-builder notation (up through “Equivalent predicates...”).
- [Old] Have read
and throughly understood the
Euclidean algorithm
(up through “Extended Euclidean...”)
and
Modular arithmetic
(through “Applications”).
From our Teaching Page, have
read
Lightning-bolt algorithm (pdf)

[pages 1-3. You are not responsible for pages 4,5];practice sheet for LBolt (pdf)

[print on paper and work through several examples];Algorithms in Number Theory (pdf)

[you are responsible just for the Iterated Lightning-bolt part, page 1]

We will use two, free, online texts. They are:

The Book of Proof, by Richard Hammack.

Additionally, we will use Transition to Higher Mathematics: Structure and Proof, by Bob A. Dumas and John E. McCarthy.

The Book of Proof, by Richard Hammack.

Additionally, we will use Transition to Higher Mathematics: Structure and Proof, by Bob A. Dumas and John E. McCarthy.

The various Math czars who help out:

Time | Computer | Memory/telepathy | Blackboard | Spur-OTM-Probs |
---|---|---|---|---|

Chase | Atharva | Sienna | Nathan | Bhaskar |

- "How To Write Proofs" (html), by Prof. Larry W. Cusick, [INTERMEDIATE]. 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

...was due, slid u n d e r my office door (Little Hall 402, Northeast corner) , no later than 2PM, Thursday, 05Dec2019

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

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

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