命題論理の自然演繹における諸定理 【6】交換律1-1の証明

命題論理の自然演繹における諸定理 【6】交換律1-1の証明を新規作成、アップロード。

微分differential

1変数関数の「微分可能」「微分係数」「導関数」定義。
項目「微分differential」の文字体裁を改善。

論理法則

論理法則をリニューアル。

定義：リーマン・スティルチェス積分

リーマン・スチルチェス積分定義についてのノート。文字体裁の改善

NKにおける冪等律の証明図

命題論理の自然演繹における諸定理 【5】冪等律 idempotent law の証明を新規作成、アップロード。

テイラー展開・マクローリン展開

関数の多項式近似3－テイラー展開・マクローリン展開。数式中の指数表示の不具合を解消。

有限区間での広義積分についての微分積分学の基本定理解析学の基本定理

有限区間での広義積分についての微分積分学(解析学)の基本定理。文字体裁改善。

命題論理の形式的体系の派生規則

命題論理の構文論に、形式的体系の派生規則を追加。

否定の定義・否定除去則導入則の起源

命題論理の自然演繹：￢導入則・￢除去則に、
否定の定義・否定除去則導入則の起源を追加。

存在命題 「∃変項∈S 一項述語」の読み下し例

  「∃変項∈S　一項述語」の読み下し例一覧から、

• ∃x P(x)の読み一覧 
• ∃x P(x,y)の読み一覧 
• ∃x∈X P(x,y)の読み一覧 
• ∀x P(x)の読み一覧 
• ∀x∈X P(x)の読み一覧 

へリンク。

1変数関数のテイラーの定理の指数。

1変数関数のテイラーの定理。数式中の指数表示の不具合を解消。

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

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

トートロジー頻出31例

トートロジー頻出31例。【22】のミス修正。

部分集合・包含関係、＝等しい、真部分集合、交わる/互いに素

集合の基本概念－定義と記号。
⊂⊃部分集合・包含関係、＝等しい、真部分集合、交わる、互いに素のパネル化。

実n次元数ベクトル空間におけるsupノルムと距離空間

実n次元数ベクトル空間におけるsupノルムと距離空間。外観大枠のリニューアル。

戸田裕之・山田宏 『計量経済学の基礎： 統計的手法の理論とプログラミング』 東京大学出版会 (2007年)

確率論と統計学のビブリオグラフィー。戸田裕之・山田宏 『計量経済学の基礎： 統計的手法の理論とプログラミング』 東京大学出版会 (2007年)から、e-hon,honya-clubへリンク。

集合の記号：∪、∩、＋、－、△、c

集合の基本概念－定義と記号。
∪和集合union、∩積集合intersection、＋直和、－差集合、△、□^c(補集合)のパネル化。