Informatikwettbewerb

Olympische Spiele der Logik: Erfolg für Österreich

Digital
22.07.2014 10:52
Gleich mehrere Auszeichnungen haben österreichische Forscher bei den "Olympischen Spielen der Logik" einfahren können. Mit sechs Medaillen war Armin Biere von der Uni Linz der erfolgreichste heimische Programmierer bei den im Rahmen des "Vienna Summer of Logic" erstmals ausgetragenen Bewerben. Von 43 vergebenen Medaillen gingen 13 an heimische Forscher.

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.

Loading...
00:00 / 00:00
play_arrow
close
expand_more
Loading...
replay_10
skip_previous
play_arrow
skip_next
forward_10
00:00
00:00
1.0x Geschwindigkeit
explore
Neue "Stories" entdecken
Beta
Loading
Kommentare

Da dieser Artikel älter als 18 Monate ist, ist zum jetzigen Zeitpunkt kein Kommentieren mehr möglich.

Wir laden Sie ein, bei einer aktuelleren themenrelevanten Story mitzudiskutieren: Themenübersicht.

Bei Fragen können Sie sich gern an das Community-Team per Mail an forum@krone.at wenden.

(Bild: krone.at)
(Bild: krone.at)
Kreuzworträtsel (Bild: krone.at)
(Bild: krone.at)



Kostenlose Spiele