Quantenlogik
Quantum Logics
6 CPirregularlyDE
Prerequisites
Recommended, as written
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
Contents
• 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
Learning outcomes
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.
Assessment
• Klausur, 90 Minuten
Literature (2)
- Dalla Chiara, M., R. Giuntini and R. Greechie: Reasoning in Quantum Theory, Kluwer 2004
- Kalmbach, G.: Quantum measures and space, Kluwer 1998
Source: BTU's module description · retrieved 28 Sep 2026Original