vault backup: 2026-08-07 11:09:14

.obsidian/workspace.json

@@ -13,30 +13,30 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "SS2026/Mathematische Logik/Einleitung/Einleitung.md",
+                "file": "SS2026/Mathematische Logik/Rekursion und Induktion/Rekursion und Induktion.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "Einleitung"
+              "title": "Rekursion und Induktion"
             }
           }
         ]
       },
       {
-        "id": "7bf21be5c6c356e5",
+        "id": "6c36487cc84f3a87",
         "type": "tabs",
         "children": [
           {
-            "id": "a8273993e453dfc9",
+            "id": "10bf4e3306b527a4",
             "type": "leaf",
             "state": {
               "type": "pdf",
               "state": {
-                "file": "SS2026/Mathematische Logik/Einleitung/Anhänge/log-intro-handout.pdf"
+                "file": "SS2026/Mathematische Logik/Rekursion und Induktion/Anhänge/log-kap01-handout.pdf"
               },
               "icon": "lucide-file-text",
-              "title": "log-intro-handout"
+              "title": "log-kap01-handout"
             }
           }
         ]
@@ -218,15 +218,19 @@
   },
   "active": "7044dbc4e64a95f3",
   "lastOpenFiles": [
-    "SS2026/Quantum Computing/Introduction to Quantum Computing.md",
+    "SS2026/Mathematische Logik/Rekursion und Induktion/Anhänge/log-kap01-handout.pdf",
+    "SS2026/Mathematische Logik/Rekursion und Induktion/Rekursion und Induktion.md",
+    "SS2026/Mathematische Logik/Rekursion und Induktion/Anhänge",
+    "SS2026/Mathematische Logik/Mathematische Logik.md",
+    "SS2026/Mathematische Logik/Rekursion und Induktion",
     "SS2026/Mathematische Logik/Einleitung/Einleitung.md",
+    "SS2026/Quantum Computing/Introduction to Quantum Computing.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",
@@ -241,11 +245,8 @@
     "SS2026/Quantum Computing/19. Quantum Complexity/Anhänge/Pasted image 20260806202511.png",
     "SS2026/Quantum Computing/19. Quantum Complexity/Anhänge",
     "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/16. Universal set of gates/Universal Set of Gates.md",
     "SS2026/Quantum Computing/15. Ion-based/Ion-based Quantum Computers.md",
     "SS2026/Quantum Computing/14. Quantum Computer/From Quantum Physics to Quantum Computers.md",
@@ -262,7 +263,6 @@
     "SS2026/Quantum Computing/1. Introduction/Introduction to Quantum physics.md",
     "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/4. SQL/SQL.md"
   ]
 }

SS2026/Mathematische Logik/Einleitung/Einleitung.md

@@ -1,2 +1,8 @@
+Logik ist die Lehre des vernünftigen Schließens.
+
+Zentrale Fragen:
+- Wie lassen sich Sachverhalte beschreiben? SYNTAX
+- Was bedeuten diese formalen Aussagen? SEMANTIK
+- Wie lassen sich Schlussfolgerungen ziehen und beweisen? INFERENZ
 
 

SS2026/Mathematische Logik/Mathematische Logik.md

@@ -1,4 +1,4 @@
-## Einleitung
+## [[Einleitung]]
 ## Rekursion und Induktion
 ## Aussagenlogik
 ## Folgern und Beweisen