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
無矛盾性と妥当性の抽象的な基準を確立するために、命題の内容からその形式を捨象する論理体系
同義語 上位語 - logical system論理体系
- logic論理
- system of logic論理体系
下位語 - Boolean algebraブール代数
- Boolean logicブール論理
- propositional calculus命題論理学
- propositional logic命題論理
- functional calculus関数解析
- predicate calculus述語計算
- modal logic様態論理
- fuzzy logicファジー論理