公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。 現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理(Axiom of Choice)を加えた ZFC公理系(Zermelo-Fraenkel
排他的論理和(はいたてきろんりわ、英: exclusive or / exclusive disjunction)とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算(論理
代数的K理論
数学では、代数的K-理論(だいすうてきK-りろん、algebraic K-theory)は、ある非負な整数 n に対して環からアーベル群への函手の系列 K n ( R ) {\displaystyle K_{n}(R)} を定義して適用することに関係したホモロジー代数の重要な一部である。歴史的理由により、低次
Lee commented
Lee commented
Lee commented
yuhui liao commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented