今、情報数学とい授業で

命題
集合
写像
整数の性質（整除性、Euclidの互除法、合同式）
関係
ハッセ図
群
環
体

というのを勉強してますが
これはなんという数学のジャンルなんですか？

一応、池袋のジュンク堂の「情報数学」というところで
問題集を買おうと思ったんですが
上にあげたのを扱ってるのがありませんでした。

よろしくお願いします。