Informatik II Skript Grust SS 15

Inhalt:

• Einführung - 14.04.15
• Ausdrücke, Defines, usw - 16.04.15
• Signaturen, Testfälle - 21.04.15
• Substitutionsmodell, Fallunterscheidung - 23.04.15
• One-of Signatur - 28.04.15
• Zusammengesetzte Daten - 30.04.15
• Fortsetzung zusammengesetzte Daten - 05.05.15
• Gemischte Daten - 07.05.15
• Parametrisch polymorphe Funktionen - 12.05.15
• Listen - 12.05.15
• Listenprozeduren - 19.05.2015
• Rekursion auf Listen - 21.05.2015
• Endrekursive Funktionen - 09.06.2015
• Induktive Definition - 11.06.2015
• Prozeduren höherer Ordnung - 16.06.2015
• Fortführung Prozeduren höherer Ordnung - 18.06.2015
• Teachpack "universe" - 23.6.
• Currying (Haskell B. Curry) - 25.6.
• set-inset, Streams, delay, force - 30.6.
• Fortsetzung Streams - 2.7.
• Fortsetzung Bäume - 7.7.