mathematical logicの語源
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
mathematical logicの意味
- 1名詞
意味 数理論理学
study of formal reasoning
形式的なシステムや記号論理の研究
study of formal systems and symbolic reasoning
和訳例 - 数理論理学
- 数学的論理
- 形式論理
例文 Mathematical logic is foundational for computer science.
数理論理学はコンピュータサイエンスの基礎です。
He specializes in mathematical logic.
彼は数理論理学を専門としています。
mathematical logicのWordNet
- 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
- formal logic
- symbolic logic
上位語 a system of reasoning
推論のシステム
下位語 a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
真理が0から1の間の連続値を取ることができる数学的論理の一形式
a system of logic whose formal properties resemble certain moral and epistemological concepts
形式的特性が特定の道徳的および認識論的概念に類似する論理システム
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
個体と述語、個体に対する量化（および命題間の関係）を表現する記号論理のシステム
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
命題を単位として扱い、それらの組み合わせやそれらを関連付ける論理結合子に関する記号論理学の一分野
a system of symbolic logic devised by George Boole; used in computers
ジョージ・ブールが考案した記号論理のシステム；コンピュータで使用される
