MiG

Computational Metaphysics

Mit dieser Lehrveranstaltung richten wir uns  gleichzeitig an Studierende der Philosophie, Mathematik und Informatik. Ziel ist es, eine fachübergreifende Einführung in verschiedene (theoretische) Logikformalismen mit einer praktisch motivierten Einführung in moderne, computer-basierte Beweisassistenzsysteme zu kombinieren.

(19323701 (V) / 19323702 (Ü))

Typ

VL/Ü

Dozent/in

A. Steen, M. Wisniewski, C. Benzmüller

Sprache

Englisch

Anmeldemodalität

Raum

Wechselnde Veranstaltungsorte. Bitte die Ankündigung im VV beachten.

Beginn

19.04.2016 — 20.07.2016

Links auf Kursbeschreibung