2017-04-27から1日間の記事一覧
5月は論理学をやろうかな 初歩的なやつ。1階述語論理+ゲーデルの不完全性定理。あと様相論理について概要を知りたいかも 教材は、持ってる以下の本を前半にやって、後半は図書館かKindleでなにかを調達しようと思う 定番 論理学 | 野矢 茂樹 |本 | 通販 | A…
5月は論理学をやろうかな 初歩的なやつ。1階述語論理+ゲーデルの不完全性定理。あと様相論理について概要を知りたいかも 教材は、持ってる以下の本を前半にやって、後半は図書館かKindleでなにかを調達しようと思う 定番 論理学 | 野矢 茂樹 |本 | 通販 | A…