“正式定义”是什么意思？

Question

我正在学习逻辑和函数式编程课程（使用SML编程），作为我们第一次作业的一部分，我们要求提出以下问题

“...您需要定义一个名为'a set'的（抽象）类型 文档：正式描述有限集如何表示为列表，说明具有代表性的不变属性。 ......“

任何人都可以解释“正式描述”是什么意思？

Answer 1

检查您的教科书和课堂笔记，了解“正式描述”如何用于其他类型，然后按照该示例进行操作。

Answer 2

在数学中正式描述通常意味着用数学表达式绑定事物，并在必要时使用标准符号和术语。在逻辑上，您通常会使用implies和therefore而不是更多的口语术语。维基百科有一个article