In diesem Kurs lernst du formale Logik kennen. Diese hat nicht nur eine Anwendung in der Philosophie, sondern auch in der Mathematik und der Informatik - Machine Learning, automatische Codeprüfunge und vieles mehr lebt davon.

Lerne die verschiedenen Logiken kennen (ja es gibt mehrere!) und mit ihnen umzugehen. Aussagenlogik, Prädikatenlogik und automatische Lösungssysteme erwarten dich!

Freue dich auf viele Informationen, Aufgaben und sogar einen logischen Sudokulöser in Java.