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

【问题标题】：What does 'define formally' mean?“正式定义”是什么意思？
【发布时间】：2012-08-16 11:42:37
【问题描述】：

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

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

谁能解释一下“正式描述”是什么意思？

【问题讨论】：

【解决方案1】：

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

【讨论】：

【解决方案2】：

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

【讨论】：