standards - 理解标准毫升定义的必备知识

Question

谁能告诉我标准 ML 的定义中的背景理论是什么，发现非常有趣和漂亮，我确实学了一些 sml，但我想要更多，但不知道如何开始（理解 TDSML）

提前 3 倍

Answer 1

对于旧版本的定义（SML'90），实际上有一本名为“标准机器学习评论”的单独书，解释了如何解释定义。SML'90 定义和评论都早已绝版，但幸运的是，可以免费获得 PDF。

SML'90 定义与 SML'97 有一些不同，特别是在模块系统方面。总的来说，它更复杂。但是大部分注释应该仍然适用，如果您同时拥有两个版本，应该不难找出仍然相关的内容。

Answer 2

这是我的想法：为了理解标准机器学习的定义中使用的方法，你应该对以下内容有一些基本的了解：

• 集合论
• 职能
• 一阶逻辑
• 类型论

此外，您应该能够阅读和理解本书广泛使用的推理规则。