vault backup: 2026-08-07 10:09:09

.obsidian/workspace.json

@@ -11,17 +11,32 @@
             "id": "7044dbc4e64a95f3",
             "type": "leaf",
             "state": {
-              "type": "canvas",
+              "type": "markdown",
               "state": {
-                "file": "SS2026/Klausurplan.canvas",
+                "file": "SS2026/Mathematische Logik/Einleitung/Einleitung.md",
-                "viewState": {
+                "mode": "source",
-                  "x": -200,
+                "source": false
-                  "y": -100,
-                  "zoom": 0
-                }
               },
-              "icon": "lucide-layout-dashboard",
+              "icon": "lucide-file",
-              "title": "Klausurplan"
+              "title": "Einleitung"
+            }
+          }
+        ]
+      },
+      {
+        "id": "7bf21be5c6c356e5",
+        "type": "tabs",
+        "children": [
+          {
+            "id": "a8273993e453dfc9",
+            "type": "leaf",
+            "state": {
+              "type": "pdf",
+              "state": {
+                "file": "SS2026/Mathematische Logik/Einleitung/Anhänge/log-intro-handout.pdf"
+              },
+              "icon": "lucide-file-text",
+              "title": "log-intro-handout"
             }
           }
         ]
@@ -203,6 +218,17 @@
   },
   "active": "7044dbc4e64a95f3",
   "lastOpenFiles": [
+    "SS2026/Quantum Computing/Introduction to Quantum Computing.md",
+    "SS2026/Mathematische Logik/Einleitung/Einleitung.md",
+    "SS2026/Mathematische Logik/Einleitung/Anhänge/log-intro-handout.pdf",
+    "SS2026/Mathematische Logik/Notation/Notation.md",
+    "SS2026/Mathematische Logik/Notation/Anhänge/log-appA.pdf",
+    "SS2026/Mathematische Logik/Notation/Anhänge",
+    "SS2026/Mathematische Logik/Notation",
+    "SS2026/Mathematische Logik/Einleitung/Anhänge",
+    "SS2026/Mathematische Logik/Mathematische Logik.md",
+    "SS2026/Mathematische Logik/Einleitung",
+    "SS2026/Klausurplan.canvas",
     "SS2026/Quantum Computing/19. Quantum Complexity/Quantum Complexity.md",
     "SS2026/Quantum Computing/19. Quantum Complexity/Anhänge/Pasted image 20260806203055.png",
     "SS2026/Quantum Computing/19. Quantum Complexity/Anhänge/Pasted image 20260806203005.png",
@@ -214,25 +240,17 @@
     "SS2026/Quantum Computing/19. Quantum Complexity/Anhänge/Pasted image 20260806202558.png",
     "SS2026/Quantum Computing/19. Quantum Complexity/Anhänge/Pasted image 20260806202511.png",
     "SS2026/Quantum Computing/19. Quantum Complexity/Anhänge",
-    "SS2026/Quantum Computing/Introduction to Quantum Computing.md",
     "SS2026/Quantum Computing/18. Fault-torerant computation/Fault-Tolerant Computation.md",
     "SS2026/Quantum Computing/19. Quantum Complexity",
     "SS2026/Quantum Computing/18. Fault-torerant computation/Anhänge/Pasted image 20260806140650.png",
     "SS2026/Quantum Computing/18. Fault-torerant computation/Anhänge",
     "SS2026/Quantum Computing/17. Quantum Error Correction/Quantum Error Correction.md",
     "SS2026/Quantum Computing/18. Fault-torerant computation",
-    "SS2026/Quantum Computing/17. Quantum Error Correction/Anhänge",
     "SS2026/Quantum Computing/16. Universal set of gates/Universal Set of Gates.md",
-    "SS2026/Quantum Computing/17. Quantum Error Correction",
-    "SS2026/Quantum Computing/16. Universal set of gates/Anhänge",
     "SS2026/Quantum Computing/15. Ion-based/Ion-based Quantum Computers.md",
-    "SS2026/Quantum Computing/16. Universal set of gates",
-    "SS2026/Quantum Computing/15. Ion-based/Anhänge",
     "SS2026/Quantum Computing/14. Quantum Computer/From Quantum Physics to Quantum Computers.md",
-    "SS2026/Quantum Computing/15. Ion-based",
     "SS2026/Quantum Computing/13. Quantum Physics/Quantum Physics.md",
     "SS2026/Quantum Computing/12. Grover's Algorithm/Grover's Algorithm.md",
-    "SS2026/Klausurplan.canvas",
     "SS2026/Quantum Computing/11. Shor's Algorithm/Shor's Algorithm.md",
     "SS2026/Quantum Computing/10. Discrete Fourier Transformation/Discrete Fourier Transformation.md",
     "SS2026/Quantum Computing/9. Bernstein-Vazirani/Bernstein-Vazirani Algorithm.md",
@@ -245,9 +263,6 @@
     "SS2026/Quantum Computing/2. Probabilistic systems/Probabilistic Systems.md",
     "SS2026/Quantum Computing/3. Quantum Systems/Quantum Systems.md",
     "SS2026/Datenbanken und Informationssysteme/4. SQL/SQL.md",
-    "SS2026/Datenbanken und Informationssysteme/Datenbanken und Informationssysteme.md",
+    "SS2026/Datenbanken und Informationssysteme/Datenbanken und Informationssysteme.md"
-    "SS2026/Datenbanken und Informationssysteme/5. Relationale Anfragebearbeitung/Relationale Anfragebearbeitung.md",
-    "SS2026/Datenbanken und Informationssysteme/9. RDF und Semantic Web/Resource Description Framework und Wissensgraphen.md",
-    "SS2026/Datenbanken und Informationssysteme/6. Relationale Entwurfstheorie/Relationale Entwurfstheorie.md"
   ]
 }

