Chair of Programming Languages and AI
print
Breadcrumb Navigation
Content

Programmierung und Modellierung

Aktuelles

Inhalt

Die Vorlesung führt anhand der Programmiersprache Haskell in die grundlegenden Prinzipien der funktionalen Programmierung und der Datenmodellierung ein. Dabei wird auf begriffliche Klarheit und präzise theoretische Fundierung mit formalen Methoden Wert gelegt. Die Themen sind z. B.:
• Funktionsbegriff und Basistypen,
• Rekursion und Terminierung,
• Benutzerdefinierte Datentypen,
• Polymorphie, Typklassen, Module,
• Funktionen höherer Ordnung und Currying,
• Typen, Typprüfung, Typinferenz,
• Pattern Matching,
• Verzögerte Auswertung, Striktheit
• Ein- und Ausgaben und andere Seiteneffekte.

Organisation

  • Vorlesung: Prof. Dr. Johannes Kinder
  • Übungen: Matías Gobbi, lic., Lydia Kondylidou, M.Sc.

Termine

Vorlesung/Zentralübung:

  • Montag, 12:00 – 14:00, Geschw.-Scholl-Pl. 1, B 101
  • Mittwoch, 16:00 – 18:00, Geschw.-Scholl-Pl. 1, B 101

Übungsgruppen (Einschreiben per Moodle):

  • Gruppe 01, Dienstag 10:00 – 12:00, GSP D Z001
  • Gruppe 02, Dienstag 12:00 – 14:00, GSP D Z001
  • Gruppe 03, Dienstag 14:00 – 16:00, GSP D Z001
  • Gruppe 04, Dienstag 14:00 – 16:00, Amalienstr. 73A / 020
  • Gruppe 05, Dienstag 16:00 – 17:00, GSP D Z001
  • Gruppe 06, Dienstag 18:00 – 20:00, GSP D Z001
  • Gruppe 07, Mittwoch 14:00 – 16:00, GSP D Z001
  • Gruppe 08, Mittwoch 18:00 – 20:00, GSP D Z001
  • Gruppe 09, Donnerstag 10:00 – 12:00, Amalienstr. 73A / 020
  • Gruppe 10, Donnerstag 12:00 – 14:00, Amalienstr. 73A / 020
  • Gruppe 11, Donnerstag 12:00 – 14:00, Oettingenstr. 67 / U139
  • Gruppe 12, Donnerstag 16:00 – 18:00, Amalienstr. 73A / 020
  • Gruppe 13, Donnerstag 18:00 – 20:00, Amalienstr. 73A / 020
  • Gruppe 14, Freitag 10:00 – 12:00, GSP M 209
  • Gruppe 15, Freitag 10:00 – 12:00, Amalienstr. 73A / 020
  • Gruppe 16, Freitag 12:00 – 14:00, Amalienstr. 73A / 020
  • Gruppe 17, Freitag 12:00 – 14:00, GSP D Z001
  • Gruppe 18, Freitag 14:00 – 16:00, Amalienstr. 73A / 020
  • Gruppe 19, Freitag 14:00 – 16:00, GSP D Z001
  • Gruppe 20, Freitag 16:00 – 18:00, GSP D Z001