Shahada ya kwanza (juu)FoundationsImepangwa
Mathematical writing
Writing mathematics that others can read and check: structure, definitions before use, notation, examples, LaTeX, and honest statements of what has and has not been proved.
math.found.mathematical-writing
Somo la mada hii bado halijaandikwa. Muhtasari ulio hapa chini ni sehemu ya ramani ya mtaala na haujakaguliwa.
Inajengwa juu ya
Masharti ya awali ya lazima 10 (hadi chini kabisa)
Utajifunza
- Rewrite a correct but unclear proof so that its structure, assumptions and key steps are explicit.
- Typeset definitions, theorems and proofs in LaTeX with consistent notation.
- Write a short expository note that states precisely which results are proved, which are cited and which are conjectured.
Fasili
- A theorem is a principal result, a lemma an auxiliary result, and a corollary a result that follows quickly from another.
- Exposition is writing whose purpose is explanation rather than the announcement of new results.
Nadharia
- Every symbol should be defined before it is used, and every cited result should be identifiable by the reader.
- A proof is written for a reader who will check it against the stated hypotheses.
Mawazo potofu ya kawaida
- Thinking a shorter proof is always a clearer one.
- Using 'standard' notation without defining it.
- Leaving the status of a claim (proved, cited or conjectured) for the reader to guess.
Inaelekea kwa
Ugunduzi wa hiari
- Formalising published mathematics Formalisation blueprints link each informal statement to its formal counterpart, which forces precision in writing.
Njia za kujifunza
Usomaji zaidi
- Donald E. Knuth, Tracy Larrabee and Paul M. Roberts, Mathematical Writing (1989)
- Nicholas J. Higham, Handbook of Writing for the Mathematical Sciences
- Paul R. Halmos, How to Write Mathematics (1970)