Die Logik ist für die Informatik wie Kalkül für die Physik. Selbst das Bedürfnis, im modernen Leben klarer zu denken, kann mit logischem Training befriedigt werden. Das Vienna Center for Logic and Algorithms bring den stärksten Werkzeug in Technik und Informatik zur GEWINN Info Day 2018  – größten Wirtschaftskongress für Schülerinnen und Schüler in Österreich.

Logikpuzzle

VCLA stellt am GEWINN InfoDay 2018 mit einem Logikpuzzle, das vom VCLA-Gast Maarten Löffler von der Universität Utrecht entworfen wurde, ein Beispiel für dieses leistungsstarke Werkzeug bereit, das als Logik bezeichnet wird.

Losung? Findest du hier.

Logik in Informatik?

Auch wenn Menschen im realen Leben nur selten mathematisch nachweisen müssen, verwenden wir trotzdem Logik. Wir verwenden es, wenn wir Pläne für den nächsten Urlaub besprechen, die Diskussionen über Politik führen, Spiele spielen oder bei dem Arbeit. Wir erhalten falsche Ergebnisse unseres logischen Denkens, wenn wir falsche logische Techniken verwenden. Die Notwendigkeit, im modernen Leben klarer zu denken, kann mit logischem Training befriedigt werden.

Logik ist ein mächtiges Argumentationswerkzeug. Ursprünglich als Hilfsmittel für fundierte Argumentation erfunden, gelangte es Anfang des 20. Jahrhunderts in Form mathematischer Logik und analytischer Philosophie zur Reife, mit bedeutenden Beiträgen aus Wien. An der Fakultät für Informatik der TU Wien nutzen die Forscher Logik als Werkzeug, mit dem Computerprogramme über die Welt nachdenken können.

Wien als „Hotspot der computationalen Logik“

In drei Forschungsgebieten der Logik wurde in den letzten zwei Jahrzehnten in Österreich eine besonders gute internationale Sichtbarkeit erreicht. Der erste Bereich ist “Computational Logic”, insbesondere die Beweistheorie, die Komplexitätstheorie und das automatische Denken. Der zweite Bereich ist die Anwendung der Logik auf “Datenbanken und künstliche Intelligenz”. Der dritte Bereich ist “Computer Aided Verification” oder “Model Checking”, in dem Computerprogramme verwendet werden, um Algorithmen auf Fehler zu untersuchen.

Insbesondere im wachsenden Bereich der künstlichen Intelligenz sehen wir eine zunehmende Verwendung der Methoden der Logik. Die mathematischen Methoden der formalen Logik werden jedoch auch in Bereichen wie Verifizierung, Datenbanken, verteilte und cyberphysische Systeme und Informationssicherheit angewendet.

In der technischen Informatik und im Software-Engineering wird Logik in Zukunft eine immer wichtigere Rolle spielen. Computer, die unabhängig argumentieren und urteilen können, finden ihren Weg in sehr unterschiedliche Bereiche – zum Beispiel in der Medizin, im Business, aber auch im Alltag zu Hause.