JK focus
Articles
Fonts
JK Contradance calling
Dances/Composers (contradance)
Tunes/Bands (contradance)
L0 Contradance program
L1 Contradance program
L2 Contradance program
L3 Contradance program
L4 Contradance program
L5 Contradance program
Jonathan's dances
testing Misc
Navigation
Schedule
Teaching
StanZas
Michael Dyck's Contradance Index
LORs
Pamphlets
PASTCOURSES
Footnote, good books
SeLo 2021g
DfyQ 2021g
SeLo 2020t, both sections
Combinatorics 20172018
SeLo 2020g
DfyQ 2020g
Algebra.1 2019t
SeLo 2019t
NT&Crypto 2019g
DfyQ 2019g
SeLo 2018t
DfyQ 2018t
MHF3202 3E06 (17450) Sets.&.Logic MWF4 [10:4011:30] Lit235
MHF3202 1503 (27231) Sets.&.Logic MWF4 [10:4011:30] ONLINE
Sets and Logic
.
Our Teaching Page
has useful information for students in all of my classes.
It has my schedule,
LOR guidelines,
and Usually Useful Pamphlets.
One of them is the
Checklist (pdf)
which gives pointers on what I consider to be good mathematical
writing.
Further information is at our
classarchive URL
(I email this private URL directly to students).
Prof. King's
Mastery of Zoom.
[Source unknown]
Quantifiers
∀ and
∃
(“for all”
and
“there exists”)
are like nitroglycerin, in that one little misstep leads to the whole
thing blowing up in your face.
There is no partial credit when it comes to Explosives and Quantifiers.
JLF King
General Info
Please take a gander at
Past courses with notes, exams and links.
Resources
 SeLo syllabus (in progress)
 Current assignment:
Memorize the MathGreek alphabet (pdf).
 Current assignment:
Become comfortable reading/writing
Setbuilder notation
(up through “Equivalent predicates...”).
 Current assignment: Peruse the challenging
PList:
Problem List for SeLo (pdf).
It has hyperlinks in the
TableofContents and the Index.
[Wedn., 20Jan2021]
 Current assignment: Peruse
Does Zero = One? (pdf).
Here are some
proofs poofs about which
you can post to our Archive.
 Near Future:
The Euclidean algorithm can be conveniently applied in tableform; I
call this form “Lightning Bolt ”
because the updaterule looks like a lightningbolt (used thrice).
Please read
the
Lightningbolt algorithm (pdf),
learning the algorithm, but skipping the proofs.
Suggestion:
Print out on paper (yes, actual paper), the
practice sheet for LBolt (pdf)
and fillin the tables. This type of question for the first exam, Sept.30, so you
should practice.
 Future:
A std proof of the
InclusionExclusion principle (pdf),
together
with CandyStore, Derangement and Stirlingnumber examples.
 Future:
Please workthrough
W: Euclidean algorithm
(up through “Extended Euclidean...” but skip the proofs)
and workthrough
W: Modular arithmetic
(through “Applications”).
 Past:
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 mod114 congruent to 18.
 Distant future:
Our Primer on cardinality.
 The famous
Online Encyclopedia of Integer Sequences, and
some
W: OEIS history, and a
video with a challenge at the end.

Optional:
Everybody loves the EulerFermat thm.
Available is
Using EFT to solve
102^{70} + 1 =113= b^{37}
(txt), from Prof. William Stein's book.
 Optional:
Ring Basics.

Fun, challenging problems:
HMMT and
IMO and
USAMO and
Putnam.
JK Home page