MK's wiki

Only hand in homework electronically via OWL either as plaintext, markdown with math (best option), or a PDF file. The PDF can be created from MS Word, LibreOffice Writer, typeset with (La)Tex, or it can be a readable (!!!) scan or camera picture (I recommend Office Lens (iOS, Android) or a similar app, especially if you want to accompany your solution with a picture.)

Unless stated otherwise, by „solving“ a task I mean that you prove the given statement.

A proof must be correct, clear, and easy to understand.

In your proof you can use statements from the lecture without proving them.

If you start getting lost in your formulations, introduce notation. Assign precise names to objects or quantities and use these names or variables in your text, instead of using pronouns. (It is a common mistake that you talk about this or that set and I'm quickly lost. Why not say a set $A$ and a set $B$?) In plaintext denote a subscript as follows: $a_1$ is a_1, and superscript as follows: $a^2$ is a^2$.

For a good (correct, clear, easy to understand) solution you will gain the full amount of points. If something is missing, but the proof contains the right idea, or if the proof is correct but not quite clear or intelligible, you will get about half the points. If you don't solve the task at all or the proof is completely incorrect, you will get 0 points.

Grading is iterative: if you eventually converge to a perfect solution I didn't need to give it away, just give hints, you can still obtain the full amount of points. My goal is for you to discover the solution, and that's what gets rewarded, not the amount of work you put in. (E.g. if someone gets it right on their first try, they will get the same point as someone who required two rounds of feedback.)

I strongly recommend to learn the basics of mathematics typesetting using LaTeX. I have good experience with the LaTeX wikibook. The easiest way to get into it is probably hackmd.io (small syntax demo; click „edit“ to see the code.) You can also use a web LaTeX editor (Overleaf) because getting LaTeX to work locally can be nontrivial.