Why Study Logic?
l
A basis for computer hardware
l
A basis for computer programming
l
A basis for program optimization
l
A basis for specification
l
A basis for verification and testing