From 17c03cfb06cab82fcf164ad170fc9e86f2527945 Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 2 Nov 2026 21:45:38 +0000 Subject: [PATCH 1/4] Group the foundation topics at the start of the site Proof Writing and Induction and Recursion sat at the end of the navbar, after Optimization, although neither uses calculus. They now follow Algebra, so the six topics that assume no calculus come first in the navbar, the sidebar and the previous/next order. The home page splits its topic list the same way and says that a discrete-math course such as mcs can build on the foundations directly. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019xfc9pMBq15Hq3DgNBx1ox --- _quarto-website.yml | 12 ++++++------ index.qmd | 17 ++++++++++++++--- 2 files changed, 20 insertions(+), 9 deletions(-) diff --git a/_quarto-website.yml b/_quarto-website.yml index 1b0434eab..9b0fbf790 100644 --- a/_quarto-website.yml +++ b/_quarto-website.yml @@ -70,6 +70,10 @@ website: - algebra-exponentials.qmd - algebra-trigonometry.qmd - algebra-complex.qmd + - text: "Proof Writing" + href: proof-writing.qmd + - text: "Induction and Recursion" + href: induction.qmd - text: "Measures" menu: - text: "Overview" @@ -113,10 +117,6 @@ website: - optimization-newton.qmd - optimization-gradient-descent.qmd - optimization-quasi-newton.qmd - - text: "Proof Writing" - href: proof-writing.qmd - - text: "Induction and Recursion" - href: induction.qmd right: - icon: github href: https://github.com/Morrison-Lab/mds @@ -155,6 +155,8 @@ website: - algebra-exponentials.qmd - algebra-trigonometry.qmd - algebra-complex.qmd + - proof-writing.qmd + - induction.qmd - section: "Measures" href: measures.qmd contents: @@ -193,8 +195,6 @@ website: - optimization-newton.qmd - optimization-gradient-descent.qmd - optimization-quasi-newton.qmd - - proof-writing.qmd - - induction.qmd # Each type below gets a title bar (type, number, name) apart from the body, # and folds, open by default: the callouty-theorem defaults since 1.4.0. diff --git a/index.qmd b/index.qmd index c3b4d352c..2fd8a860d 100644 --- a/index.qmd +++ b/index.qmd @@ -24,7 +24,13 @@ mathematical notation, algebra (including exponentials and logarithms), univariate calculus, linear algebra, vector calculus, optimization, and proof writing. Some key results are listed here, -organized by topic: +organized by topic. + +The first six topics are the foundations. +They assume no calculus, +so a course on discrete math, +such as [Math for Computer Science](https://morrison-lab.github.io/mcs/), +can build on them directly: - [Notation](notation.qmd): common symbols @@ -46,6 +52,13 @@ organized by topic: - [Algebra](algebra.qmd): equalities and [inequalities](proof-writing.qmd#def-inequality), infimum and supremum, percent, sums, products, quotients, limits of sums, notational shorthands, exponentials and logarithms +- [Proof Writing](proof-writing.qmd): + propositions, quantifiers, proofs and derivations, and showing and annotating every step of a [derivation](proof-writing.qmd#def-derivation) +- [Induction and Recursion](induction.qmd): + recursively defined sequences and strong induction + +The remaining topics build on the foundations and on each other: + - [Measures](measures.qmd): $\sigma$-algebras, [finite](functions.qmd#def-finite-set) and [countable additivity](measures.qmd#def-countable-additivity), measures, and the counting measure @@ -65,8 +78,6 @@ organized by topic: - [Optimization](optimization.qmd): optimality conditions, Taylor approximations, convexity in several variables, Lagrange multipliers, Newton's method, and gradient descent -- [Proof Writing](proof-writing.qmd): - propositions, quantifiers, proofs and derivations, and showing and annotating every step of a [derivation](proof-writing.qmd#def-derivation) ## Further reading {.unnumbered} From 38e5c92b9397a42f5c22b255d600c351a9759759 Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 2 Nov 2026 21:45:47 +0000 Subject: [PATCH 2/4] Link the induction topic's terms to their definitions Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019xfc9pMBq15Hq3DgNBx1ox --- index.qmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.qmd b/index.qmd index 2fd8a860d..0e0a3f46a 100644 --- a/index.qmd +++ b/index.qmd @@ -55,7 +55,7 @@ can build on them directly: - [Proof Writing](proof-writing.qmd): propositions, quantifiers, proofs and derivations, and showing and annotating every step of a [derivation](proof-writing.qmd#def-derivation) - [Induction and Recursion](induction.qmd): - recursively defined sequences and strong induction + [recursively defined sequences](induction.qmd#def-recursive-sequence) and [strong induction](induction.qmd#def-strong-induction) The remaining topics build on the foundations and on each other: From d8dc042fe7aa743244c131f06ea96c088b13d4fc Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 2 Nov 2026 21:47:36 +0000 Subject: [PATCH 3/4] Note the calculus remarks in Algebra The Algebra pages mention limits and integral notation, so the foundations do not assume no calculus at all. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019xfc9pMBq15Hq3DgNBx1ox --- index.qmd | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/index.qmd b/index.qmd index 0e0a3f46a..cf1976eff 100644 --- a/index.qmd +++ b/index.qmd @@ -27,7 +27,8 @@ Some key results are listed here, organized by topic. The first six topics are the foundations. -They assume no calculus, +Apart from a few remarks on limits and integral notation in Algebra, +they assume no calculus, so a course on discrete math, such as [Math for Computer Science](https://morrison-lab.github.io/mcs/), can build on them directly: From 73365067054ce70aea77a8f901161bb12273d894 Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 2 Nov 2026 21:48:45 +0000 Subject: [PATCH 4/4] Name the calculus remarks without unlinked defined terms check-term-links flagged "limits" and "integral" as unlinked first uses of defined terms. Rewording keeps the caveat without linking calculus terms from the foundations paragraph. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019xfc9pMBq15Hq3DgNBx1ox --- index.qmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.qmd b/index.qmd index cf1976eff..15d7ba8cd 100644 --- a/index.qmd +++ b/index.qmd @@ -27,7 +27,7 @@ Some key results are listed here, organized by topic. The first six topics are the foundations. -Apart from a few remarks on limits and integral notation in Algebra, +Apart from a few remarks in Algebra that touch on calculus, they assume no calculus, so a course on discrete math, such as [Math for Computer Science](https://morrison-lab.github.io/mcs/),