「概念記法」を解説文に含む見出し語の検索結果(1～10/95件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「『概念記法』の意義」の解説Terrell Ward Bynu...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「関係の祖先」の解説関係の祖先の最初の定式化（第3章§23- ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「数学的帰納法」の解説数学的帰納法の証明の最初の論理的分析（第...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「第二階の量化」の解説（§10）。フレーゲは,Φ（A）において...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「量化理論」の解説量化理論の発明（§11 一般性）。「すべての...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「命題関数」の解説命題関数の発明（第1章§9 関数）。「水素は...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「他の仕事への影響」の解説『概念記法』がドイツの数学文献の中で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「推論規則」の解説モドゥス・ポネンスは我々が ⊢...
読み方：ふれーげ［1848〜1925］ドイツの数学者・哲学者。論理主義の立場から数の理論の基礎づけを試み、現代の記号論理学の創始者となった。また、語や文の「意義」と「意味」を区別して、言語分析哲学の基...
読み方：ふれーげ［1848〜1925］ドイツの数学者・哲学者。論理主義の立場から数の理論の基礎づけを試み、現代の記号論理学の創始者となった。また、語や文の「意義」と「意味」を区別して、言語分析哲学の基...
< 前の結果 | 次の結果 >
>>
「概念記法」の辞書の解説