Materialien

Materialien zur Programmierung und Modellierung

Titel	Beschreibung	Erstellungsdatum	Änderungsdatum
Evaluation mit Fixpunktkombinator	Live erstellte Auswertung eines Ausdrucks mit Fixpunktkombinator	10.07.2014 18:01	10.07.2014 18:01
ProMo V15	Überschatten & Ausblicke	10.07.2014 16:37	10.07.2014 16:37
ProMo V13	Verzögerte Auswertung & Striktheit	30.06.2014 09:03	03.07.2014 16:41
ProMo V14	Denotationelle Semantik	03.07.2014 16:24	03.07.2014 16:40
ProMo V07	Funktionen höherer Ordnung	15.05.2014 15:54	02.07.2014 16:23
Vorlage H9-2 (Aktionskette)	Dateivorlage zur Hausübung H9-2 (Aktionskette). Bitte nur die mit -- !!! TODO !!! gekennzeichneten Teile bearbeiten.	23.06.2014 17:14	23.06.2014 17:15
ProMo V12	Monaden	23.06.2014 09:33	23.06.2014 17:11
Code V12	Zustandsmonade zu Fuss und live programmiert in Vorlesung 12	23.06.2014 11:54	23.06.2014 11:54
Vorlage H8-3 (Unifikation)	Dateivorlage zu Aufgabe H8-3 (Unifikation 2) Bearbeiten Sie nur die mit "-- TODO" markierte Stelle! Sie dürfen auch neue Hilfsfunktion definieren, und a...	12.06.2014 23:25	16.06.2014 21:02
ProMo V11	Funktoren & I/O	16.06.2014 01:39	16.06.2014 10:03
ProMo V10	Typsysteme & Typinferenz	02.06.2014 00:40	05.06.2014 13:44
Vorlagen Übung 07	Dateivorlagen zur Bearbeitung von Übungsblatt 07	03.06.2014 09:29	03.06.2014 09:34
ProMo V09	Laufzeitbetrachtungen	26.05.2014 07:44	02.06.2014 00:39
ProMo V08	Grundalgorithmen für Bäume	18.05.2014 19:41	27.05.2014 13:57
Vorlage H6-3 (Parser)	Dateivorlage zur Hausübung 6-3. Vervollständigen Sie den am Ende von Vorlesung 8 begonnenen simplen Parser für arithmetische Ausdrücke.	26.05.2014 19:18	26.05.2014 19:54
ProMo V06	Polymorpie, Typklassen und Module	12.05.2014 01:00	26.05.2014 16:41
ProMo V05	Benutzerdefinierte Datentypen	28.04.2014 07:51	26.05.2014 16:41
ProMO FAQ1 Folien	Folien der ersten Fragestunde	08.05.2014 18:39	08.05.2014 18:39
ProMo V05 Code	Gesammelte Code Beispiele aus der Vorlesung 05: - Personen Records - Früchte - Maybe - Either	28.04.2014 15:59	28.04.2014 15:59
ProMo V02	Vorlesungsfolien 02 - Listen, Pattern Matching, Funktionsdefinition	10.04.2014 07:35	28.04.2014 15:18