语言
没有数据
通知
无通知
理学、心理学の発展と多くの臨床観察からこれらはかなりの部分受け入れられるようになった。また、この学説は弟子らによって受け継がれ、改善され、発展した。特にエリク・H・エリクソンの功績が大きい。 フロイトは人格形成をすべて広義の性欲(リビドー)に求め説明した。この考えは後に汎
論理
推論 > 論理的推論 論理的推論(ろんりてきすいろん、英: logical reasoning)は、論理学において演繹、帰納、アブダクション(仮説形成)の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)
など)に対してのみ真であるのに対し、真理関数的恒真式は、それが含む論理連結語(「または〈or〉」、「かつ〈and〉」、否定論理和〈nor〉など)に対しても真である。全ての論理的真理がこの種の恒真式であるとは限らない。 論理連結語や量化子などの論理定項は、全て概念的に論理的真理に還元することができる
対偶(たいぐう、英: Contraposition)とは、ある命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 命題「AならばB」の対偶は「BでないならばAでない」である。 論理記号として「ならば ( ⇒ {\displaystyle \Rightarrow
統計的場の理論 (statistical field theory) は、自由度が一つの場や複数の場からなるような統計力学の任意のモデルである。言い換えると、系のミクロ状態(英語版)が、場の構成を通して表現される。これは密接に場の理論に関係していて、場の量子力学を記述し、繰り込みのような多くの
計算理論(けいさんりろん、Theory Of Computation)または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算(Computation)とは、数学的に表現できる、あらゆる種類の情報処理のこと。
計算複雑性理論は計算可能関数の計算の複雑さを扱う。計算理論のもう一つの重要な分野である計算可能性理論では問題の解法があるかどうかだけを扱い、その複雑さや必要とする計算資源量は問わない点が異なる。 具体的には、計算複雑性理論