News55: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Stephan Mennicke (Diskussion | Beiträge) (German translation added) |
Stephan Mennicke (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|Titel DE=Happy World Logic Day 2021! | |Titel DE=Happy World Logic Day 2021! | ||
|Titel EN=Happy World Logic Day 2021! | |Titel EN=Happy World Logic Day 2021! | ||
|Beschreibung DE=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 | |Beschreibung DE=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 [[Wissensrepräsentation_und_logisches_Schließen|der Wissensrepräsentation und dem logischen Schließen]], der Entwicklung [[Semantische_Technologien|semantischer Technologien]] und [[Abstrakte_Argumentation|der abstrakten Argumentation]]. | ||
Mit der wachsenden Wahrnehmung der Bedeutung von Logik für Wissenschaft und Gesellschaft | Mit der wachsenden Wahrnehmung der Bedeutung von Logik für Wissenschaft und Gesellschaft, hat die [https://unesco.org/ UNESCO] gemeinsam mit der [http://www.icphs.org/ 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. | 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 '''[[Logical Modeling/en|logische Modellierung]]''' diese Themen in dem neuen internationalen und interdisziplinären Master-Studiengang ''[https://tu-dresden.de/ing/informatik/studium/studienangebot/master-studiengaenge/computational-modeling-and-simulation/uebersichtsseite Computational Modeling and Simulation]'' übernommen. | ||
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 '''[[Logical Modeling/en|logische Modellierung]]''' diese Themen in dem neuen internationalen und interdisziplinären Master-Studiengang ''[https://tu-dresden.de/ing/informatik/studium/studienangebot/master-studiengaenge/computational-modeling-and-simulation/uebersichtsseite Computational Modeling and Simulation]'' übernommen. | |||
Das ICCL wünscht allen Studierenden, Forschenden sowie Anwendern der Logik einen frohen World Logic Day 2021! | Das ICCL wünscht allen Studierenden, Forschenden sowie Anwendern der Logik einen frohen World Logic Day 2021! | ||
Aktuelle Version vom 14. Januar 2021, 12:53 Uhr
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!
