Since you are also into programming, I would recommend studying some discrete math. Discrete Mathematics and Its Applications by Kenneth H. Rosen is rather friendly and instructive on how to do proofs.