分野一覧

相互に関連した体系的な記事のリストです.

統計学とデータ分析

統計的因果推論と効果検証

【効果検証】合成コントロール法による反実仮想データの作成

その他

RStudioで自動保存できるようにする方法

数理論理学

数学が専門でない方へ

【数学が専門でない方へ】数理論理学とは何であり何でないのか

命題論理の健全性と完全性

1. 命題論理とは
2. 論理式とモデルの定義
3. 論理的帰結と証明可能性
4. 演繹定理
5. 完全性定理
6. コンパクト性定理

【PDF】命題論理の健全性と完全性(上記の内容をPDFにまとめたもの)

一階述語論理の健全性と完全性

1. 論理式と構造
2. モデルと論理的帰結
3. 形式的証明と健全性
4. モデルの存在定理と完全性

【PDF】一階述語論理の健全性と完全性(上記の内容をPDFにまとめたもの)