master > master: protokoll woche 4

protocol/woche4.md

@@ -7,13 +7,25 @@
         - Ort der Zoomaufzeichnungen
         - BBB-Aufzeichnung?
 - Spezielles Thema: (strukturelle) Rekursion
-    - Hintergrund: Konstruktion bottom-up vs. top-down
-    - Wohldefiniertheit (für bottom-up)
-    - Beispiele
+    - top-down
+        - »kleinste Menge«
+        - Wohldefiniertheit: einfach!
+    - bottom-up
+        - wohlfundierte Relationen
+        - Wohldefiniertheit: (schwer!)
+    - Satz: bottom-up = top-down
+    - Präsentation (Schemata)
+    - Beispiele:
+        - eval(·, I)
+        - Atome(·)
+        - Länge
     - Induktion
-        - Gegenstück zur strukturellen Rekursion
         - Aus Sicht von bottom-up (-> verallgemeinert Induktion über ℕ)
+        - wieso funktioniert es? (Beweis durch Widerspruch -> betrachte `min{x | ¬ ф(x)}`)
+        - Beispiele
+    - strukturelle Induktion
         - Aus Sicht von top-down (!! neue Sichtweise !!)
+        - wieso funktioniert es? (direkter Beweis: `{x | ф(x)} ⊇ »kleinste Menge«`)
         - Beispiele
 - [ ] weitere Fragen nach Aufzeichnungsende.