Hi all,<p>it's now about 10 years, since I finished my masters degree at the university and the math lectures weren't my strength either.<p>However, I often times read publications and I mostly skip the math formulas. I guess it's time to get better at understanding this stuff (again?).<p>Do you have any tips/books/resources/videos to learn from?<p>kind regards<p>Johannes
Excellent talk by Guy Steele explaining the history of maths/comp notations that can probably lead you to the right path through original sources:
<a href="https://m.youtube.com/watch?v=dCuZkaaou0Q" rel="nofollow">https://m.youtube.com/watch?v=dCuZkaaou0Q</a><p>Then have a look at this extremely underrated talk by Alexander Stepanov for basically falling in love with maths (he gives a long view of maths in general adorned with beautiful commentary):
<a href="https://m.youtube.com/watch?v=fanm5y00joc" rel="nofollow">https://m.youtube.com/watch?v=fanm5y00joc</a>
This resource makes it easy to understand mathematical notations by showing comparisons with simple code [0]. The Wikipedia history section of a mathematical concept is also useful to understand in multiple dimensions. Searching for visualizations or break downs can also be useful.<p>[0] <a href="https://github.com/Jam3/math-as-code" rel="nofollow">https://github.com/Jam3/math-as-code</a>
I don't know if you mean the logic notation often seen in programming language papers, but it's called sequent calculus. Wikipedia page has a good intro and links to further resources:<p><a href="https://en.m.wikipedia.org/wiki/Sequent_calculus" rel="nofollow">https://en.m.wikipedia.org/wiki/Sequent_calculus</a>