【形式系統】
英語翻譯：formalsystem
【辭書名稱】資訊與通信術語辭典
通常由以下四部分組成：(1)一組基本符號。
(2)由基本符號構成系統中各種成分的規則，可以稱之為構造規則。
(3)系統中各成分間的一組基本關係，可以稱之為公理。
(4)由基本關係推出新關係的一組推導規則。
謂詞演算、語言的文法、平面幾何的公理系統等都是形式系統。
轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
| 歡迎光臨 【五術堪輿學苑】 (http://aa.wsky.ink/) | Powered by Discuz! X3.1 |