Logic in Computer Science

Logic and computer science are closely related. Basic research in logic is crucial for computer and software engineering. All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Logical arguments like this one have been studied since antiquity. In the last few decades, however, logic research has changed considerably: the computer sciences were born.