Computational Metaphysics
Submitted by: PD Dr. Christoph Benzmüller, Max Wisniewski, and Alexander Steen, Institute of Computer Science
The teaching project will take an interdisciplinary approach to introduce students to the current state of research in logic: The research-oriented course for students in master's programs in philosophy, mathematics, and computer science aims, among other things, to introduce them to computer-based proof-assistant systems.
More information:
Computational Metaphysics - Lecture + Tutorial in Summer 2016