Hasso-Plattner-Institut20 Jahre HPI
Hasso-Plattner-Institut20 Jahre HPI
  
Login
 

Grundlagen des Limeslernens (Wintersemester 2019/2020)

Lecturer: Dr. Timo Kötzing (Algorithm Engineering)

General Information

  • Weekly Hours: 4
  • Credits: 6
  • Graded: yes
  • Enrolment Deadline: 30.10.2019
  • Teaching Form:
  • Enrolment Type: Compulsory Elective Module
  • Course Language: German

Programs & Modules

IT-Systems Engineering BA
  • ISAE-Grundlagen
  • ISAE-Vertiefung
  • OSIS-Grundlagen
  • OSIS-Vertiefung
  • SAMT-Grundlagen
  • SAMT-Vertiefung

Description

In diesem Kurs geht es darum, ein Thema stark zu vertiefen und wissenschaftlich kennen zu lernen. Dazu fangen wir an mit einigen Wochen im Stile einer interaktiven Vorlesung mit wöchentlichen Übungen. Danach präsentiert jede Teilnehmerin und jeder Teilnehmer ein einzelnes Paper wie bei einem Seminar, aber etwas kürzer und ohne detaillierter Ausarbeitung, aber mit einem Handout. Danach werden wir gemeinsam an einer offenen Frage des Bereichs forschen, mit dem Ziel einer Publikation.

Requirements

Die Teilnehmer sollten keine Probleme bei der Anwendung vom Smn-Theorem und von KRT haben und allgemein stark im Bereich formale Beweise sein. Die Teilnahme an einer vertiefenden Vorlesung zum Thema Berechenbarkeit könnte hilfreich sein, ist aber nicht notwendig.

Literature

  • Systems that learn. Osherson, Stob und Weinstein.
  • Systems that learn, second edition. Jain, Osherson, Royer, Sharma.

Learning

Es werden Elemente aus klassisichen Vorlesungen mit Übungen vermischt mit Elementen aus einem Seminar, sowie schließlich, im Hauptteil, mit dem forschenden Lernen.

Examination

Die Leistungserfassung erfolgt kursbegleitend über die Übungsaufgaben (10%), den Vortrag (60%) und die Mitarbeit beim abschließenden wissenschaftlichen Projekt (30%).

Dates

Wir treffen uns das erste Mal am Montag, den 14.10., um 11 Uhr in H-E.52. Dort werden dann alle weiteren Termine abgestimmt.

Zurück