语言
没有数据
通知
无通知
線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるまでその条件は真であるとかいった将来の出来事について論理式で表すことができる。 LTL では変項 p 1
線形応答理論を使って、磁場や電場に対する、磁化率や電気伝導などの応答を扱うことができる。結晶格子内での格子のずれ（変位）を外場として、線形応答を使って変位に対する応答としてのフォノンの振動数や状態密度などを求めることができる（→DFPT法）。 変位の応答の虚部、あるいは流れの応答
果が得られた。そのため、現代制御論と言えば線形システム論を指すことが多い。非線形システムであっても、平衡点近傍で線形近似したものを対象に制御系を設計することでうまく行くことが多く、応用範囲は非常に広い。 状態方程式 (state equation) 一階線形定係数常微分方程式 x ˙ ( t ) =
事象と比較して簡潔であり、さらに既存の知識や常識とは反する自明ではない結論を導き出し、しかも原因としての独立変数と結果の従属変数を繋ぐ枠組みが明快でなければならない。最後に理論はその真偽を問うことが可能な性質、つまり反証可能性を保持しなければならない。以上の理論の対象となっている事象の重要性や実務的な実践性を加えることもできる。
2)は無限個の生成子からなる代数(ヴィラソロ代数)の部分代数となる。ヴィラソロ代数から得られるヒルベルト空間に対する制限は強力であり、ミニマル模型と呼ばれる模型群に対しては、(これには臨界点上の2次元イジング模型も含まれる)全ての相関関数の振る舞いをヴィラソロ代数
形式論理（けいしきろんり）とは、 近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。 (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale
非線形システム論（ひせんけいシステムろん、英語: nonlinear system theory）とは、線形システムでないシステム、特に非線形の常微分方程式で表された系を対象とした制御理論であり、その対象は実に多岐に渡る。 その中でも、状態方程式が無限回微分可能であるものについて集中的に研究され、
非形式論理学（ひけいしきろんりがく、英: Informal logic）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。非形式論理
搜索 
搜索 搜索 
