論理式と算術式の混じった公式

質問

ハッカーのたのしみ、と言う本を読んでいるのですが、例えば、

x + y = (x xor y) + 2(x & y)
(x, yは32bit整数)

や、

abs(x - y) <= (x xor y)
(x、yは符号無し32bit整数)

と言うように論理式と算術式の混じった公式が多数出ています。このような式を扱う数学の分野って、あるんでしょうか？ 群論や体論で説明できる範囲の公式なんでしょうか？

(なぜこんな質問をするのかと言うと、今読んでいる「ハッカーのたのしみ」では証明がほとんど省かれているため、入門書のような物があれば読んでみたいのです。群論や体論の範囲でOKなら、それらの入門書を読もうと思っています。)

はるか昔、群論をかじった経験はありますがきれいさっぱり失念しています(涙)。そんな私にどなたかアドバイスを下さると幸いですm(_ _)m。

回答No.1

ojisan7 · ベストアンサー

群論や体論についてご存じのようですので、「束論」についても一度は目を通しておかれることを、お薦めします。コンピューター関連でいえば、「束論」といっても「ブール束」になります。独断もあるかもしれませんが、群論や体論よりは易しい分野だと思います。是非挑戦してみて下さい。