If you're doing it for programming, number theory, linear algebra, graph theory, and abstract algebra are important in certain domains. It's good to be able to prove things inductively as ...

Noncommutative algebra ... attributes. Linear Matrix Inequality (LMI): A condition expressed as a linear inequality involving matrices, widely applied in control theory and optimisation problems.