Giovanni Sommaruga: Katalogdaten im Herbstsemester 2016

NameHerr 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
Telefon026 300 83 27
E-Mailgiovanni.sommaruga@retired.ethz.ch
DepartementGeistes-, Sozial- und Staatswissenschaften
BeziehungDozent

NummerTitelECTSUmfangDozierende
851-0144-21LPhilosophical Issues and Problems in Theoretical Computer Science
Particularly suitable for students of D-INFK
3 KP2VG. Sommaruga, J. Copeland, D. Proudfoot
KurzbeschreibungThis 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-22LDevelopments in Logic after Gödel: Applications to Theoretical Computer Science Belegung eingeschränkt - Details anzeigen
Particularly suitable for students of D-INFK
3 KP2VG. Sommaruga, J. Copeland
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