This is THE way to learn math as a programmer: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ With the added bonus that

This is THE way to learn math as a programmer: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ With the added bonus that you learn how to prove software correct.