Logic for Computer Science

Mathematical logic develops and explores flexible formal languages and various concepts of consequence. Many of its results can be used in pratical applications, especially in modeling and solving problems in the field of (theoretical) computer science. The aim of this course is to introduce basic concepts of classical and non-classical logics and their potential for applications in computer science.