DiQt
団体様向け
ログイン
編集を行うために、ログインしてください。
ホーム
辞書
英語 - 英語
Presburger
検索結果- 英語 - 英語
検索内容:
Presburger
Presburger arithmetic
noun
(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
is
a
decision
procedure
for
the
first-order
theory
of
the
natural
numbers
with
addition.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
Webで検索する
英語 - 英語
項目
項目（1182732）
項目を追加する
項目の編集履歴（12）
項目の審査中の編集(1)
例文
例文 （1692487）
例文を追加する
例文の編集履歴（19）
その他
編集者 （21）
編集ガイドライン
クレジット
ログイン / 新規登録
ログイン
ログイン
メールアドレス
パスワード
ログイン情報を記憶する
パスワードを忘れましたか？
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていませんか？
新規登録
新規登録
新規登録
名前
メールアドレス
パスワード
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていますか？
ログイン
アプリをダウンロード！
DiQt（ディクト）
無料
★★★★★
★★★★★
