開放邏輯

開放邏輯

開放邏輯(open logic)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。

基本介紹

  • 中文名:開放邏輯
  • 外文名:open logic
  • 所屬學科:計算機科學技術
  • 公布時間:2018年
  • 審定機構:全國科學技術名詞審定委員會
定義,出處,

定義

中國科學院院士李未提出的一個可以刻畫知識增長、更新以及進化的邏輯理論。由形式理論版本序列及其極限、修正演算和過程模式以及歸納演算四部分組成。

出處

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

相關詞條

熱門詞條

聯絡我們