【五術堪輿學苑】

 找回密碼
 【立即註冊】
查看: 257|回復: 0
打印 上一主題 下一主題

【形式系統】

[複製鏈接]
跳轉到指定樓層
作者
發表於 2012-11-3 22:28:29 | 只看該作者 回帖獎勵 |倒序瀏覽 |閱讀模式

形式系統

 

英語翻譯:formalsystem

 

【辭書名稱】資訊與通信術語辭典

 

通常由以下四部分組成:(1)一組基本符號。

 

(2)由基本符號構成系統中各種成分的規則,可以稱之為構造規則。

 

(3)系統中各成分間的一組基本關係,可以稱之為公理。

 

(4)由基本關係推出新關係的一組推導規則。

 

謂詞演算、語言的文法、平面幾何的公理系統等都是形式系統。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary

評分

參與人數 1金幣 +500 收起 理由
天梁 值得鼓勵。

查看全部評分

【自由發言誠可貴、言辭水準需更高、若有污衊髒言顯、術龍五術堪輿學苑、不歡迎的喲!】
回復

使用道具 舉報

QQ|【google翻譯】|【手機版】|【Archiver】|【五術堪輿學苑】 ( 皖ICP備11003170號 )

GMT+8, 2024-11-16 22:22 , Processed in 0.218751 second(s), 16 queries , Gzip On.

Powered by Discuz! X3.1

© 2001-2013 Comsenz Inc.

快速回復 返回頂部 返回列表