Jan van Eijck's »The Haskell Road to Logic, Maths and Programming« does exactly that: it introduces you to mathematical proofs, basic logic issues (including relations) and programming using Haskell. I'd wholeheartedly recommend it to someone who's not yet had much contact to maths.
Comments
http://homepages.cwi.nl/~jve/HR/
Jan van Eijck's »The Haskell Road to Logic, Maths and Programming« does exactly that: it introduces you to mathematical proofs, basic logic issues (including relations) and programming using Haskell. I'd wholeheartedly recommend it to someone who's not yet had much contact to maths.