语言
没有数据
通知
无通知
min(A)} は有限集合 } 上の関係 を、 f (をみたす最大の b ∈ B に対して f(b) は整列集合であり、その順序数は (A,
となり合わせになっていること。
は、可換代数の場合の積分を変数に取る指数函数に相応する、非可換代数上で定義される演算である（経路順序積 (path-ordered product) や時間順序積とも）。実用上は、行列環あるいは作用素の代数において順序指数函数を考える。 K は実または複素数体、A は K 上の代数とする。写像 a: K →
集合論および順序論における順序数の後者 (successor) あるいは後続順序数（こうぞくじゅんじょすう、英: successor ordinal）とは、与えられた順序数 α に対し、α より大きい最小の順序数を言う。 0 を除く任意の順序数は後続順序数か極限順序数の何れかである。
集合論および順序論（英語版）における極限順序数（きょくげんじゅんじょすう、英: limit ordinal）は 0 でも後続順序数でもない順序数を言う。あるいは、順序数 λ が極限順序数であるための必要十分条件は「λ より小さい順序数が存在して、順序数 β が λ より小さい限り別の順序数 γ が存在して
順接（じゅんせつ）とは、 前に述べたことが、後に述べることの原因・理由となること。「だから・それで」など。 接続詞または接続助詞の機能的な分類の一つ。→ 接続詞#日本語の接続詞 プログラムの記述とコンピュータの動作経過が一致するプログラム構造。→ 構造化プログラミング
数学では、代数的K-理論（だいすうてきK-りろん、algebraic K-theory）は、ある非負な整数 n に対して環からアーベル群への函手の系列 K n ( R ) {\displaystyle K_{n}(R)} を定義して適用することに関係したホモロジー代数の重要な一部である。歴史的理由により、低次
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学や理論計算機科学などがある。
搜索 
搜索 搜索 
