Eingeloggt als
Die Veranstaltung fasst eine Vielzahl an Wettbewerben zusammen, in denen Logik-Computerprogramme großteils autonom Probleme lösen. Die Programme wurden von ihren Schöpfern aus aller Welt darauf vorbereitet, in der jeweils gegebenen Zeit möglichst viele Logik-Probleme zu lösen.
Je nach Disziplin waren das unterschiedliche Aufgaben, etwa das Auffinden von logischen Fehlern in Computerchips, das automatische Analysieren von Programmcodes oder das Erstellen von mathematischen Beweisen, hieß es in einer Aussendung der TU Wien, wo die Bewerbe am Montag zu Ende gingen.
Mit der erstmaligen Austragung der "Olympischen Spiele der Logik" in Wien wollen die Initiatoren eine neue wissenschaftliche Tradition begründen. Der hochkarätige Informatik-Wettbewerb soll künftig alle vier Jahre stattfinden.
User-Beiträge geben nicht notwendigerweise die Meinung des Betreibers/der Redaktion bzw. von Krone Multimedia (KMM) wieder. In diesem Sinne distanziert sich die Redaktion/der Betreiber von den Inhalten in diesem Diskussionsforum. KMM behält sich insbesondere vor, gegen geltendes Recht verstoßende, den guten Sitten oder der Netiquette widersprechende bzw. dem Ansehen von KMM zuwiderlaufende Beiträge zu löschen, diesbezüglichen Schadenersatz gegenüber dem betreffenden User geltend zu machen, die Nutzer-Daten zu Zwecken der Rechtsverfolgung zu verwenden und strafrechtlich relevante Beiträge zur Anzeige zu bringen (siehe auch AGB).
Angaben gem ECG und MedienGesetz: Medieninhaber, Hersteller und Herausgeber bzw. Diensteanbieter Krone
Multimedia GmbH & Co KG
(FBN 189730s; HG Wien) Internetdienste; Muthgasse 2, 1190 Wien
Wir benötigen Ihr Einverständnis, um Ihnen auch weiterhin vollen Zugriff auf unser Angebot zu ermöglichen.
Um Ihnen redaktionelle Inhalte detailliert und umfangreich aufzubereiten und so Ihr Leseerlebnis zu verbessern, nutzen wir Beiträge aus sozialen Netzwerken (z. B. Facebook) und anderen Applikationen (z. B. Google Maps).
Durch die Nutzung von Cookies, JavaScript und ähnlichen Technologien haben wir mit unseren qualifizierten Partnern die Möglichkeit, Ihnen personalisierte Werbung zu zeigen.
Sollten Sie die Verarbeitung Ihrer Daten reduzieren wollen, können Sie uns auch als ePaper oder Printausgabe lesen. Weiter zum Abo-Shop.
Nähere Informationen finden Sie in unserer Datenschutzinformation und den Cookie-Informationen.
Willkommen in unserer Community! Eingehende Beiträge werden geprüft und anschließend veröffentlicht. Bitte achten Sie auf Einhaltung unserer Netiquette und AGB. Für ausführliche Diskussionen steht Ihnen ebenso das krone.at-Forum zur Verfügung.