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
Spr2020: MHF3202 3E07 (18129) Sets.&.Logic MWF5 [11:45-12:35] Matherly 006
Sets and Logic
Individual Project D (IP-D)
and (D3) are challenging. Don't delay, said the Wise Person...
emailed to me,
as a PDF!
no later than
5PM, Tuesday, 28Apr2020.
The SeLo Project must be carefully typed,
but diagrams may be hand-drawn and scanned into the PDF.
For the typesetting, one possibility
is the (free)
The guidelines on the
are written for a team
take-home, but are nonetheless
are helpful for scoring well on an individual
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.
The nifty-diffty Primer on cardinality.
- While not required for our course, the
Primer on Polynomials
has further information on Algebraic Numbers, for the Curious Ambitious Student.
- The interesting
folks told me, was challenging.
- All B-teams have emailed me their
Home-B. Thank you.
- The PList:
Problem List for SeLo (pdf),
Table-of-Contents and the Index.
SeLo syllabus (pdf)
has clickable links.
- [Copied from our Teaching Page at
Usually Useful Pamphlets.]
(pdf, 3 pages)
has important ingredients of good mathematical writing. It
also has some of the abbrevs that I use in grading.
Our Class-A was entertaining.
Relevant to the tiling question is the cool
It has a nice question about tilability-of-unions.
One question on Home-A
(for the two-dimensional version)
that we did in class.
Pictures of Lmino Tilings (txt).
for the first part of (A3), were these graph-papers:
Being a visual exam, there is an induction-proof essay, with images, giving a
soln to all Zoid-tiling problems (PDF).
We also have
pictures of 3-mino tiling (txt).
Finally, students in a previous SeLo class generated this picture of
zoid-tiling of a 3^k triangle, when k =3= 0,
as well as a
zoid-tiling of a 3^k triangle, when k =3= ±1.
- Look Pa!
SeLo quizzes so far (pdf),
- We use two, free, online texts:
Book of Proof,
by Richard Hammack.
Transition to Higher Mathematics: Structure and Proof,
Bob A. Dumas
John E. McCarthy.
- Does Zero = One? (pdf).
Here are some
proofs poofs about which
you can post to our Archive.
- The Math-Greek alphabet (pdf).
- The famous On-line Encyclopedia of Integer Sequences, and
W: OEIS history, and a
video with a challenge at the end.
- Please read
and throughly understood the
(up through “Extended Euclidean...”)
From our Teaching Page, have
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]
- A std proof of the
Inclusion-Exclusion principle (pdf), together
with Candy-Store, Derangement and Stirling-number examples.
- Exams/notes from previous incarnations:
[which also has Autumn 2009 and Spring 2008].
This will help you decide if my teaching-style is the right style for you.
Also available are
Past courses with notes, exams and links.
- Optional, but useful: Please skim
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
Assignment for Add/Drop week
The various Math czars who help out:
- "How To Write Proofs" (html), by Prof. Larry W. Cusick,
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
- “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.
JK Home page