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

1,149 阅读1分钟

我在看 Haskell 的时候,搜索了一下 Monad 的定义:

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

然后通过维基百科发现这么一句话

幺半群(独异点)

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

既然这么重要,我就打算找些相关的书看一看,目前我觉得我能看懂的只有这本《Conceptual Mathematics》,并没有中文版,所以我只能看英文原版了。

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

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

PDF 下载

由于图太多,传到掘金很麻烦,我就直接截图了:

1

2

3

4

5