数学についてのwebノート
更新履歴。
2012年12月21日金曜日
∨導入則・∨除去則
命題論理の自然演繹:∨導入則・∨除去則
。ナビゲーション・リンク切れの修正
実ベクトル空間の部分ベクトル空間の次元
実ベクトル空間の部分ベクトル空間の次元
。
大枠の外観リフォーム完了。
解析学のビブリオグラフィー
解析学のビブリオグラフィー
。
リンク切れ予定箇所の事前削除。
2012年12月20日木曜日
命題論理における自然演繹の推論規則・公理の最小限のセット
命題論理の自然演繹
に、
命題論理における自然演繹の推論規則・公理の最小限のセット
主要テキストの「自然演繹の推論規則・公理」
を追加。
1変数関数の属性と諸類型:項目「単射」
1変数関数の属性と諸類型
から、
1変数関数の単射(1対1)
を別ページに独立させたのに伴い、
1変数関数の属性と諸類型
の項目「
単射
」の説明を大幅に削除。
線型代数のビブリオグラフィ
線型代数のビブリオグラフィー
。
リンク切れ予定箇所の事前削除。
2012年12月19日水曜日
⇒導入・除去則
⇒導入則・⇒除去則
。ナビゲーション・リンク切れの修正
1変数関数の単射(1対1)
1変数関数の属性と諸類型
から、
1変数関数の単射(1対1)
を別ページに独立させる。
論理と集合論のビブリオグラフィー
論理と集合論のビブリオグラフィー
。
リンク切れ予定箇所の事前削除。
2012年12月18日火曜日
選言disjunction・論理和logical sumをあらわす論理記号A∨B
論理記号一覧
の
選言
disjunction
・論理和
logical sum
をあらわす論理記号
A
∨
B
について、
体裁改善、
論理式「
P
∨
Q
」の意味論
へのリンク付加。
部分ベクトル空間の和・直和分解・補空間
実ベクトル空間の部分ベクトル空間の和・直和分解・補空間
。
大枠の外観リフォーム完了。
数学全般にかかわる文献のビブリオグラフィー
数学全般にかかわる文献のビブリオグラフィー
。
リンク切れ予定箇所の事前削除。
2012年12月17日月曜日
排中律
命題論理の自然演繹:排中律
を新規作成、アップロード。
一次写像と一次独立
実ベクトル空間のあいだの一次写像と一次独立
。
大枠の外観リフォーム完了。
遠山啓 『代数的構造』 ちくま学術文庫 (2011年)
代数のビブリオグラフィー
に、
遠山啓 『代数的構造』 ちくま学術文庫 (2011年)
を新規追加。
‹
›
ホーム
ウェブ バージョンを表示