1

私は論理と関数型プログラミングのコースを受講しています（SMLでのプログラミングを使用）。最初の課題の一環として、次の質問があります。

「...集合と呼ばれる（抽象）型を定義する必要があります。ドキュメント：有限集合がリストとしてどのように表現されるかを正式に説明し、表現不変のプロパティを記述します。...」

「正式に説明する」とはどういう意味か、誰か説明できますか？

4

2 に答える 2

2

教科書とクラスノートをチェックして、「正式な説明」が他のタイプでどのように使用されているかを確認してから、その例に従ってください。

于 2012-08-16T03:41:24.307 に答える
1

数学で正式に説明するということは、通常、物事を数式で囲み、必要に応じて標準の表記法と用語を使用することを意味します。論理的には、一般的に、より口語的な用語の代わりにを使用impliesします。thereforeウィキペディアに記事があります

于 2012-08-16T03:42:37.673 に答える