JK Contradance calling
L0 Contradance program
L1 Contradance program
L2 Contradance program
L3 Contradance program
L4 Contradance program
Melrose parade, 2016
Michael Dyck's Contradance Index
Complex Vars 2017g
NT & Math Crypto 2016g
DfyQ 2015g (NO WEBPAGE)
Melrose Nemo Parade, 2015
Melrose Moon Parade, 2016
Spr2017: MHF3202 8768 Sets.&.Logic MWF7 LIT223 (NW)
Sets and Logic
[version Old Y3 is available]
...will be due,
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)
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.
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).
- An intro to the
Chromatic polynomial of a graph (pdf).
- The PList:
Problem List for SeLo (pdf).
- The highly-unfinished Primer on cardinality.
- Available are all the
SeLo quizzes so far (pdf).
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
[now with some answers]
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]
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
and several solns.
This was followed by the cute
Class-V, which has several solns typeset.
- Have read and throughly understood
(up through “Equivalent predicates...”)
(up through “Extended Euclidean...”)
(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
- Nostalgic?, see
which also has Autumn 2009 and Spring 2008.
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 various Math czars who help out:
- "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.
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
responsible to get all
Notes / Announcements / TheWholeNineYards
from a classmate, or several.
All my classes have a
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
JK Home page