Willkommen
|
Facebook Twitter Google Plus
24.04.2017 - 12:16
Foto: vsl2014.at

Olympische Spiele der Logik: Erfolg für Österreich

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.

22.07.2014, 10:52
AG/red
Kommentare  
Kommentare sortieren nach:
km_num_com
km_datum_formatiert_com
von km_nickname_text_com  
km_text_com
km_kmcom_js_begin_com kmcom_add_trigger("readcomplete","kmcom_set_notify_status(Object({'object_id':km_object_id_com}))"); km_kmcom_js_end_com
km_kmcom_js_begin_com kmcom_add_trigger("readcomplete","kmcom_set_delete_status(Object({'object_id':km_object_id_com, 'status':km_status_com}))"); km_kmcom_js_end_com
Antworten sortieren nach:
km_antworten_com
km_datum_formatiert_com
von km_nickname_text_com  
km_text_com
km_kmcom_js_begin_com kmcom_add_trigger("readcomplete","kmcom_set_notify_status(Object({'object_id':km_object_id_com}))"); km_kmcom_js_end_com
km_kmcom_js_begin_com kmcom_add_trigger("readcomplete","kmcom_set_delete_status(Object({'object_id':km_object_id_com, 'status':km_status_com}))"); km_kmcom_js_end_com
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).
Werbung
Meistgelesen
Meistkommentiert
Werbung
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
Krone Multimedia © 2017 krone.at | Impressum