《同构—编程中的数学》(Isomorphism — Mathematics of Programming 2021/07)是一本关于编程数学的开源书籍。涵盖了计算机科学专业涉及的基础数学知识，涉及形式逻辑符号、递归，对称，悖论，范畴，数学证明、归纳、集合与关系等。书籍有英文和中文版。

下载：英文 (EN) 以及(中文).

https://github.com/liuxinyu95/unplugged