I'm not familiar with a statistics book that fits well into your situation. In my experience, statistics texts typically follow the intuition/cookbook route or

I'm not familiar with a statistics book that fits well into your situation. In my experience, statistics texts typically follow the intuition/cookbook route or assume a good bit of analysis. For CS, I highly recommend Ryan O'Donnell's stuff. For something to ease you into it, consider Harry Porter's intro CS lectures [1]. [1] https://www.youtube.com/playlist?list=PLbtzT1TYeoMjNOGEiaRmm_vMIwUAidnQz https://www.youtube.com/playlist?list=PLbtzT1TYeoMjNOGEiaRmm...