その名も「プログラマーのための数学」という本があるぞ
旧ソ連発行　本棚にあるが探してくるのが面倒

普通には線形代数と集合代数だけやっとけばOK
集合代数は多用するので必須　決定表、カルノー図は自由に使えるように　グレイコードは趣味で
それに比べたら線形代数はジャンルによってはほとんど必要ない