SS2026/Klausurplan.canvas

@@ -2,7 +2,7 @@
 	"nodes":[
 		{"id":"71880b99a91c67bd","type":"text","text":"13.08 [[Datenbanken und Informationssysteme]]","x":-540,"y":-280,"width":250,"height":60,"color":"1"},
 		{"id":"d9dae797ebe948cd","type":"text","text":"20.08 [[Introduction to Quantum Computing]]","x":-540,"y":-200,"width":250,"height":60,"color":"1"},
-		{"id":"f1808e4ab000c548","type":"text","text":"27.08 MaLo","x":-540,"y":-120,"width":250,"height":60,"color":"1"},
+		{"id":"f1808e4ab000c548","type":"text","text":"27.08 [[Mathematische Logik]]","x":-540,"y":-120,"width":250,"height":60,"color":"1"},
 		{"id":"3c8b84526662b594","type":"text","text":"16.09 MIT","x":-540,"y":-40,"width":250,"height":60,"color":"1"},
 		{"id":"039d99cbeaa8bacd","type":"text","text":"23.09 EmSys","x":-540,"y":40,"width":250,"height":60,"color":"1"},
 		{"id":"60d4af65fb43a687","type":"text","text":"25.09 Stocha","x":-540,"y":120,"width":250,"height":60,"color":"1"},

SS2026/Mathematische Logik/Einleitung/Einleitung.md

@@ -0,0 +1,2 @@
+![[log-intro-handout.pdf]]
+

SS2026/Mathematische Logik/Mathematische Logik.md

@@ -0,0 +1,10 @@
+## Einleitung
+## Rekursion und Induktion
+## Aussagenlogik
+## Folgern und Beweisen
+## Strukturen
+## Logik der 1. Stufe
+## Der Vollständigkeitssatz
+## Unentscheidbarkeit der Logik der 1. Stufe
+## Elementare Äquivalenz
+## Ausblick

SS2026/Mathematische Logik/Notation/Notation.md

@@ -0,0 +1 @@
+![[log-appA.pdf]]