Seminar zur Zahlentheorie und KI

Themenvergabe: war am Do, 16.07.2020.

Die 4 Vortragenden stehen fest (siehe unten).

Die Vorträge werden alle am 8. Dezember stattfinden als Zoom-Konferenz.

Interessierte Teilnehmer können sich unter der folgenden Zoom-URL einloggen:
https://fh-wedel.zoom.us/j/91725153703?pwd=c3UyU0VTTG9hdGh6VHo0cXBwNU9pdz09

Die genauen Uhrzeiten stehen bei den Vorträgen (siehe unten).

Thematik

Die Themenauswahl für dieses Seminar besteht aus Vertiefungen für verschiedene meiner Vorlesungen.

Es wird für einige Themen ein Motivationsartikel als Anregung gegeben. Jedoch muss sich jeder Teilnehmer gehalten fühlen, weitere Quellen zu erschließen. Die Erarbeitung geeigneter Quellen gehört zur wesentlichen Seminarleistung. Die bereits angegebenen Artikel finden sich im zugehörigen Moodle-Kurs. Wenn Sie sich rechtzeitig darum bemühen, dann können wir von Ihnen weitere von Ihnen als nützlich empfundene Literatur nachbestellen.

Eine Warnung sei vorausgeschickt: Auch wenn sich zu vielen Themen zahlreiche Internetreferenzen finden, so reicht es nicht aus, nur die ersten zu nehmen, die Google anzeigt (z.B. Wikipedia). Das würde zu oberflächliches Wissen generieren und häufig nicht den Kern der Fragestellungen treffen.

Vortragsthemen

Zahlentheorie:

1) g.g.T.: Beweis der Laufzeit des Euklidischen Algorithmus (eher für Master)

   In der Diskreten Mathematik lernt man den Euklidischen Algorithmus zur Bestimmung des g.g.T. kennen. Beispiele zeigen, dass er effizienter ist als der Schulalgorithmus, vor allem weil er ohne das Problem der Primfaktorisierung auskommt. Hier soll die asymptotische Laufzeit bewiesen werden.

Vortragender: Carlos Martin Jimenez
08.12.2020, 09:00 Uhr

2) p-adische Zahlen und ihre Anwendungen

   Der jüngst mit dem Bundesverdienstkreuz ausgezeichnete Peter Scholze bekam für dieses Thema die Fields-Preis-Medaille (entspricht mathematischem Nobelpreis). Hier soll untersucht werden was p-adische Zahlen überhaupt sind, wo man sie anwendet und wofür genau Peter Scholze den Preis bekam (ohne Beweis).

Vortragender: Christoph Brandt
08.12.2020, 10:15 Uhr

 

Künstliche Intelligenz:

3) Metalernen: Wie man gute neuronale Netze lernt

   Motivierende Grundlage ist ein Artikel im Spektrum 8.19.

Vortragender: Leo Harmsen
08.12.2020, 11:30 Uhr

4) Maschinelles Lernen von symbolischen Ausdrücken und deren Umformung

   Im Spektrum 7.20 ist ein Artikel, der behauptet, ein neuronales Netz würde es lernen, wie man mathematische Formeln umformt. Das Netz soll selbstlernend sein und sogar herkömmlichen Computeralgebra-Programmen überlegen sein. Referierende müssen für dieses Thema einschlägige Vorkenntnisse in der KI haben (zum Beispiel durch Absolvierung einer Vorlesung bei uns) und sollten dieser Sache auf den Grund gehen. Die Besorgung und Durcharbeitung des Originalartikels ist unumgänglich, vermutlich auch ein direkter Kontakt zu den Autoren.

Vortragender: Lovis Jungbludt
08.12.2020, 15:30 Uhr