851-0144-22L Developments in Logic after Gödel: Applications to Theoretical Computer Science
Semester | Autumn Semester 2016 |
Lecturers | G. Sommaruga, J. Copeland |
Periodicity | non-recurring course |
Language of instruction | English |
Comment | Particularly suitable for students of D-INFK |
Abstract | The 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 |