Mathematical Thinking in Computer Science (Coursera)
Introduction to Mathematical Thinking (Coursera)
Introduction to Logic (Coursera)