分野一覧
相互に関連した体系的な記事のリストです.
統計学とデータ分析
統計的因果推論と効果検証
その他
数理論理学
数学が専門でない方へ
命題論理の健全性と完全性
1. 命題論理とは
2. 論理式とモデルの定義
3. 論理的帰結と証明可能性
4. 演繹定理
5. 完全性定理
6. コンパクト性定理
【PDF】命題論理の健全性と完全性(上記の内容をPDFにまとめたもの)
一階述語論理の健全性と完全性
1. 論理式と構造
2. モデルと論理的帰結
3. 形式的証明と健全性
4. モデルの存在定理と完全性
【PDF】一階述語論理の健全性と完全性(上記の内容をPDFにまとめたもの)