《概念數學》第一章：伽利略與物體的乘法

我在看 Haskell 的時候，搜索了一下 Monad 的定義：

獨異點，帶有中性元的半羣

而後經過維基百科發現這麼一句話

幺半羣（獨異點）

半羣的正式研究開始於二十世紀早期。自從1950年代，有限半羣的研究在理論計算機科學中變得特別重要，由於在有限半羣和有限自動機之間有天然的聯繫。

既然這麼重要，我就打算找些相關的書看一看，目前我以爲我能看懂的只有這本《Conceptual Mathematics》，並無中文版，因此我只能看英文原版了。

知乎上@甄景賢（研究普適人工智能）推薦這本書的理由是『中學生也能看懂』。

如下是我第一章的筆記。原書是英文版，我可能有翻譯不對的地方，湊合看吧。

PDF 下載

因爲圖太多，傳到掘金很麻煩，我就直接截圖了：