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
Footnote, good books
SeLo 2020t, both sections
MHF3202 3E06 (17450) Sets.&.Logic MWF4 [10:40-11:30] Lit235
MHF3202 1503 (27231) Sets.&.Logic MWF4 [10:40-11:30] 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.
[See “Examish stuff”, further below.]
as a nice productive way end our pandemic Zoomester.
Our Primer on cardinality.
was everyone's favorite, as it answered that burning light bulb question...
SeLoticians will post solns answering the other questions.]
Elegant E has all soln.
- Current, Always: Solve problems
(working with a classmate is fine, and encouraged)
Problem List for SeLo (pdf).
It has hyperlinks in the
Table-of-Contents and the Index.
- Computer-generated Lmino tiling appear in
Pictures of Lmino Tilings (txt).
The pictures start about a third of the way down the file.
[The top of the file just comprises notes to me, on how to use the code.]
A std proof of the
Inclusion-Exclusion principle (pdf),
with Candy-Store, Derangement and Stirling-number examples.
- Cognoscenti marveled at
the straightforward induction proof on
Daffy quiz D,
with solutions; cool!
- SeLoCitizens were entertained by
Goofy quiz C
starting off with a binomial-identity, and finishing with a nice Induction proof.
Cognoscenti cheerfully garnered CP-points by posting solutions
(not just answers) to our SeLo Archive.
All solutions to Goofy C
are now available.
- Scholars showered the keyboard with roses,
Pleasant quiz B
with its elegant PHP proof.
Voici quiz B with solns.
- Folks appreciated that our first
Enjoyable quiz A
had no essay question.
[Future quizzes will have proofs on them, and
students will need to upload a (typically, small) essay as a PDF.]
The Euclidean algorithm can be presented in table-form; I
call this form the
Lightning-bolt algorithm (pdf),
because the update-rule looks like a lightning-bolt (used thrice).
Here is a
practice sheet for LBolt (pdf).
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.
W: Euclidean algorithm
(up through “Extended Euclidean...” but skip the proofs)
W: Modular arithmetic
- The famous
On-line Encyclopedia of Integer Sequences, and
W: OEIS history, and a
video with a challenge at the end.
Everybody loves the Euler-Fermat thm.
Using EFT to solve
10270 + 1 =113= b37
(txt), from Prof. William Stein's book.
Fun, challenging problems:
- Past: Peruse
Does Zero = One? (pdf).
Here are some
proofs poofs about which
you can post to our Archive.
Practice: Binomials, complex arithmetic
Memorize the Math-Greek alphabet (pdf).
Become comfortable reading/writing
(up through “Equivalent predicates...”).
- SeLo syllabus
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).
Mastery of Zoom.
JK Home page