[ecshafer]

That area of computation is a subfield of discrete mathematics, and these are all topics I looked up in my old discrete mathematics textbook.