(0)
(4)
(4)
(0)
(0)
| ブログで紹介する» |
|
Check |
|
|
みんなのタグ
みんなの感想・レビュー・書評
みしょさんのレビュー
教科書として，講義と併用している。所有。
大学の講義（情報科学科3年次夏学期）の教科書として指定されていた。講義に出つつ読んでいる。
計算論理についてものすごくたくさんのことが書かれている。集合論に始まり，命題論理・述語論理・様相論理・計算可能性，そしてλ計算。
論理は学ぶのは面白いけど，でも僕は大学院生なんだから，それだけじゃダメだよね，と思いながら，何か得られるものを探している。
<a href=http://www.misho-web.com/bookshelf/47>みしょのねこごや - Bookshelf No.47</a>
2009-01-16
|
詳細・コメントする»
全2レビュー中 1 - 2件を表示
外部サイトの商品情報・レビュー
