Schon Mr. Spock wusste: Logik macht das Leben leichter. Warum das so ist und man Computern Logik beibringt wird hier gezeigt.Logik ist im Alltag und in der Wissenschaft von großer Bedeutung. Insbesondere ist die Informatik ohne Logik nicht denkbar. Logik ermöglicht formale Schlussfolgerungen und macht Computer intelligenter und leichter zu beherrschen. Wir stellen praktische Anwendungen der Logik vor, die am Institut für Formale Modelle und Verifikation entwickelt wurden.
Forschungs-