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
Aut2021: MHF3202 12A3(19805) Sets.&.Logic MWF4[10:40-11:30] LIT233(CE)
Sets and Logic
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).
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.
Individual Project C
now has a guided-version of the Infinite Hats problem. All three problems are non-trivial,
so Yoda says,
Delay, do not, young Jedi.
- Our Primer on cardinality.
- Home-B (PDF),
done individually, was due Monday, 29Nov2021
- The PList:
Problem List for SeLo (pdf)
has hyperlinks in the
Table-of-Contents and the Index.
- An introduction to
Hall's Marriage (Matching) Lemma.
- An intro to the
Chromatic polynomial of a graph
a graphical example of deletion-contraction.
- The spiffy
The tilable Class-A (pdf)
was enjoyed by all. (Even by the person who has to grade it.)
Our Home-A (PDF)
was due date Wednesday, 20Oct2021.
- An Introduction to Isomorphism, via Gambling.
It asks: Why 2, when 76 seems correct?
- A cute proof of Irrationality:
e is irrational.
- Truth-table displayer:
Does Zero = One? (pdf).
Here are some
proofs poofs about which
you can post to our Archive.
2021t Selo syllabus.
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.
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
W: Euclidean algorithm
(up through “Extended Euclidean...” but skip the proofs)
W: Modular arithmetic
Everybody loves the Euler-Fermat thm.
Using EFT to solve
10270 + 1 =113= b37
(txt), from Prof. William Stein's book.
A std proof of the
Inclusion-Exclusion principle (pdf),
with Candy-Store, Derangement and Stirling-number examples.
- The famous
On-line Encyclopedia of Integer Sequences, and
W: OEIS history, and a
video with a challenge at the end.
Fun, challenging problems:
The Math-Greek alphabet (pdf).
Please take a gander at
Past courses with notes, exams and links.
Assignment for first week of SeLo
(See below, for the materials refered to.)
- Learn the Math-Greek alphabet.
- In PList:, read pages 1-6, memorize abbreviations
in Appendix: Notation.
- In BoP (
Book of Proof)
work through pages 1-14 and write-up
(but do not hand-in) at least 3 HW problems
from those pages.
- In SaP (
Structure and Proof)
work through pages 11-17.
For us, the (double-bar N)
i.e zero is a natural number, a natnum.
This is also the convention in SaP but, unfortunately,
not the convention in BoP.
So when you read ℕ in BoP,
replace it with
the set of positive integers; the posints.
- Start reading
(up through “Equivalent predicates...”),
becoming comfortable with the notation.
JK Home page