媒介変数微分公式

証明：媒介変数による微分。数式・文字の体裁改善。

命題論理の証明論・構文論：自然演繹

論理目次に、
命題論理の証明論・構文論：自然演繹
(認めらた操作,推論規則・公理一覧,定理一覧)
へのリンク追加

存在量化の読み下し例を相互リンク。

一項述語・1変項命題関数を存在量化した存在命題。
「∃変項　一項述語」の読み下し例一覧から、

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

へリンク。

Σの行列表現

Σの行列表現の一部数式表示不具合を解消。

凸集合の定義、凸関数(下に凸)の定義

凸関数。
凸集合の定義、凸関数(下に凸)の定義の数式体裁修正。

矩形上の二重積分：分割(矩形網)の定義

矩形上の二重積分の定義についてのノート。
　定義：分割　(矩形網)を、文字・数式体裁修正。.

命題論理の自然演繹における諸定理 【7】結合律1-2の証明

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

1変数関数の高階導関数・高次の微分

1変数関数の高階導関数・高次の微分。
項目「対数関数のｎ階導関数」「ベキ関数のn階導関数」の文字体裁を改善。

ガンマ関数の収束の証明

ガンマ関数についてのノート。
ガンマ関数の収束の証明。数式文字体裁リフォーム。

東大生協店頭在庫:和達三樹,森毅,小形正男

解析学のビブリオグラフィーの下記文献に、東大生協書籍部店頭在庫検索機能を付与。　

•  和達三樹『理工系の数学入門コース1・微分積分』岩波書店
•  森毅『現代の古典解析―微積分基礎課程』ちくま学芸文庫、2006年
•  小形正男『理工系数学のキーポイント7：多変数の微分積分』岩波書店、1996年

を追加。

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

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