線型代数のビブリオグラフィ

線型代数のビブリオグラフィー。
リンク切れ予定箇所の事前削除。

⇒導入・除去則

⇒導入則・⇒除去則。ナビゲーション・リンク切れの修正

1変数関数の単射(1対1)

1変数関数の属性と諸類型から、1変数関数の単射(1対1)を別ページに独立させる。

論理と集合論のビブリオグラフィー

論理と集合論のビブリオグラフィー。
リンク切れ予定箇所の事前削除。

選言disjunction・論理和logical sumをあらわす論理記号A∨B

論理記号一覧の選言disjunction・論理和logical sumをあらわす論理記号A∨Bについて、
体裁改善、論理式「P∨Q」の意味論へのリンク付加。

部分ベクトル空間の和・直和分解・補空間

実ベクトル空間の部分ベクトル空間の和・直和分解・補空間。
大枠の外観リフォーム完了。

数学全般にかかわる文献のビブリオグラフィー

数学全般にかかわる文献のビブリオグラフィー。
リンク切れ予定箇所の事前削除。

排中律

命題論理の自然演繹：排中律を新規作成、アップロード。

一次写像と一次独立

実ベクトル空間のあいだの一次写像と一次独立。
大枠の外観リフォーム完了。

遠山啓 『代数的構造』 ちくま学術文庫 (2011年)

代数のビブリオグラフィーに、
遠山啓 『代数的構造』 ちくま学術文庫 (2011年)を新規追加。