記号論理学
さんの情報は
生没年不詳
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学〔コンピュータ科学〕や理論計算機科学などがある。 数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくにACM Classificationに現れるもの）における数理論理学の役割の詳細はこの記事には含まれていない。詳細は計算機科
※Wikipediaの情報から機械的に算出しています。
情報の正確性を保証するものではありません。
「記号論理学」を
Wikipediaで調べる
「記号論理学」さんについての
一言コメント
まだコメントはありません。