Constructive mathematics reconsiders traditional foundational approaches by emphasising explicit constructions and algorithmic content rather than relying solely on non-constructive existence proofs.

Algebraic structures, encompassing groups, rings, fields and modules, have long formed the backbone of modern mathematics. Category theory, with its focus on objects and morphisms, provides a unifying ...

If you are interested in the real-world applications of numbers, discrete mathematics may be the concentration for you. Because discrete mathematics is the language of computing, it complements the ...