Objectives of the lecture
The main objective of this lecture is to introduce the language of
logic as a working language for future computer
scientists.
The first part of the lecture motivates the necessity of studying
logic as the basis of computer science. This is followed by
an informal introduction in predicate logic, together with
the proof calculus and some discussion of induction. Using these
tools, we will further investigate propositional logic and
point out some of its applications. Time permitting, we get back to
a more formal discussion of predicate logic, review the important
theoretical results. Another line of interest will be directed
towards carrying out more case studies.
After taking this lecture, students should be fluent in the use of logic and reasoning techniques, and be able to apply them in practical future work, during their studies and beyond.
Besides fluency in logic, a secondary goal of this lecture is to train the use of English in the context of mathematics/computer science (since it is very likely that English is not the native language for any of the participants in this lecture).