<< 作成日順に読む | ● 全体の体系 <--- 最初にお読み下さい。 | way out >> |
命題論理 | (01) 命題論理と真理値表 | (02) 仮言命題 |
(03) 仮言命題と部分集合 | ||
述語論理 | (01) 述語論理と関数 | (02) タイプ理論 |
(03) 「すべての」と「いくつかの」 | (04) 単称化と存在化 | |
(05) 量化の論理法則 | (06) 量化の練習問題(その1) | |
(07) 量化の練習問題(その2) | (08) 反射性・対称性・移行性 | |
(09) 関係の論理 | (10) 反射性の証明 | |
(11) 広義の述語論理 | (12) 述語の述語 | |
(13) メタ言語 | (14) 複文と単文 | |
(15) 述語論理の公理系 | (16) ゲーデルの完全性定理 | |
(17) 原始帰納的関数と計算可能性 | (18) ゲーデルの不完全性定理 | |
(19) 計算可能関数 | (20) チューリング・マシーン | |
集合論 | (01) セットとクラス:歴史的概観 | (02) セットとクラス:定義の違い |
(03) セットとクラス:現象的な違い | (04) 「集める」と「並べる」 | |
(05) 「直積集合」と「写像集合」 | (06) 「属する」と「含む」 | |
(07) 空集合と順序数 | (08) 空集合と仮言命題 | |
(09) 集合と排中律 | (10) 不動点 | |
(11) 不動点定理と不完全性定理 | (12) 同値関係 | |
(13) 全射・単射・双射 | (14) 集合論の公理系: ZFとBG | |
(15) 整列定理と選択公理 | ||
推論 | (01) 反証と矛盾 | |
ブール代数 | (01) ブール関数と真理関数:f(p∧q) | (02) ブール関数と真理関数:f(p∨q) |
[ END ] |
<< HOME | ページのトップ ▲ | 作成日順に読む ▼ | way out >> |