Informatik 1 (Programmierung) WS 98/99

Übungsaufgaben

Aufgabenblätter

Hier findet Ihr die Übungsblätter zur Vorlesung:

• Blatt 1: Deklarationen, Divergenz
• Blatt 2: Syntax, BNF-Grammatiken
• Blatt 3: Wörter, Bäume, Grammatiken
• Blatt 4: Inferenzregeln, Semantik
• Blatt 5: Kosten, Endrekursion
• Blatt 6: Induktionsbeweise, Korrektheit
• Blatt 7: Modulo, Wohlfundiertheit
• Blatt 8: Gleichberechtigte Prozeduren, Polymorphismus, Patterns
• Blatt 9: Listen, Infix
• Blatt 10: Grosse Zahlen, Ein/Ausgabe
  • vorgegebene Signaturen und Beispiele
• Blatt 11: Zahlensysteme, Konstruktortypen
  • vorgegebene Signaturen und Beispiele
• Blatt 12: Zustand, Parser
  • vorgegebene Signaturen und Beispiele
• Blatt 13: Schleifen, Interpreter
  • vorgegebene Signaturen und Beispiele
• Blatt 14: Wiederholung
  • vorgegebene Signaturen und Beispiele

Ergänzend zu den Blättern gibt es:

• die kommentierten Signaturen der Moscow-ML-Standardstrukturen
• Tips zum Umgang mit Moscow ML
• den Mini-Interpreter Toy

Bei Fragen zu den Aufgaben wendet Euch bitte an Euern Übungsgruppen-Betreuer oder an rossberg@ps.uni-saarland.de. Fragen von allgemeinem Interesse schickt ihr aber am besten auf die Mailingliste (info1@ps.uni-saarland.de).