799 B

Raw Blame History

Vorlesungswoche 4 (3. April – 9. Mai)

Organisatorisches (max. 5 min)
- Hochladen = Abgeben
- Zoom
  - Zugriff
  - Ort der Zoomaufzeichnungen
  - BBB-Aufzeichnung?
Spezielles Thema: (strukturelle) Rekursion
- Hintergrund: Konstruktion bottom-up vs. top-down
- Wohldefiniertheit (für bottom-up)
- Beispiele
- Induktion
  - Gegenstück zur strukturellen Rekursion
  - Aus Sicht von bottom-up (-> verallgemeinert Induktion über ℕ)
  - Aus Sicht von top-down (!! neue Sichtweise !!)
  - Beispiele
weitere Fragen nach Aufzeichnungsende.

Nächste Woche

Seminaraufgaben für Serie 2

TODOs (Studierende)

Folien für Wochen 3--4 durchlesen;
ÜB 1 bis {22:00 am Donnerstag 6. Mai 2021} abgeben.