野矢茂樹 『入門！論理学』 中公新書

論理と集合論のビブリオグラフィー。
野矢茂樹 『入門！論理学』 中公新書に、
e-hon,honya-club書誌情報へのリンク追加。

計量実ベクトル空間に定義された内積の性質

計量実ベクトル空間に定義された内積の性質(シュヴァルツの不等式、三角不等式)。
大枠のみリフォーム。

論理式の定義・命題論理の意味論各項目へのリンク を目次に追加

論理目次に、
命題論理における論理式の定義下記項目・命題論理の意味論下記項目へのリンク を追加。

• 命題論理における論理式の定義：
  • 命題記号・原子式[命題変数/命題定数]/論理記号・結合子
  • 論理式 / n個の命題変数から帰納的に定義される論理式 / 論理式の形成木 / 部分論理式

• 命題論理の意味論：真理値/真理域・真理値集合/真理値割りあて/論理式の付値/真理関数/真理値表/充足・モデル/論理式の真理値の決定原理/真理値分析　

「論理式の付値」「命題変数の真理値割り当て」「充足・モデル」

命題論理の意味論～真理値・真理関数・真理値表～についてのノートを、加筆修正。

・ 項目「論理式の付値」を修正
・ 項目「論理式の付値」から項目 「命題変数の真理値割り当て」を独立
・新たに項目「充足・モデル」を追加

アンリ・ルベーグHenri Lebesgue(吉田耕作・松原稔訳) 『積分・長さおよび面積』 共立出版 (1969年)

測度論とルベーグ積分のためのビブリオグラフィー。
アンリ・ルベーグHenri Lebesgue(吉田耕作・松原稔訳) 『積分・長さおよび面積』 共立出版 (1969年)から、
e-hon,honya-club,twitter検索へリンク。

竹之内脩 『ルベーク積分』 培風館 (1980年)

測度論とルベーグ積分のためのビブリオグラフィー。
竹之内脩 『ルベーク積分』 培風館 (1980年)から、
e-hon,honya-club,twitter検索へリンク。

斎藤正彦 『線型代数入門』 東京大学出版会 (1966年)

線型代数のビブリオグラフィーを更新。
斎藤正彦 『線型代数入門』 東京大学出版会 (1966年)
に 楽天リンク設置。

広義積分の性質

広義積分の性質のノートに、
トピック一覧をつける。

命題論理における推論の意味論

命題論理における推論の意味論を新規作成、アップロード。

有理数べき

累乗(べき)と指数法則～指数を有理数に限定しての、ルート表示不具合修正。