http://pc11.2ch.net/test/read.cgi/tech/1200237296/995
＞計算論　高橋正子って予備知識必要？

かなり必要。定理、証明のスタイル。数学書みたいな感じ。