QRCode

演譯系統完整性

completeness of deduction system

2003年6月
資訊與通信術語辭典

名詞解釋:

演譯系統係由兩部份組成,一為由一組□真的合適公式組成的公理子系統,另一為由一組推導規則組成的推導規則子系統。通過推導規則所導出的合適公式稱為定理,推導的過程稱為該定理的證明。如果對某一類合適公式,皆可由公理子系統及推導規則子系統推導出來,則此演譯系統為對這一合適公式具完整性。

 

演譯系統完整性

completeness of deduction system

completeness of deduction system 進行詞彙精確檢索結果
出處/學術領域 英文詞彙 中文詞彙
學術名詞
電子計算機名詞
completeness of deduction system 正向演繹的完整性
演譯系統完整性 進行詞彙精確檢索結果
出處/學術領域 中文詞彙 英文詞彙

引用網址: