语言
没有数据
通知
无通知
形式論理(けいしきろんり)とは、 近代(哲学からの影響の薄れた)以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。 (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale
カルタン カルタン (薬剤) (Caltan) - 沈降炭酸カルシウムの薬剤の商品名。 カルタン (ロシア)(ロシア語版) (Калтан) - ロシア・ケメロヴォ州の都市 姓 (Cartan) エリ・カルタン - フランスの数学者。 アンリ・カルタン - フランスの数学者。エリ・カルタンの息子。
数学において、モーレー・カルタンの微分形式 (Maurer–Cartan form) あるいはMaurer–Cartan 形式とは、リー群の上に自然に定められ、群構造の無限小近似を与える1次微分形式のことである。エリ・カルタンによる動標構の理論の中で大きな役割を果たし、この理論に貢献のあったルートヴィヒ・マウラー(英語版)
非形式論理学(ひけいしきろんりがく、英: Informal logic)は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的(formal)な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。非形式論理
重力相互作用(万有引力)--電磁相互作用--弱い相互作用--強い相互作用 分子--原子--核子 素粒子--光子--ウィークボソン--グルーオン--重力子--電子--ミュー粒子--タウ粒子--ニュートリノ--クォーク--中間子--バリオン--超対称性粒子--アクシオン 弦理論 暗黒物質(ダークマター) 物理学用語一覧 -- 物理法則一覧
非線形物理学(ひせんけいぶつりがく、英: Nonlinear physics)は、非線形な系を扱う物理学の分野である。カオス理論、ソリトン、格子振動で調和近似の成り立たない場合、線形な方程式では記述できない流体力学分野などがこの学問分野の対象となる。 非平衡 複雑系 非線形科学 表示 編集
ー群Gとその閉部分リー群Hの組 ( G , H ) {\displaystyle (G,H)} を等質空間 M = G / H {\displaystyle M=G/H} 上に「幾何学を保つ」変換群Gが作用しており、X上の一点の等方部分群がHであるとみなしたものである。
形式科学(けいしきかがく、英: formal science)とは形式体系に関係する科学の総称である。論理学、数学、システム科学に加え、計算機科学、情報理論、情報学、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野(たとえば計算機科学であれば理論計算機科学)がこれに含まれる。