ヅラッシュ！ by NI-Lab.

矢向 高弘, 大西 公平, 村上 俊之 著 / コンピュータの数理 数理工学基礎シリーズ

ブール代数の基礎で、「ここで記号・や∨は2項演算子(binary operator)と呼ばれる」としか無くて、・や∨については説明してくれないのね(先にそれぐらい勉強しておけってことかな？)。

目次を見ると、一通りの基礎的なことが載っている感じだけど、読みにくいからとばし読みorパスかなぁ。前半部分は再勉強しておきたい内容なんだけど。