Set 什么是'；正式定义'；什么意思？
我正在学习一门逻辑和函数编程课程（使用SML编程），作为我们第一次作业的一部分，我会问以下问题 “…您需要定义一个名为“集合”的（抽象）类型 文档：正式描述有限集将如何表示为列表，说明表示不变属性……”Set 什么是'；正式定义'；什么意思？,set,logic,sml,smlnj,Set,Logic,Sml,Smlnj,我正在学习一门逻辑和函数编程课程（使用SML编程），作为我们第一次作业的一部分，我会问以下问题 “…您需要定义一个名为“集合”的（抽象）类型 文档：正式描述有限集将如何表示为列表，说明表示不变属性……” 有人能解释一下“正式描述”是什么意思吗？检查你的教科书和课堂笔记，看看“正式描述”是如何用于其他类型的，然后按照这个例子来做。在数学中正式描述通常意味着用数学表达式来界定事物，并在必要时使用标准符号和术语。在逻辑中，您通常会使用暗示，因此而不是更通俗的术语。维基百科有一个
有人能解释一下“正式描述”是什么意思吗？检查你的教科书和课堂笔记，看看“正式描述”是如何用于其他类型的，然后按照这个例子来做。在数学中正式描述通常意味着用数学表达式来界定事物，并在必要时使用标准符号和术语。在逻辑中，您通常会使用
暗示