Suppose I claim that logic is as useful as we need it to be, at the time we need it. Computers are useful, programs that run correctly are useful, quantum algorithms are useful. That's why all the algebra and different representations of quantum symmetries. It's why there are people trying to build 'topological' quantum computers. Or it's why there are so many papers on arxiv about braid groups, the Yang-Baxter equation, and TL algebras. This is all the stuff computer graduates will need to know about if they want to program a QC "correctly and usefully". Like how you can do this if you know one or two computer languages, and maybe can write assembler code. Maybe you know about the electronics as well and how transistors work.