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

Catalogue data

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

Performance assessment

Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits3 credits
ExaminersG. Sommaruga, J. Copeland
Typegraded semester performance
Language of examinationEnglish
RepetitionRepetition possible without re-enrolling for the course unit.

Learning materials

No public learning materials available.
Only public learning materials are listed.


851-0144-22 VDevelopments in Logic after Gödel: Applications to Theoretical Computer Science28s hrs
Thu/213-15HG D 5.1 »
Thu13-15LFW E 15 »
Fri/213-15IFW A 34 »
G. Sommaruga, J. Copeland


No information on groups available.


End of registration periodRegistration only possible until 29.09.2016

Offered in

GESS Science in PerspectivePhilosophyWInformation
GESS Science in PerspectiveD-INFKWInformation