論理と計算のしくみ(本)
#読書
1
集合論
2.
命題論理
,
述語論理
2階述語論理
及び
高階述語論理
について
3.
様相論理
と
直観主義論理
様相命題論理
,
多重様相論理
,
様相μ計算
4.
計算可能性
原始再帰的関数
など
Presburger算術
1階述語論理の決定不可能性
など
5.
λ計算
型付きλ計算
単純型付きλ計算における値呼び簡約の停止性