As someone who works heavily in both math and computers, I can truly appreciate the role that logic plays in our modern world. One cannot understand the foundations of mathematics while lacking knowledge of the basics of logic and how proofs are constructed. Two of the first classes I took as a graduate student in mathematics were in the foundations of mathematics, and hardly a day goes by where I do not use some topic from those courses.