Quantenlogik
Quantum Logics
6 LPunregelmäßigDE
Voraussetzungen
Empfohlen, im Wortlaut
Grundlegendes Wissen in linearer Algebra und formaler Logik, etwa im Rahmen der Module • 11101 Lineare Algebra und analytische Geometrie I oder • 11113 Mathematik IT-2 (Lineare Algebra) • 11112 Mathematik IT-1 (Diskrete Mathematik) oder • 11107 Höhere Mathematik - T1 • 11108 Höhere Mathematik - T2
Inhalte
• Formale Logik, algebraische Semantik, Kripke-Semantik • Mathematische Strukturen, insbesondere der Quantenphysik • Zur Algebra abgeschlossener Unterräume in einem Hilbert’schen Raum • Scharfe Quantenlogik und das Problem der Implikation • Fuzzy Ereignisse und unscharfe Quantenlogik
Lernziele
Nach erfolgreicher Teilnahme am Modul sind die Studierenden in der Lage, • logische Propositionen und deren Semantik zu verstehen, anzuwenden und zu analysieren, • algebraische Strukturen für mehrwertige Logiken zu verstehen, anzuwenden und zu analysieren, • deren Verbindung zum Formalismus der Quantenphysik zu verstehen, • die Konzepte der scharfen und unscharfen Logiken zu verstehen, anzuwenden und zu analysieren.
Prüfungsleistung
• Klausur, 90 Minuten
Literatur (2)
- Dalla Chiara, M., R. Giuntini and R. Greechie: Reasoning in Quantum Theory, Kluwer 2004
- Kalmbach, G.: Quantum measures and space, Kluwer 1998
Quelle: Modulbeschreibung der BTU · abgerufen 28.09.2026Original