修正演算

修正演算（revision calculus）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。

基本介紹

• 中文名：修正演算
• 外文名：revision calculus
• 所屬學科：計算機科學技術
• 公布時間：2018年
• 屬性：計算機科學技術名詞

定義

使用一階語言及其模型的概念來描述如何對公理系統進行擴充和修正的形式理論。

出處

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