プレスバーガー算術
(Presburger arithmetic から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/26 14:58 UTC 版)
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。 モイジェシュ・プレスバーガーにより1929年に導入された。 プレスバーガー算術のシグネチャには加法と等号のみが含まれ乗法は省かれる。 公理には数学的帰納法の公理型を含む。
- 1 プレスバーガー算術とは
- 2 プレスバーガー算術の概要
- プレスバーガー算術のページへのリンク