JK Contradance calling
L0 Contradance program
L1 Contradance program
L2 Contradance program
L3 Contradance program
L4 Contradance program
L5 Contradance program
Michael Dyck's Contradance Index
NT & Math Crypto 2016g
Complex Vars 2017g
Aut2018: MHF3202 2787 Sets.&.Logic MWF6 [12:50-13:40] LIT233 (CE)
Sets and Logic
(Individual Optional Project)
...will be due,
my office door (Little Hall 402, Northeast corner)
no later than
2PM, Thursday, 06Dec2018
The SeLo Project must be carefully typed,
but diagrams may be hand-drawn.
For the typesetting, one possibility
is the (free)
It can be learned in a week.
(It is the archival language of the American Mathematical
At all times have a paper copy you can hand-in; I do
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
(pdf, 3pages) to earn full credit.
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.
Please take a gander at
Past courses with notes, exams and links.
- If you want, for your IOP:
edge-graph of a dodecahedron,
for vertex-label diagrams.
template, for making a 3D-dodecahedron.
- The highly-unfinished Primer on cardinality.
- In one convenient location:
SeLo quizzes so far (pdf),
- We went
One-on-One with the cheery Class-C,
and we Won!
- The PList:
Problem List for SeLo (pdf).
- The tilable
now has short-answers.
Being a visual exam, there is a visual
soln to Zoid tiling (pdf)
pictures of 3-mino tiling (txt).
We already had
Computer-generated pictures of
Lmino Tilings (txt),
illustrating a geometric induction-argument.
domino-tiling sequence on 2xN
leads to the
roots of the problem.
The second part of domino-tiling is solved on Home-B, but I have not
yet typeset the solution presented in class for the first part.
graced its way into existence on Wedn., 24Oct2018.
It had a nice question about
tilability of unions.
- The famous On-line Encyclopedia of Integer Sequences, and
W: OEIS history, and a
video with a challenge at the end.
- A std proof of the
Inclusion-Exclusion principle (pdf), together
with Candy-Store, Derangement and Stirling-number examples.
- Please glance at
Have read and throughly understood
(up through “Extended Euclidean...”)
(up through “Applications”).
- The cute Home-A
has solns. It was followed by the highly-praised
much admired for its two-tone format, and the comic relief
of the Three Stooges.
- Please have learned the
Math-Greek alphabet (pdf).
- Have read and throughly understood
(up through “Equivalent predicates...”)
- Does Zero = One? (pdf).
Here are some
proofs poofs to post about...
- Voila! our
Recall that events may necessitate date-changes of exams.
- Nostalgic?, see
which also has Autumn 2009 and Spring 2008.
The various Math czars who help out:
||Joey, Mario, Patrick
- "How To Write Proofs" (html), by Prof. Larry W. Cusick,
Excellent. Examples mostly from Elem. Number Theory; some from
- Prof. Christopher Heil's page (pdf) [4 pages, INTRO].
A well written survey of the structure of proofs. Has one example of
- “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
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.
Our textbook is
How to prove it,
|Author: ||Daniel J. Velleman
||Publisher: ||Cambridge University Press
Here are links to
this book at The Publisher's site
Our Teaching Page
has useful information for students in all of my classes.
It has my schedule,
and Usually Useful Pamphlets.
One of them is the
which gives pointers on what I consider to be good mathematical
Further information is at our
(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
responsible to get all
Notes / Announcements / TheWholeNineYards
from a classmate, or several.
All my classes have a
JK Home page