<div dir="ltr">Hi,<div><br></div><div>I recently released a book about mathematics and programming in github:</div><div><a href="https://github.com/liuxinyu95/unplugged">https://github.com/liuxinyu95/unplugged</a><br></div><div><br></div><div>I mainly provide examples, and code snippets in Haskell. The PDF can be downloaded under GNU FDL license.</div><div><br></div><div>There are 7 chapters together with 108 problems as exercise. I also included all the answers in the appendix. Here are the table of content:</div><div><br></div><div>Preface - A story about isomorphism.<br>Chapter 1, Natural numbers. Peano Axiom, list and folding;<br>Chapter 2, Recursion. Euclidean algorithm, Lambda calculus, and Y-combinator;<br>Chapter 3, Symmetry. Group, Ring, and Field. Galois Theory;<br>Chapter 4, Category theory and type system;<br>Chapter 5, Deforest. Build-fold fusion law, optimization, and algorithm deduction;<br>Chapter 6, Infinity. Set theory, Infinity and stream;<br>Chapter 7, Logic paradox, Gödel's incompleteness theorems, and Turing halting problem.<br>Answers to the exercise.<br></div><div><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Xinyu LIU<br><a href="https://github.com/liuxinyu95/unplugged" target="_blank">https://github.com/liuxinyu95/unplugged</a><br><div><p><font face="arial, helvetica, sans-serif"><i>e</i>^(<i>π</i>i)+1 = 0</font><span style="font-family:"Times New Roman","serif";color:black"></span></p></div></div></div></div></div></div>