README.md

@@ -24,12 +24,3 @@ Beispiele aus der Übung:
 
 Das Tool ist klug genug, um das Weglassen der äußersten Klammern
 und `A0 && A1 && A2` statt `((A0 && A1) && A2)` u. Ä. zu zulassen.
-
-## Zur Klausur ##
-
-- Datum: TBA
-- Zulassung: TBA
-
-### Vorbereitung ###
-
-(_unter Arbeit_)

protocol/README.md

@@ -15,8 +15,3 @@ Inhaltsverzeichnis
 - [Vorlesungswoche 11](./woche11.md) Hausaufgaben aus Blatt 3
 - [Vorlesungswoche 12](./woche12.md) Seminaraufgaben aus Blatt 5
 - [Vorlesungswoche 13](./woche13.md) Hausaufgaben aus Blatt 4
-- [Vorlesungswoche 13](./woche14.md) Seminaraufgaben aus Blatt 6
-- [Vorlesungswoche 13](./woche15.md) Hausaufgaben aus Blatt 5
-
-Klausurdatum wird noch angekündigt.
-Je nachdem können wir ggf. 1–2 Stunden für Vorklausurfragen organisieren.

protocol/woche10.md

@@ -1,18 +0,0 @@
-# Vorlesungswoche 10 (14.–20. Juni) #
-
-## Agenda ##
-
-- [ ] 2–5 min Organisatorisches
-- [ ] Serie 4, Seminaraufgaben besprechen
-    - [ ] SemA 4.1
-    - [ ] SemA 4.2
-    - [ ] SemA 4.3
-- [ ] restliche Zeit für allg. Fragen
-
-## Nächste Woche ##
-
-- HA aus Blatt 3.
-
-### TODOs (Studierende) ###
-
-- am ÜB 4 weiter arbeiten.

protocol/woche11.md

@@ -1,19 +0,0 @@
-# Vorlesungswoche 11 (21.–27. Juni) #
-
-## Agenda ##
-
-- [ ] 2–5 min Organisatorisches
-- [ ] Serie 3, Hausaufgaben besprechen
-    - [ ] allgemeines Feedback
-    - [ ] HA 3.1
-    - [ ] HA 3.2
-    - [ ] HA 3.3
-- [ ] restliche Zeit für allg. Fragen
-
-## Nächste Woche ##
-
-- Seminaraufgaben aus Blatt 5.
-
-### TODOs (Studierende) ###
-
-- ÜB 4 bis **Do 24.06.** um 22:00 abgeben!

protocol/woche12.md

@@ -1,18 +0,0 @@
-# Vorlesungswoche 12 (28. Juni – 4. Juli) #
-
-## Agenda ##
-
-- [ ] 2–5 min Organisatorisches
-- [ ] Serie 5, Seminaraufgaben besprechen
-    - [ ] SemA 5.1
-    - [ ] SemA 5.2
-    - [ ] SemA 5.3
-- [ ] restliche Zeit für allg. Fragen
-
-## Nächste Woche ##
-
-- HA aus Blatt 4.
-
-### TODOs (Studierende) ###
-
-- am ÜB 5 weiter arbeiten.

protocol/woche13.md

@@ -1,19 +0,0 @@
-# Vorlesungswoche 13 (5.–11. Juli) #
-
-## Agenda ##
-
-- [ ] 2–5 min Organisatorisches
-- [ ] Serie 4, Hausaufgaben besprechen
-    - [ ] allgemeines Feedback
-    - [ ] HA 4.1
-    - [ ] HA 4.2
-    - [ ] HA 4.3
-- [ ] restliche Zeit für allg. Fragen
-
-## Nächste Woche ##
-
-- Seminaraufgaben aus Blatt 6.
-
-### TODOs (Studierende) ###
-
-- ÜB 5 bis **Do 08.07.** um 22:00 abgeben!

protocol/woche14.md

@@ -1,19 +0,0 @@
-# Vorlesungswoche 14 (12.–18. Juli) #
-
-## Agenda ##
-
-- [ ] 2–5 min Organisatorisches
-    - **Beachte:** HA zu Serie 6 werden leider nicht besprochen!
-- [ ] Serie 6, Seminaraufgaben besprechen
-    - [ ] SemA 6.1
-    - [ ] SemA 6.2
-    - [ ] SemA 6.3
-- [ ] restliche Zeit für allg. Fragen
-
-## Nächste Woche ##
-
-- HA aus Blatt 5.
-
-### TODOs (Studierende) ###
-
-- am ÜB 6 weiter arbeiten.

protocol/woche15.md

@@ -1,22 +0,0 @@
-# Vorlesungswoche 15 (19.–25. Juli) #
-
-## Agenda ##
-
-- [ ] 2–5 min Organisatorisches
-    - [ ] Anfragen, ob Vorklausurübung erwünscht wird.
-- [ ] Serie 5, Hausaufgaben besprechen
-    - [ ] allgemeines Feedback
-    - [ ] HA 5.1
-    - [ ] HA 5.2
-    - [ ] HA 5.3
-- [ ] restliche Zeit für allg. Fragen
-
-## Nächste Woche ##
-
-- (aktuell keine geplante ÜG)
-
-### TODOs (Studierende) ###
-
-- Klausurvorbereitung!
-
-- ÜB 6 bis **Do 22.07.** um 22:00 abgeben!

protocol/woche8.md

@@ -12,6 +12,7 @@ Handnotizen findet man unter [notes/woche8.pdf](./../notes/woche8.pdf).
     - [x] SemA 3.2
     - [x] SemA 3.3
 - [ ] restliche Zeit für allg. Fragen
+    - Fragen zu strukturelle Induktion
 
 ## Nächste Woche ##
 

protocol/woche9.md

@@ -1,21 +0,0 @@
-# Vorlesungswoche 9 (7.–13. Juni) #
-
-## Agenda ##
-
-- [ ] 2–5 min Organisatorisches
-- [ ] Serie 2, Hausaufgaben besprechen
-    - [ ] allgemeines Feedback
-    - [ ] SemA 2.1
-    - [ ] SemA 2.2
-    - [ ] SemA 2.3
-    - [ ] SemA 2.4
-    - [ ] SemA 2.5
-- [ ] restliche Zeit für allg. Fragen
-
-## Nächste Woche ##
-
-- Seminaraufgaben aus Blatt 4.
-
-### TODOs (Studierende) ###
-
-- ÜB 3 bis **Do 10.06.** um 22:00 abgeben!