mathematical logicの語源
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
mathematical logicの主な意味と例文
1名詞数理論理学
意味 - 数理論理学
- 数学的論理
- 形式論理
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
ジョージ・ブールが考案した記号論理のシステム；コンピュータで使用される
