Universal Logical Reasoning (with exemplary applications in Mathematics, Metapyhsics, Ethics, AI and CS).
Diese Vorlesung soll die zuvor prämierte Vorlesung "Computational Metaphysics" (SS16, 19323701/2) um weitere spannende und hochaktuelle Anwendungsthemen erweitern.
Für Studenten der Informatik, Mathematik und Philosophie geeignet.
Zusätzliche Informationen:
Siehe Webseite zur Veranstaltung