master > master: README.md voraussichtliche Erwähnungen von Klausur

README.md

@@ -24,3 +24,12 @@ 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,3 +15,8 @@ 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

@@ -0,0 +1,18 @@
+# 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

@@ -0,0 +1,19 @@
+# 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

@@ -0,0 +1,18 @@
+# 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

@@ -0,0 +1,19 @@
+# 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

@@ -0,0 +1,19 @@
+# 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

@@ -0,0 +1,22 @@
+# 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,7 +12,6 @@ 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

@@ -0,0 +1,21 @@
+# 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!