From 618f463c93006925a385bba0ff022fe3f1405c87 Mon Sep 17 00:00:00 2001
From: raj_mathe <raj.dahya@math.uni-leipzig.de>
Date: Tue, 1 Jun 2021 14:06:04 +0200
Subject: [PATCH] master > master: glossar

---
 .gitignore       |  2 ++
 notes/.gitignore |  4 ----
 notes/glossar.md | 39 +++++++++++++++++++++++++++++++++++++++
 3 files changed, 41 insertions(+), 4 deletions(-)
 delete mode 100644 notes/.gitignore
 create mode 100644 notes/glossar.md

diff --git a/.gitignore b/.gitignore
index 8c531df..cd8ac1c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,8 @@
 
 !/docs
 !/notes
+!/notes/*.pdf
+!/notes/*.md
 !/protocol
 !/protocol/*.md
 
diff --git a/notes/.gitignore b/notes/.gitignore
deleted file mode 100644
index 60dc744..0000000
--- a/notes/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-*
-!/.gitignore
-
-!/*.pdf
diff --git a/notes/glossar.md b/notes/glossar.md
new file mode 100644
index 0000000..580ec19
--- /dev/null
+++ b/notes/glossar.md
@@ -0,0 +1,39 @@
+<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 | Die Menge der Literale |
+| ℱ | §8 Definition, VL2, Seite 8 | Die „AL-Sprache“, Menge aller AL-Formeln |
+| Aᵢ | §8 Definition, VL2, Seite 8 | das i-te Atom in der AL-Sprache |
+| ¬ | §8 Definition, VL2, Seite 8 | Negationsjunktor („nicht“) |
+| ⋀ | §8 Definition, VL2, Seite 8 | Konjunktionsjunktor („und“) |
+| ⋁ | §8 Definition, VL2, Seite 8 | Konjunktionsjunktor („oder“) |
+| ⟶ | VL2, Seite 47 | **Abkürzung** für Implikation |
+| ⟷ | VL2, Seite 47 | **Abkürzung** für Doppeltimplikation |
+| erf., taut.,<br>widerlegbar,<br>unerf. | §10 Definition, VL2, Seite 68 | Die „klassischen“ Probleme |
+| ⊨ | §9 Definition, VL2, Seite 34 | Erfüllbarkeitsbeziehung: I ⊨ F gdw. I erf. F |
+| ≡ | §13 Definition, VL3, Seite 11 | F ≡ G gdw. F, G **semantisch** äquivalent |
+| = | — | F = G gdw. F und G _dieselbe_ Formel sind |
+| eval(·,·) | §16 Algorithmus, VL3, Seite 30 | Evaluation: eval(F,I)=1 gdw. I ⊨ F |
+| Atome(·) | §5 Definition, V2, Seite 14 | Atome(F) = Menge aller Atome in F |
+| TF(·) | §35 Definition, VL5, Seite 56 | TF(F) = Menge aller Teilformeln in F (inkl. F) |
+| tᵥ | §37 Definition, VL5, Seite 64 | Abbildung, die Teilformeln auf Literale abbildet |
+| tseiᵥ | §37 Definition, VL5, Seite 64 | Tseitin-Transformation |
+| 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 |
+
+... (wird fortgesetzt)