From 3eef2c624c446c8d2944c84fcb2200f580a5c4d0 Mon Sep 17 00:00:00 2001
From: raj_mathe <raj.dahya@math.uni-leipzig.de>
Date: Tue, 4 May 2021 23:41:01 +0200
Subject: [PATCH] master > master: protokoll woche 4

---
 protocol/woche4.md | 20 ++++++++++++++++----
 1 file changed, 16 insertions(+), 4 deletions(-)

diff --git a/protocol/woche4.md b/protocol/woche4.md
index fb32070..a59043a 100644
--- a/protocol/woche4.md
+++ b/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.