Go backward to 1 Introduction
Go up to Top
Go forward to 3 Sets, Relations, and Functions
There are two main aspects of mathematical logic that are important for computer science1.
A precise language and sound reasoning belong to the most valuable intellectual tools of a computer scientist or engineer. Only if she masters these tools thoroughly, she can utilize her creative potential in an effective and goal-directed way. Please note that it is not the heavy use of symbolism that characterizes precise expression and clear arguments. A computer scientist should be able to recognize and to present the underlying logical concepts on various language levels and in various notations. She can then flexibly adapt form and preciseness of her statements to the demands of a particular situation while preserving the essential contents. We therefore strive to demonstrate these concepts in various styles, from natural language ("every Ferrari is red") to purely symbolic (forall x: F(x) => R(x)).