Das Frühjahrssemester 2021 findet sicher bis Ostern online statt. Ausnahmen: Veranstaltungen, die nur mit Präsenz vor Ort durchführbar sind. Bitte beachten Sie die Informationen der Dozierenden.

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

SemesterHerbstsemester 2016
DozierendeG. Sommaruga, J. Copeland
Periodizitäteinmalige Veranstaltung
LehrspracheEnglisch
KommentarParticularly suitable for students of D-INFK


KurzbeschreibungThe 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.
Lernziel- 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