Programmierung und Modellierung

Fakultät/Institut
Institut fuer Informatik
Beschreibung
Achtung: Raumtausch, die Vorlesung findet ab sofort immer in Raum B101 des Hauptgebäudes statt, sowohl Mo12-14 als auch Mi16-18.

Die Vorlesung führt in grundlegende Prinzipien der Programmierung und der Datenmodellierung mit einer funktionalen Programmiersprache ein. Die wesentlichen Themen sind: Datentypen, Funktionen und Rekursion, Auswertung und Terminierung von Programmen, Typsysteme und Typinferenz, Polymorphie und Typklassen, Semantik von Programmiersprachen. Dabei wird auf begriffliche Klarheit und präzise mathematische Fundierung mit formalen Methoden Wert gelegt.

Eine Aufzeichnung der Vorlesung ist hier erhältlich.

Dozent
Assistenten
Tutoren
Korrektoren
Website
Teilnehmer
839
Anmeldezeitraum
Ab Mo 01 Apr 2019 00:00 bis Mo 30 Sep 2019 23:59
Achtung: Abmeldung nur bis Mo 30 Sep 2019 23:59 erlaubt.
Material
Eine Anmeldung zum Kurs ist Voraussetzung zum Zugang zu Kursmaterial(z.B. Übungsblätter).
Übungen
TypBezeichnungTutorenRegulärer RaumZeitAnmeldungen abAnmeldungen bisAbmeldungen bisFreie Plätze
T
Gruppe 01
Geschw.-Scholl-Pl.1 (M), M 001
  • Di 12:00–14:00
Mo 29 Apr 2019 14:00
0
T
Gruppe 02
Geschw.-Scholl-Pl. 1 (D), D Z001
  • Di 14:00–16:00
Mo 29 Apr 2019 14:00
0
T
Gruppe 03
Geschw.-Scholl-Pl. 1 (M), M 001
  • Di 16:00–18:00
Mo 29 Apr 2019 14:00
7
T
Gruppe 04
Geschw.-Scholl-Pl. 1 (D), D Z001
  • Di 18:00–20:00
Mo 29 Apr 2019 14:00
5
T
Gruppe 05
Richard-Wagner-Str. 10, D 105
  • Mi 10:00–12:00
Mo 29 Apr 2019 14:00
0
T
Gruppe 06
Geschw.-Scholl-Pl. 1 (D), D Z001
  • Do 10:00–12:00
Mo 29 Apr 2019 14:00
0
T
Gruppe 07
Geschw.-Scholl-Pl. 1 (E), E 216
  • Do 12:00–14:00
Mo 29 Apr 2019 14:00
0
T
Gruppe 08
Geschw.-Scholl-Pl. 1 (A), A 022
  • Do 12:00–14:00
Mo 29 Apr 2019 14:00
0
T
Gruppe 09
Geschw.-Scholl-Pl. 1 (D), D Z001
  • Do 16:00–18:00
Mo 29 Apr 2019 14:00
0
T
Gruppe 10
Geschw.-Scholl-Pl. 1 (D), D Z001
  • Do 18:00–20:00
Mo 29 Apr 2019 14:00
11
T
Gruppe 11
Geschw.-Scholl-Pl. 1 (M), M 001
  • Fr 10:00–12:00
Mo 29 Apr 2019 14:00
37
T
Gruppe 12
Geschw.-Scholl-Pl. 1 (D), D Z001
  • Fr 12:00–14:00
Mo 29 Apr 2019 14:00
0
T
Gruppe 13
Geschw.-Scholl-Pl. 1 (D), D Z001
  • Fr 14:00–16:00
Mo 29 Apr 2019 14:00
8