[bagsvaerd70]

If you don't find any official degree online you can always stick to a bootcamp course that is similar to Harvard Math 55. It has had several forms. The most interesting ones being either Halmos + Rudin (plus many aids such as Gelbaum & Olmsted) or just Hubbard & Hubbard. Either way you will get a very solid introduction to mathematics that covers algebra and analysis, in a really rigorous way.

However, being a computer scientist I think a different approach to mathematics can be more enjoyable and also much more useful for many theoretical and practical developments that are yet to come. The downside is that materials are a lot less cohesive (any other references appreciated!). I'm talking about an approach with a focus on the foundations of mathematics, emphasizing logic, category theory and type theory.

Some links:

http://www.paultaylor.eu/~pt/prafm/

https://ncatlab.org/nlab/show/computational+trinitarianism

https://softwarefoundations.cis.upenn.edu/

http://adam.chlipala.net/frap/

http://concrete-semantics.org/

[llamaz]

I've read parts of Halmos + Rudin, and I think that they would be a fast track to higher level pure math, but I've known people who've gone down such path and end up being able to prove Fubini's theorem using measure theory without understanding what it means.

The ideal approach for a self learner, which would simulate the university experience, would be doing as many problems in Schaum's outlines for math subjects and supplementing the info with textbooks/online resources.

[jonahx]

Which of those links do you most recommend, if any?