論理と計算の仕組み

論理と計算のしくみ

論理の勉強のために読みました。

情報系の論理学の教科書ではわかりやすいほうではないでしょうか。

論理学は結構とつっきづらくて、且つ理解しずらいイメージがあります。

特に大学で習った時の論理学は半分トラウマになりましたｗ

萩谷先生が公開している授業のスライド(情報論理の壺)を見ながら読むとわかりやすいと思います。

エルブラン解釈とかはこれで理解したようなもんです。