master > master: README.md

.gitignore

@@ -4,6 +4,8 @@
 
 !/docs
 !/notes
+!/notes/*.pdf
+!/notes/*.md
 !/protocol
 !/protocol/*.md
 

README.md

@@ -4,6 +4,7 @@ Diese Repository ist für die Übungsgruppe am Mittwoch.
 
 - Protokolle findet man [hier](./protocol).
 - Notizen findet man [hier](./notes).
+- Symbolverzeichnis findet man in [notes/glossar.md](./notes/glossar.md).
 
 ## LaTeX ##
 
@@ -23,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: (siehe VL + Moodle)
+- Zulassung: TBA
+
+### Vorbereitung ###
+
+(_unter Arbeit_)

notes/.gitignore

@@ -1,4 +0,0 @@
-*
-!/.gitignore
-
-!/*.pdf

notes/glossar.md

@@ -0,0 +1,69 @@
+<style>
+    table tbody tr td {
+        vertical-align: top;
+    }
+    table tbody tr td:nth-child(1) {
+        font-size: 10pt;
+    }
+    table tbody tr td:nth-child(2), table tbody tr td:nth-child(3) {
+        font-size: 8pt;
+    }
+</style>
+
+# Glossar #
+
+| Symbol | Referenz (im Skript) | Kurze Beschreibung |
+| :----- | :------------------- | :----------------- |
+| `¬` | §8 Definition, VL2, Seite 8 | Negationsjunktor („nicht“) |
+| `⋀` | §8 Definition, VL2, Seite 8 | Konjunktionsjunktor („und“) |
+| `⋁` | §8 Definition, VL2, Seite 8 | Disunktionsjunktor („oder“) |
+| `⟶` | VL2, Seite 47 | **Abkürzung** für Implikation |
+| `⟷` | VL2, Seite 47 | **Abkürzung** für Doppeltimplikation |
+| `⊨` | §9 Definition, VL2, Seite 34 | Erfüllbarkeitsbeziehung: `I ⊨ F` gdw. `I` erf. `F` |
+| `=` | — | `F = G` gdw. `F` und `G` _dieselbe_ Formel sind |
+| `≡` | §13 Definition, VL3, Seite 11 | `F ≡ G` gdw. `F`, `G` **semantisch** äquivalent |
+| `{...}_⋀` | §39 Definition, VL5, Seite 108 | Mengendarstellung von Disjunktionsglied |
+| ~~-`𝒜`-~~ | — | (**Eintrag ignorieren**: kommt in VL nicht vor!) |
+| AL | (VL2–VL6) | Aussagenlogik |
+| `Aᵢ` | §8 Definition, VL2, Seite 8 | das _i_-te Atom in der AL-Sprache |
+| `Atome(·)` | §5 Definition, V2, Seite 14 | `Atome(F) =` Menge aller Atome in `F` |
+| bereinigt | §76 Definition, VL10, Seite 21 | äqv. Formel, Variablensubstitution, so dass jede Var nur gebunden od. frei vorkommt |
+| `𝔠` | §88+§89 Definition, VL11, Seiten 9+14 | (Fraktur c) die Herbrand-Konstante („out of bounds“) |
+| DNF | §22 Definition, VL3, Seite 55 | disjunktive Normalform für AL und PL |
+| erfüllbar | §10 Definition, VL2, Seite 68 | Die „klassischen“ Probleme |
+| `eval(·,·)` | §16 Algorithmus, VL3, Seite 30 | Evaluation: `eval(F,I)=1` gdw. `I ⊨ F` |
+| `ℱ` | §8 Definition, VL2, Seite 8 | Die „AL-Sprache“, Menge aller AL-Formeln |
+| `Fun(t)` | §63 Definition, VL9, Seite 18 | alle Variablen, Konstanten, Fktsymbole in Term `t` |
+| `FV(F)` | §57 Definition, VL8, Seite 27 | Menge freier Variablen in `F` (für Terme siehe `var(t)`) |
+| `g`, `g´`, `g´´`, ... | | Skolemisierung: ∃-Eliminierung mittels Funktionen, die Abhängigkeiten ausdrücken |
+| `GV(F)` | §75 Definition, VL10, Seite 17 | Menge gebundener Variablen in `F`|
+| `H,H(F)` | §88 Definition, VL11, Seite 9 | Herbrand-Symbole, Herbrand-Universum |
+| Herbrand-Interpretation | §89 Definition, VL11, Seite 14 | Interpretation für ein Herbrand-Modell. Alle H-M haben die gleiche Interpretationen von Termen. Nur Relationen können anders interpretiert werden. |
+| KNF | §22 Definition (AL), VL3, Seite 55; §85 Definition (PL), VL10, Seite 89 | konjunktive Normalform für AL und PL |
+| `ℒ` | §8 Definition, VL2, Seite 8 | Die Menge der Literale |
+| PL | (ab VL7) | Prädikatenlogik |
+| NNF | §18 Definition (AL), VL3, Seite 39; §73 Definition (PL), VL10, Seite 8 | Negationsnormalform - Negation nur bei Literalen |
+| PNF | §78 Definition, VL10, Seite 37 | Pränexnormalform - Kette von Quantoren um einen Q-freien Teil |
+| `ℛ,ℛ⁽ᵏ⁾`| §52 Definition, VL7, Seite 72 | Menge der (`k`-stelligen) Relationssymbole, `k≥0`. |
+| `res(·)` | §41–43 Definition, VL6, Seiten 37–43 | `res(F) =` Menge aller Resolventen aus Disjunktionsgliedern aus `F` |
+| `Res(·)` | §43 Definition, VL6, Seite 43 | `Res(F) = F ∪ res(F)` |
+| `Res⁽ⁿ⁾(·)` | §43 Definition, VL6, Seite 43 | `Res(Res(···Res(F)···))`, _n_ Mal |
+| `Res*(·)` | §43 Definition, VL6, Seite 43 | Resolutionshülle |
+| `𝒮,𝒮⁽ᵏ⁾`| §52 Definition, VL7, Seite 72 | Menge der (`k`-stelligen) Funktionssymbole, `k≥0`. **Beachte:** für `k=0` sind dies die Konstanten! |
+| Skolemform | §81, VL10, Seite 62 | äqv. Formel, in der alle Existenzquantoren eliminiert wurden |
+| strukturelle Ind | §6 Theorem, VL2, Seite 24 | allgemeine Induktion über die Teilformelbeziehung |
+| strukturelle Rek | §4 Theorem, VL2, Seite 12 | rekursive Konstruktionschemata über die Teilformelbeziehung |
+| `Sym(F)` | §64 Definition, VL9, Seite 20 | alle „relevanten“ Symbole in `F`: alle **freien** Vars, alle Konstanten, Fktsymbole, Relnsymbole |
+| `𝒯` | §53 Definition, VL7, Seite 74 | Menge der Terme in PL |
+| tautologisch | §10 Definition, VL2, Seite 68 | Die „klassischen“ Probleme |
+| `TF(·)` | §35 Definition, VL5, Seite 56 | `TF(F) =` Menge aller Teilformeln in `F` (inkl. `F` selbst) |
+| `tᵥ` | §37 Definition, VL5, Seite 64 | Abbildung, die Teilformeln auf Literale abbildet |
+| `tseiᵥ` | §37 Definition, VL5, Seite 64 | Tseitin-Transformation |
+| unerfüllbar | §10 Definition, VL2, Seite 68 | Die „klassischen“ Probleme |
+| `𝒱` | §52 Definition, VL7, Seite 72 | Menge der Variablen in PL |
+| `var(t)` | §55 Definition, VL8, Seite 20 | Menge der Variablen in `t` (für Fml siehe `FV(F)`) |
+| widerlegbar | §10 Definition, VL2, Seite 68 | Die „klassischen“ Probleme |
+
+... (wird fortgesetzt)
+
+**ACHTUNG:** Seitennr können abweichen.

protocol/README.md

@@ -2,9 +2,24 @@
 
 Inhaltsverzeichnis
 
-- [Vorlesungswoche 1](./woche1.md)
-- [Vorlesungswoche 2](./woche2.md) Erste Übung: Organisatorisches
-- [Vorlesungswoche 3](./woche3.md) Seminaraufgaben aus Blatt 1
-- [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
+- [Vorlesungswoche 1](./woche1.md) (_keine Übung_)
+- [Vorlesungswoche 2](./woche2.md) Erste Übung: Organisatorisches.
+- [Vorlesungswoche 3](./woche3.md) Semaufg Blatt 1; [BBB Aufzeichnung](https://t1p.de/tjiu).
+- [Vorlesungswoche 4](./woche4.md) Spezielle Themen; [Zoom Aufzeichnung](https://t1p.de/91vz).
+- [Vorlesungswoche 5](./woche5.md) Semaufg Blatt 2; [Zoom Aufzeichnung](https://t1p.de/ny7n).
+- [Vorlesungswoche 6](./woche6.md) HA Blatt 1; [Zoom Aufzeichnung](https://t1p.de/m431).
+- [Vorlesungswoche 7](./woche7.md) (_keine Übung: ...Pfingsten..._)
+- [Vorlesungswoche 8](./woche8.md) Semaufg Blatt 3; [Zoom Aufzeichnung](https://t1p.de/fmok).
+- [Vorlesungswoche 9](./woche9.md) HA Blatt 2; [Zoom Aufzeichnung](https://t1p.de/8vmh).
+- **[Vorlesungswoche 10](./woche10.md) Semaufg Blatt 4; [Zoom Aufzeichnung](https://t1p.de/fpv5). ⟵ _wir sind hier_**
+- [Vorlesungswoche 11](./woche11.md) HA Blatt 3; [Zoom Aufzeichnung].
+- [Vorlesungswoche 12](./woche12.md) Semaufg Blatt 5; [Zoom Aufzeichnung].
+- [Vorlesungswoche 13](./woche13.md) HA Blatt 4; [Zoom Aufzeichnung].
+- [Vorlesungswoche 14](./woche14.md) Semaufg Blatt 6; [Zoom Aufzeichnung].
+- [Vorlesungswoche 15](./woche15.md) HA Blatt 5; [Zoom Aufzeichnung].
+
+**Notizen**
+
+- Für den BBB-Raum bzw. die Zoom-Aufzeichnungen braucht man einen **Code** (siehe Moodle).
+- Klausurdatum wird noch angekündigt.
+  Je nachdem können wir ggf. 1–2 Stunden für Vorklausurfragen organisieren.

protocol/woche10.md

@@ -0,0 +1,23 @@
+# Vorlesungswoche 10 (14.–20. Juni) #
+
+Handnotizen findet man unter [notes/woche10.pdf](./../notes/woche10.pdf).
+
+## Agenda ##
+
+- [x] 2–5 min Organisatorisches
+- [x] Serie 4, Seminaraufgaben besprechen
+    - [x] SemA 4.1
+    - [x] SemA 4.2
+    - [x] SemA 4.3
+    - [x] SemA 4.4
+    - [x] SemA 4.5
+    - Anmerkungen zu HA
+- [x] 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/woche3.md

@@ -1,5 +1,7 @@
 # Vorlesungswoche 3 (26. April – 2. Mai) #
 
+## Agenda ##
+
 - [x] Organisatorisches (max. 5 min)
     - Erinnerung über Abgabe: Matrikelnr., 1 PDF.
 - [x] Serie 1, Seminaraufgaben

protocol/woche4.md

@@ -1,5 +1,9 @@
 # Vorlesungswoche 4 (3. April – 9. Mai) #
 
+Handnotizen findet man unter [notes/woche4.pdf](./../notes/woche4.pdf).
+
+## Agenda ##
+
 - [x] Organisatorisches (max. 5 min)
     - Hochladen = Abgeben
     - Zoom

protocol/woche5.md

@@ -1,6 +1,9 @@
 # Vorlesungswoche 5 (10.–16. Mai) #
 
+Handnotizen findet man unter [notes/woche5.pdf](./../notes/woche5.pdf).
+
 ## Agenda ##
+
 - [x] 2–5 min Organisatorisches (max. 5 min)
 - [x] Serie 2, Seminaraufgaben
     - [x] 7,5 min SA 2.1 Modelle

protocol/woche6.md

@@ -1,19 +1,19 @@
 # Vorlesungswoche 6 (17.–23. Mai) #
 
 ## Agenda ##
-- [ ] 2–5 min Organisatorisches
-    - Abgaben
-    - Stil-Tipps
-- [ ] Serie 1, Hausaufgaben besprechen (inkl. Feedbacknotizen von SHK)
-    - [ ] HA 1.1
-    - [ ] HA 1.2
-    - [ ] HA 1.3
-    - [ ] HA 1.4
-- [ ] restliche Zeit für allg. Fragen
+
+- [x] 2–5 min Organisatorisches
+- [x] Serie 1, Hausaufgaben besprechen (inkl. Feedbacknotizen von SHK)
+    - [x] HA 1.1
+    - [x] HA 1.2
+    - [x] HA 1.3
+    - [x] HA 1.4
+- [x] restliche Zeit für allg. Fragen
+    - Fragen zu strukturelle Induktion
 
 ## Nächste Woche ##
 
--
+- nach Anfrage kann ggf. etwas aufgezeichnet werden
 
 ### TODOs (Studierende) ###
 

protocol/woche7.md

@@ -0,0 +1,3 @@
+# Vorlesungswoche 7 (24.–30. Mai) #
+
+(keine VL od. ÜG diese Woche)

protocol/woche8.md

@@ -0,0 +1,23 @@
+# Vorlesungswoche 8 (31. Mai – 6. Juni) #
+
+Handnotizen findet man unter [notes/woche8.pdf](./../notes/woche8.pdf).
+
+## Agenda ##
+
+- [x] 2–5 min Organisatorisches
+    - Feedback zu HA 1
+    - Symbolverzeichnis findet man in [notes/glossar.md](./../notes/glossar.md).
+- [x] Serie 3, Seminaraufgaben besprechen
+    - [x] SemA 3.1
+    - [x] SemA 3.2
+    - [x] SemA 3.3
+- [ ] restliche Zeit für allg. Fragen
+
+## Nächste Woche ##
+
+- HA aus Blatt 2.
+
+### TODOs (Studierende) ###
+
+– VL Wochen 5+6 wieder durchlesen, VL Woche 7 für Vorlesung durchlesen.
+- am ÜB 3 weiter arbeiten.

protocol/woche9.md

@@ -0,0 +1,24 @@
+# Vorlesungswoche 9 (7.–13. Juni) #
+
+## Agenda ##
+
+- [x] 2–5 min Organisatorisches
+- [x] Serie 2, Hausaufgaben besprechen
+    - [x] allgemeines Feedback
+    - [x] SemA 2.1
+    - [x] SemA 2.2
+    - [x] SemA 2.3
+    - [x] SemA 2.4
+    - [x] SemA 2.5
+- [x] restliche Zeit für allg. Fragen
+
+## Nächste Woche ##
+
+- Seminaraufgaben aus Blatt 4.
+- Allg.: bitte überlegen, was vor der Klausur erwünscht wäre, bspw. interaktive Sprechstunden/Fragerunde,
+    oder ob ihr (selbstverständlich Pandemie-Maßnahmen beachtend) unter euch euch treffen wollt,
+    durch den Stoff + die Übungen gemeinsam geht.
+
+### TODOs (Studierende) ###
+
+- ÜB 3 bis **Do 10.06.** um 22:00 abgeben!