希爾伯特式演繹系統

希爾伯特式演繹系統（Hilbert-style deduction system）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：希爾伯特式演繹系統
• 外文名：Hilbert-style deduction system
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

形式證明系統的一種表示方法。這類系統由一組公理與有限條規則組成，起源於希爾伯特（Hilbert）和弗雷格（Frege）的工作。

出處

《計算機科學技術名詞 》第三版。