コンピューター用語辞典

日外アソシエーツ株式会社

mathematical logic

数理論理学

自然言語のもつあいまいさ及び論理的不十分さを避けるために選定された人工言語を用いて,正当な論証及び演算を行う学問分野.

参照

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

mathematical logic

数学論理学; 数理論理学; 数学的論理学

日本語WordNet(英和)

日本語WordNet

mathematical logic

名詞

1. 一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系(any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)
「mathematical logic」に関する類語一覧

日英・英日専門用語辞書

日中韓辭典研究所

mathematical logic

数理論理学，記号論理学，数理論理

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

: mathematical logic

数理論理学
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。

mathematical logic

数理論理学, 数学的論理学

symbolic [mathematical] logic

記号論理学
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Wiktionary英語版

出典：Wiktionary

mathematical logic

出典:『Wiktionary』 (2025/05/27 21:36 UTC 版)

名詞

mathematical logic (usually uncountable, plural mathematical logics)

  1. (logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.
    Synonyms: formal logic, symbolic logic

閲覧履歴

全履歴クリア

・Mathematical Logic
・ezba
・TEREPHTHALATE
・Thoracoscopic
・your face
・logging in
・translate
・Bowers
・seduces
・poping
単語帳に追加

Mathematical Logicのページの著作権