1
我以邏輯和函數式編程課程（與SML編程），並作爲我們的第一個任務的一部分，下面的問題是問'正式定義'是什麼意思？
」 ......你需要定義一個（抽象）類型，稱爲「一個設置 文檔：描述如何正式有限集將被表示爲列表，說明一個代表性的不變性......」
誰能解釋什麼是‘形容正式’的意思？
A
回答
2
檢查您的教科書和課堂筆記，看看「形式描述」是如何用於其他類型的，然後遵循該示例。
1
形式上在數學中描述通常意味着用數學表達式來界定事物，並在必要時使用標準記法和術語。在邏輯上，你通常會使用implies和therefore而不是更通俗的術語。維基百科有一個article