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

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

https://github.com/liuxinyu95/unplugged