Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00035928n
Noun Concept
Categories: 数学に関する記事, 論理学, 数理論理学, アルゴリズム, 理論計算機科学
JA
数理論理学  記号論理学  数理論理  数理論理学者  論理数学
JA
一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系 Japanese Open Multilingual WordNet
Definitions
Relations
Sources
JA
一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系 Japanese Open Multilingual WordNet
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。 Wikipedia
論理学の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする数学の関連分野 Wikidata
IS A
論理
論理学
HAS PART
述語論理
様相論理
EN
epsilon calculus
ゲーデルの完全性定理
EN
judgment
+12 relations
PART OF
数学
HAS KIND
ブール代数
述語論理
ファジィ論理
様相論理
命題論理
+10 relations
HAS INSTANCE
シグネチャ
DE
Lokalität
HAS QUALITY
量化
USED BY
証明
Japanese Open Multilingual WordNet
JA
形式論理, 形式論理学, 数学的論理学, 記号論理学
Wikipedia
JA
数理論理学
Wikidata
JA
数理論理学
OmegaWiki
JA
数理論理学
Wikipedia Redirections
JA
数理論理, 数理論理学者, 記号論理学, 論理数学
Wikidata Alias
JA
記号論理学, 論理数学
WordNet Translations
JA
形式論理学, 数理論理学, 記号論理学

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License