Jie's Mind Garden

note taking

Time-stamp: <2022-02-04 11:43:14"timestamp-wrapper"><2022-02-02 Wed 14:34>

keywords
How to study

tags :

General

Taking notes while reading (either textbooks or papers) can force me to study actively, and thus understand materials more deeply and maintain longer. However, I used to make notes as self-contained as possible, such that I don’t have to refer to the original materials. I often see this form of notes in Github. This way of taking notes would consume lots of time. As discussed by Scott Young, we should mix the notes and original materials. This can be achieved with Emacs tools like Interleave.

Math Note Taking

ML Math Notation

Others' example

Math Structured Proof

I read math books/papers by de-coding the proof with Structured Proof . The original pf2 tool is outdated. I use the latex template given in StackExchange on enumerate for proof.

\begin{enumerate} \item \label{item:test-lamport2:1b}{Text of step 1.} \begin{enumerate} \item \label{item:solution-enumitem:1} Text of substep 1 \begin{enumerate} \item[\textsc{PROOF}] Paragraph proof using results in \ref{item:solution-enumitem:1}. $\blacksquare$ \end{enumerate}

\item \label{label-2.1}{Text of substep 2} \end{enumerate} \item \label{label-2.2}{Text of step 2} \end{enumerate}

[2021-02-25 Thu] update: this structured proof is a bit too complicated, especially when editing it. For most simple cases, I’m jusing using align and subequations, as in https://tex.stackexchange.com/questions/27283/how-to-correctly-format-and-align-a-latex-proof

\begin{subequations} \begin{align} 4xyzw &= 2\cdot2tu \\ &\le 2\cdot(t^2+u^2) \label{eq:a} \\ &= 2\cdot((xy)^2+(zw)^2) &&\text{(substituting variables)} \\ & \textsc{PROOF} \quad \text{we can refer to \eqref{eq:a} } \nonumber \\ &= x^4+y^4+z^4+w^4 \end{align} \end{subequations}

Advices