diff --git a/protocol/README.md b/protocol/README.md index 04fefb6..831c7a7 100644 --- a/protocol/README.md +++ b/protocol/README.md @@ -5,4 +5,6 @@ Inhaltsverzeichnis - [Vorlesungswoche 1](./woche1.md) - [Vorlesungswoche 2](./woche2.md) Erste Übung: Organisatorisches - [Vorlesungswoche 3](./woche3.md) Seminaraufgaben aus Blatt 1 -- [Vorlesungswoche 4](./woche4.md) +- [Vorlesungswoche 4](./woche4.md) ~~Hausaufgaben aus Blatt ??~~ Spezielle Themen +- [Vorlesungswoche 5](./woche5.md) Seminaraufgaben aus Blatt 2 +- [Vorlesungswoche 6](./woche6.md) Hausaufgaben aus Blatt 1 diff --git a/protocol/woche4.md b/protocol/woche4.md new file mode 100644 index 0000000..fb32070 --- /dev/null +++ b/protocol/woche4.md @@ -0,0 +1,27 @@ +# 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.