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
SeLo 2020t, both sections
Class photo day
MHF3202 1079 (18207) Sets.&.Logic MWF4 [10:40-11:30] ONLINE
MHF3202 139A (18209) Sets.&.Logic MWF5 [11:45-12:35] ONLINE
Sets and Logic
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.
Our Primer on cardinality.
- The PList:
Problem List for SeLo (pdf),
[but unexpectedly eventful],
has solns to all problems; useful for studying.
went smoothly, and now has all solns; useful for studying/learning.
- A free site,
Merge PDF, for merging multiple PDFs into one.
I've used this and it worked fine. There are other free ones on the web as well.
Use whatever works for you.
A std proof of the
Inclusion-Exclusion principle (pdf),
with Candy-Store, Derangement and Stirling-number examples.
W: Euclidean algorithm
(up through “Extended Euclidean...” but skip the proofs)
W: Modular arithmetic
The Euclidean algorithm can be conveniently applied in table-form; I
call this form “Lightning Bolt ”
because the update-rule looks like a lightning-bolt (used thrice).
Lightning-bolt algorithm (pdf),
learning the algorithm, but skipping the proofs.
Print out on paper (yes, actual paper), the
practice sheet for LBolt (pdf)
and fill-in the tables. This type of question for the first exam, Sept.30, so you
The first page of
Algorithms in Number Theory (pdf),
uses LBolt iteratively to compute the GCD of a list of integers,
together with its list of Bézout multipliers.
Page 2 uses LBolt to solve linear congruences:
Find all x where 33x is mod-114 congruent to 18.
- Does Zero = One? (pdf).
Here are some
proofs poofs about which
you can post to our Archive.
- Exams/notes from previous incarnations:
[which also has Autumn 2009 and Spring 2008].
Everybody loves the Euler-Fermat thm.
Using EFT to solve
10270 + 1 =113= b37
(txt), from Prof. William Stein's book.
- The famous
On-line Encyclopedia of Integer Sequences, and
W: OEIS history, and a
video with a challenge at the end.
2020t Selo syllabus.
The Math-Greek alphabet (pdf).
Be comfortable reading/writing
(up through “Equivalent predicates...”).
Fun, challenging problems:
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).
- "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