вообще он называется "Арифметические и логические основы вычислительных систем", но я так понял там дискретная математика?