This would be an upper level undergraduate class, probably juniors and seniors.

You would have taken courses in discrete mathematics and data structures and algorithms as prerequisites, and have familiarity with proofs and some degree of mathematical maturity.

You build yourself up to a class like this by taking all the prereqs, same as any other high school graduate.