I've been going through various MIT OCW lecture series as I work on a personal programming project.

Esp. good were:

https://ocw.mit.edu/courses/6-001-structure-and-interpretati...

and

https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-...