2011年12月1日木曜日

二項述語二重量化∀x ∃y P(x,y)

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)の定義・意味・読み
冒頭に要旨。一部加筆修正。

数ベクトルの線形独立/線形従属定義

一般の数ベクトルの線形独立/線形従属定義をメンテ。
一般の数ベクトル空間定義をメンテ。
二つの2変数関数と一つの2変数関数との合成関数の微分
 二つの1変数関数と一つの2変数関数との合成関数の微分
メンテ。

5項述語4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4

5項述語・5変項命題関数の4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4 P(x1, x2, x3, x4, x5)の定義・意味・読みを作成。アップロード。

2011年11月16日水曜日

「数列の定義」「数列の収束・極限値の定義」等

「数列の定義」「数列の収束・極限値の定義」等についてのノートを更新。

単調数列のノート有界数列のノートの独立化にともなって、

ビギナー向けの説明のみを残し、詳しい説明を削除。

二項述語・2変数命題関数の例

二項述語・2変数命題関数についてのノート。メンテ了。

一変項述語・1変数命題関数の普遍量化の集合表現

一変項述語・1変数命題関数の普遍量化の集合表現 のメンテ了。

命題関数の普遍量化 ∀x P(x)の集合表現
命題関数の否定と量化
全否定「∀x∈Ω ¬P(x)」 「¬ (∃x∈Ω P(x) )」の集合表現 
部分否定の集合表現 
述語・命題関数の普遍量化 ∀x (P(x)Q(x))の集合表現  
述語・命題関数の普遍量化 ∀x (P(x)Q(x))の集合表現

論理記号

論理記号一覧のメンテ完了。

2011年11月14日月曜日

二項述語・2変項命題関数の二重量化∀x∈S ∃y∈T P(x,y)

二項述語・2変項命題関数の二重量化∀x∈S ∃y∈T P(x,y)の定義・意味・読みを加筆修正アップロード。

一項述語・1変数命題関数

項述語・1変数命題関数。メンテ了。

論理から集合へ:論理演算で組み合わせた述語・命題関数

下記項目のノート。メンテ完了。
命題関数  ¬P(x)の真理集合  
命題関数P(x)Q(x)の真理集合 
命 題関数P(x)Q(x)の真理集合 
命題関数P(x)Q(x)の真理集合
命題関数P(x)Q(x)の真理集合

命題関数  ¬P(x)の集合表現 
命題関数P(x)Q(x)の集合表現 
命題関数P(x)Q(x)の集合表現

集合関数の例としてのリーマン積分についてのノート

集合関数の例としてのリーマン積分についてのノート。メンテナンス了。

2011年9月20日火曜日

2011年8月29日月曜日

2011年7月1日金曜日

2011年3月30日水曜日

2011年2月20日日曜日

集合から論理

集合から論理へを更新。これで、集合から論理への体裁だけは揃う。次は、論理から集合へ。

2011年1月30日日曜日

2011年1月26日水曜日

2011年1月25日火曜日

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

それなりに便利のように思えるので、
線型代数のビブリオグラフィー
にも、ヤフオク古書検索機能を追加。

2011年1月19日水曜日

対数log―リンク切れ修正

対数logのノートのリンク切れを修正

数列と数列の極限―リンク切れ修正

「数列の定義」「数列の収束・極限値の定義」等についてのノートのリンク切れを修正。

反比例―リンク切れ修正

1変数関数y=1/xの性質」のリンク切れを修正。

「関数y=x^3の性質」―リンク切れ修正

1変数関数y=x3の性質のリンク切れを修正。

「関数y=x^2の性質」―リンク切れ修正

1変数関数y=x2の性質のリンク切れを修正。

「関数y=xの性質」のリンク切れ修正

1変数関数y=xの性質のリンク切れ修正。