What I also find useful is getting practices with bottom up approach. In math the way ideas are developed and presented are first with the low level definitions

What I also find useful is getting practices with bottom up approach. In math the way ideas are developed and presented are first with the low level definitions and axioms, and then from there using logic those ideas are combined to prove more complicated theorems which can be used to solve other problems more easily. Similar to how programs can be built starting off with the low level details and then building abstractions on top of those to make dealing with other problems more easily. This skill in and of itself is useful regardless of the type of application one develops and how much actual math a problem needs.