Giovanni Sommaruga: Katalogdaten im Herbstsemester 2016 |
Name | Herr Prof. Dr. Giovanni Sommaruga (Professor Université de Fribourg/Universität Freiburg) |
Adresse | Dept. für Philosophie Av. de l'Europe 20 Univ. de Fribourg 1700 Fribourg SWITZERLAND |
Telefon | 026 300 83 27 |
giovanni.sommaruga@retired.ethz.ch | |
Departement | Geistes-, Sozial- und Staatswissenschaften |
Beziehung | Dozent |
Nummer | Titel | ECTS | Umfang | Dozierende | |
---|---|---|---|---|---|
851-0144-21L | Philosophical Issues and Problems in Theoretical Computer Science Particularly suitable for students of D-INFK | 3 KP | 2V | G. Sommaruga, J. Copeland, D. Proudfoot | |
Kurzbeschreibung | This course studies philosophical issues concerning computers and computing. Topics include: information (and information content), computational complexity, the Turing Test for computer thought; the "Chinese Room" argument against the possibility of strong AI; connectionist AI; consciousness; the Church-Turing thesis; computational and hypercomputational models of mind; and free will. | ||||
Lernziel | - Exhibit a general understanding of the philosophy and history of computing. - Explain central problems in the field and their potential solutions, independently and at a level requiring in-depth knowledge and critical understanding. - Communicate clearly in writing about topics in this field. | ||||
851-0144-22L | Developments in Logic after Gödel: Applications to Theoretical Computer Science Particularly suitable for students of D-INFK | 3 KP | 2V | G. Sommaruga, J. Copeland | |
Kurzbeschreibung | 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. | ||||
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 |