Neuigkeit vom 14. Januar 2021

Happy World Logic Day 2021!

Formale Logik ist für die Informatik das, was die Analysis für die Ingenieurswissenschaften darstellt. Logik hat sich als nützliches Werkzeug in der künstlichen Intelligenz (KI), der Haltung und Verwaltung großer Datenmengen, der Analyse und Entwicklung zuverlässiger Systeme, und vielen anderen Themengebieten herausgestellt. Bei uns am ICCL ist Logik zentraler Forschungsgegenstand, z.B. bei der Wissensrepräsentation und dem logischen Schließen, der Entwicklung semantischer Technologien und der abstrakten Argumentation.

Mit der wachsenden Wahrnehmung der Bedeutung von Logik für Wissenschaft und Gesellschaft, hat die UNESCO gemeinsam mit der ICPHS den World Logic Day ins Leben gerufen, der jährlich am 14. Januar zelebriert wird. Dabei steht die Erhöhung der Sichtbarkeit dieses wichtigen Teilgebiets der Mathematik, Philosophie, der Ingenieurswissenschaften sowie der Informatik im Vordergrund.

Die TU Dresden stellt hier einen Vorreiter bei der Erreichung dieses Ziels dar. Schon seit dem Jahr 1997 können hier internationale Studierende ihren Masterabschluss im Studiengang Computational Logic erreichen. In über zwanzig Jahre haben in diesem Studiengang eine Vielzahl an Modulen die Rolle der Logik in der Informatik hervorgehoben. Seit dem vergangenen Jahr hat die logische Modellierung diese Themen in dem neuen internationalen und interdisziplinären Master-Studiengang Computational Modeling and Simulation übernommen.

Das ICCL wünscht allen Studierenden, Forschenden sowie Anwendern der Logik einen frohen World Logic Day 2021!