Most mathy and generalizable CMSC4xx's (considering 433/401/423/454/457/474)?

Hello, I've been looking for what CMSC 400level courses have the most mathy/less projecty (I'm not too confident in my time management skills, and I frequently delete everything because I think I'm doing it wrong) material and the most generalizable material (or otherwise timeless).

CSDW: https://undergrad.cs.umd.edu/4xxinfo

The one's I was considering:

• CMSC 433 / Proglang paradigms: I have a little bit of an interest in type theory but it was listed on the CS Dept Website as being project-oriented, rather than being something that's more theoretical and mathematical. I have heard that the projects shouldn't be too many lines of code per se, but it will require 'more thinking' on my part, which I'm fine with...
• CMSC 401 / GIS algos: at a cursory glance at the textbook, it seemed rather general and not too tied down to applications in geography-type stuff (I probably won't pursue GIS): but the algos that you can use for anything that's remotely spatial it seems.
  • CSDW doesn't list 401 as being mathy. It in fact doesn't list it at all...
• CMSC 423 / Bioinfo algos: Ditto 401, except for anything to do with discrete strings of characters from finite alphabets instead of things that are spatial. IDK if these assessments are correct, and they really are more specialized than I thought. A cursory look through the slidesets seemed to be very mathy.
  • However, the CSDW lists 423 as being a heavily project-oriented course.
• CMSC 454 / data sci algos: This seems fine. I want to take this.
• CMSC 457 / QC: I was told it was 'just linear algebra': if it's too overspecialized I might not want to take it but IDK.
• CMSC 474 / Game theory: This seems fine as well.

Edit: I think I am definitely going to try taking 420, 451, 475, and amsc460. To clarify, I'm mostly caught up between 454/423/401. I'm thinking 454 a bit more over 423/401.