第2章で論理演算と状態機械。第3章でプログラミング言語。第4章でチューリングマシン。第5章でアルゴリズム。これを読んだからってプログラムがかけるようにはならないし紹介された個々の概念を理解したことにはならないけれど、少なくとも現代のコンピュータがどういう概念の積み重ねで出来ているかという構造がわかるようになっている。それらがデジタル回路の抽象化の壁を越えてくる確率と「高級言語」で書かれたプログラムのSEGVに出会う確率にはあまりに大きな差がある。論理回路の知識は必要ないと思うなぁ。プロセッサとメモリの概念的なモデルがあればいいような気がする。同意するけど、なんで論理回路まで遡って、かつ、そこで停止するのかがわからん。そこで止まる理由ではないと思う。それより下に立ち入らないでおいたからといって、不都合はない筈だし。簡単で、そのわりに得るものがおおきいよと。それだったら、すんなりわかるんだけど。追記あー、自分で読み返していて気づいた。書いてみた甲斐があったよ(と思いたい)。