《概念数学》第一章：伽利略与物体的乘法

我在看 Haskell 的时候，搜索了一下 Monad 的定义：

独异点，带有中性元的半群

而后经过维基百科发现这么一句话

幺半群（独异点）

半群的正式研究开始于二十世纪早期。自从1950年代，有限半群的研究在理论计算机科学中变得特别重要，由于在有限半群和有限自动机之间有天然的联系。

既然这么重要，我就打算找些相关的书看一看，目前我以为我能看懂的只有这本《Conceptual Mathematics》，并无中文版，因此我只能看英文原版了。

知乎上@甄景贤（研究普适人工智能）推荐这本书的理由是『中学生也能看懂』。

如下是我第一章的笔记。原书是英文版，我可能有翻译不对的地方，凑合看吧。

PDF 下载

因为图太多，传到掘金很麻烦，我就直接截图了：