| 意味 |
Presburger arithmeticとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。
Wiktionary英語版での「Presburger arithmetic」の意味 |
Presburger arithmetic
語源
Introduced in 1929 by Mojżesz Presburger.
名詞
Presburger arithmetic (uncountable)
- (logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.
参考
|
| 意味 |
Presburger arithmeticのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのPresburger arithmetic (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1false
-
2揃い
-
3磁気ストライプ・カード
-
4貿易商
-
5ado
-
6gis
-
7モンテクリスト・伯
-
8揃 い
-
9dukey
-
10stark naked
閲覧履歴
 | 「Presburger arithmetic」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
