{"id":1888,"date":"2011-06-01T13:34:04","date_gmt":"2011-06-01T11:34:04","guid":{"rendered":"http:\/\/www.foerderverein-technische-fakultaet.at\/?p=1888"},"modified":"2013-05-21T22:28:38","modified_gmt":"2013-05-21T20:28:38","slug":"ruckblick-lazy-thinking","status":"publish","type":"post","link":"https:\/\/www.ftf.or.at\/?p=1888","title":{"rendered":"R\u00fcckblick: "Lazy Thinking""},"content":{"rendered":"

Am 19. Mai 2011 um 17:00 Uhr hielt Prof. Bruno Buchberger<\/a> von der Johannes Kepler Universit\u00e4t Linz\u00a0eine TEWI-Kolloquium zum Thema \u201cLazy Thinking<\/a>\u201d an der Alpen-Adria-Universit\u00e4t Klagenfurt. Hier noch mal die Kurzfassung zum Vortrag und einige Eindr\u00fcck aus dem gut gef\u00fclltem E.2.42.<\/p>\n

Die Methode des \u201cLazy Thinking\u201d dient zur systematischen Synthese von Algorithmen aus Problemspezifikationen. Die Methode kann sowohl als heuristisch \/ p\u00e4dagogisches Werkzeug f\u00fcr den Prozess der Synthese korrekter Algorithmen dienen als auch zur vollst\u00e4ndig automatischen Generierung von Algorithmen, wenn f\u00fcr Teilschritte der Methode automatische Beweiser f\u00fcr die entsprechenden Objekttheorien zur Verf\u00fcgung stehen. Im Vortrag wird die Methode zun\u00e4chst an einem einfachen Beispiel erl\u00e4utert und dann gezeigt, dass auch sehr schwierige Algorithmen, wie der Groebner-Basen-Algorithmuszur Behandlung nicht-linearer Systeme, mit der Methode v\u00f6llig automatisch generiert werden kann. Die Methode ist in dem vom Vortragenden konzipierten Theorema-System implementiert.<\/p>\n

\"\"<\/a><\/p>\n<\/p>\n

Die Folien zum Vortrag wurden uns zur Verf\u00fcgung gestellt und sind hier<\/a> abrufbar. Wir konnten auch einige Wortmeldungen einfangen…<\/p>\n

norge dating site<\/a><\/div>\n

uote><\/p>\n

„Buchberger zeigt, wie durch genaue Analyse Beweise und Algorithmen und auch ihre Konstruktionen, d.h die Prozesse zur Erzeugung, Erfindung von Beweisen und Algorithmen zu mathematischen und informatischen Objekten werden, die algorithmischer Behandlung zug\u00e4nglich sind. Die automationsunterst\u00fctze Konstruktion von Algorithmen ist ein faszinierende Ergebnis dieses Ansatzes.“\u00a0— Prof. J. Eder<\/em><\/p>\n<\/blockquote>\n

<\/em><\/p>\n

\n

„Prof. Buchberger zeigte in seinem Vortrag sehr eindrucksvoll den auch praktischen Nutzen von formalen Methoden und theoretisch fundiertem Vorgehen. Er erkl\u00e4rte gut verst\u00e4ndlich, wie moderne formale Verfahren und leistungsf\u00e4hige Werkzeuge wie Theorembeweiser f\u00fcr die Entwicklung selbst komplexer Algorithmen eingesetzt werden k\u00f6nnen. Sogar Buchberger selbst war davon \u00fcberrascht worden, dass damit so schwierige Algorithmen wie jener zur Berechnung von Gr\u00f6bner-Basen, der ihn in seiner Dissertation jahrelange Arbeit gekostet und weltber\u00fchmt gemacht hatte, hergeleitet werden k\u00f6nnen. „V\u00f6llig automatisch“, wie im Abstract des Vortrags angek\u00fcndigt, w\u00fcrde ich das Verfahren noch nicht nennen, denn es braucht den formal gebildeten, kreativ denkenden und eingreifenden Experten, um die richtigen Fragen zu stellen und den Prozess zu lenken. Wir sind damit allerdings auf einer Abstraktionsebene angelangt, auf der wir schwierige mathematische Zusammenh\u00e4nge und informatische Probleme zu einem guten Teil maschinell beweisen bzw. l\u00f6sen k\u00f6nnen. Buchberger hielt ein Pl\u00e4doyer daf\u00fcr, dass wir damit Probleme angehen und Innovationen ausl\u00f6sen k\u00f6nnen, die wirtschaftlich relevant sind und unseren Wohlstand sichern k\u00f6nnen – sein „Lebenswerk“ in Hagenberg belegt dies am besten. Sollten wir nicht damit – mit der Aussicht auf herausfordernde Probleme, spannende Methoden, faszinierende L\u00f6sungen und die Wertsch\u00f6pfung und den gesellschaftlichen Nutzen daraus – wieder mehr junge Menschen f\u00fcr MINT-F\u00e4cher begeistern k\u00f6nnen?“ — Prof. H. Hellwagner<\/em><\/p>\n<\/blockquote>\n

zp8497586rq<\/div>\n","protected":false},"excerpt":{"rendered":"

Am 19. Mai 2011 um 17:00 Uhr hielt Prof. Bruno Buchberger von der Johannes Kepler Universit\u00e4t Linz\u00a0eine TEWI-Kolloquium zum Thema \u201cLazy Thinking\u201d an der Alpen-Adria-Universit\u00e4t Klagenfurt. Hier noch mal die Kurzfassung zum Vortrag und einige Eindr\u00fcck aus dem gut gef\u00fclltem … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"sfsi_plus_gutenberg_text_before_share":"","sfsi_plus_gutenberg_show_text_before_share":"","sfsi_plus_gutenberg_icon_type":"","sfsi_plus_gutenberg_icon_alignemt":"","sfsi_plus_gutenburg_max_per_row":"","footnotes":""},"categories":[1],"tags":[],"class_list":["post-1888","post","type-post","status-publish","format-standard","hentry","category-tewi-kolloquium"],"_links":{"self":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/1888","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1888"}],"version-history":[{"count":28,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/1888\/revisions"}],"predecessor-version":[{"id":4655,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/1888\/revisions\/4655"}],"wp:attachment":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1888"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1888"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1888"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}