diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index b65aabf..b7f3230 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -11,17 +11,32 @@ "id": "7044dbc4e64a95f3", "type": "leaf", "state": { - "type": "canvas", + "type": "markdown", "state": { - "file": "SS2026/Klausurplan.canvas", - "viewState": { - "x": -200, - "y": -100, - "zoom": 0 - } + "file": "SS2026/Mathematische Logik/Einleitung/Einleitung.md", + "mode": "source", + "source": false }, - "icon": "lucide-layout-dashboard", - "title": "Klausurplan" + "icon": "lucide-file", + "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/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/Datenbanken und Informationssysteme/Datenbanken und Informationssysteme.md" ] } \ No newline at end of file diff --git a/SS2026/Klausurplan.canvas b/SS2026/Klausurplan.canvas index 438d1f3..a038915 100644 --- a/SS2026/Klausurplan.canvas +++ b/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"}, diff --git a/SS2026/Mathematische Logik/Einleitung/Anhänge/log-intro-handout.pdf b/SS2026/Mathematische Logik/Einleitung/Anhänge/log-intro-handout.pdf new file mode 100644 index 0000000..837cd86 Binary files /dev/null and b/SS2026/Mathematische Logik/Einleitung/Anhänge/log-intro-handout.pdf differ diff --git a/SS2026/Mathematische Logik/Einleitung/Einleitung.md b/SS2026/Mathematische Logik/Einleitung/Einleitung.md new file mode 100644 index 0000000..0904d3a --- /dev/null +++ b/SS2026/Mathematische Logik/Einleitung/Einleitung.md @@ -0,0 +1,2 @@ +![[log-intro-handout.pdf]] + diff --git a/SS2026/Mathematische Logik/Mathematische Logik.md b/SS2026/Mathematische Logik/Mathematische Logik.md new file mode 100644 index 0000000..478b268 --- /dev/null +++ b/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 \ No newline at end of file diff --git a/SS2026/Mathematische Logik/Notation/Anhänge/log-appA.pdf b/SS2026/Mathematische Logik/Notation/Anhänge/log-appA.pdf new file mode 100644 index 0000000..64cc784 Binary files /dev/null and b/SS2026/Mathematische Logik/Notation/Anhänge/log-appA.pdf differ diff --git a/SS2026/Mathematische Logik/Notation/Notation.md b/SS2026/Mathematische Logik/Notation/Notation.md new file mode 100644 index 0000000..445dc3c --- /dev/null +++ b/SS2026/Mathematische Logik/Notation/Notation.md @@ -0,0 +1 @@ +![[log-appA.pdf]] \ No newline at end of file