数理論理学

数shù理lǐ逻luó辑jí

意味

  • 名 数理論理学すうりろんりがく

例文

数shù理lǐ逻luó辑jí是shì数shù学xué的de重zhòng要yào分fēn支zhī。

数理論理学は数学の重要な分野である。

コアイメージ

前提から結論までのつながりを形式化し、証明できるかどうかを明確にする学問

中国語での定義

研yán究jiū如rú何hé用yòng数shù学xué符fú号hào和hé形xíng式shì规guī则zé表biǎo示shì、分fēn析xī并bìng证zhèng明míng逻luó辑jí推tuī理lǐ的de学xué科kē

語源

数理逻辑は、「数理」が数学的な扱いを示し、「逻辑」が前提から結論へ進む推論の仕組みを示す複合語で、数学の記号や形式を用いて論理を研究する学問を表す語

コラム

  • 数理逻辑と関わりの深いブール代数では、真と偽を1と0のように表して論理演算を計算でき、この考え方がデジタル回路の設計にも用いられる

「数理論理学」は英語では

おすすめの単語帳

1 / 1
↑ TOPへ