プログラム検証論を読む

AIMAをかじったところ、論理について少し見通しがでてきた。

そこでこれを機会にプログラム検証論の基本も見ておこうと思う。

本はこれ。

プログラム検証論

仕事の中でも、書籍の中でもユニットテストとか検証とかでてくるのですが、一度数学的見地がどうなっているのかみてみたいなぁと思ってました。

というわけで、こつこつ、再開します。