The spring semester 2021 will generally take place online. New presence elements as of April 26 will be communicated by the lecturers.

851-0144-22L  Developments in Logic after Gödel: Applications to Theoretical Computer Science

SemesterAutumn Semester 2016
LecturersG. Sommaruga, J. Copeland
Periodicitynon-recurring course
Language of instructionEnglish
CommentParticularly suitable for students of D-INFK

AbstractThe course will start by presenting a modern logic, namely (propositional) modal logic, which has turned out to be extremely fruitful and to have numerous interesting applications in computer science, mathematics and philosophy. Subsequently, two of these applications to computer science, tense logic and dynamic logic, and one application to mathematics, provability logic, will be introduced.
Objective- Learn the fundamental concepts of a range of propositional logics
- Learn how to construct proofs in these logics
- Study the interface between mathematical logic and computer science, and mathematical logic and mathematics