|
Modulnummer:
| 11912
|
| Modultitel: | Quantenlogik |
| |
Quantum Logics
|
| Einrichtung: |
Fakultät 1 - MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik
|
| Verantwortlich: | -
Prof. Dr.-Ing. habil. Wolff, Matthias
|
| Lehr- und Prüfungssprache: | Deutsch |
| Dauer: | 1 Semester |
| Angebotsturnus: |
sporadisch nach Ankündigung
|
| Leistungspunkte: |
6
|
| 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.
|
| 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
|
| Empfohlene Voraussetzungen: | 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
|
| Zwingende Voraussetzungen: | keine |
| Lehrformen und Arbeitsumfang: | -
Vorlesung
/ 2 SWS
-
Übung
/ 1 SWS
-
Seminar
/ 1 SWS
-
Selbststudium
/ 120 Stunden
|
| Unterrichtsmaterialien und Literaturhinweise: | - Dalla Chiara, M., R. Giuntini and R. Greechie: Reasoning in Quantum Theory, Kluwer 2004
- Kalmbach, G.: Quantum measures and space, Kluwer 1998
|
| Modulprüfung: | Modulabschlussprüfung (MAP) |
| Prüfungsleistung/en für Modulprüfung: | |
| Bewertung der Modulprüfung: | Prüfungsleistung - benotet |
| Teilnehmerbeschränkung: | keine |
| Zuordnung zu Studiengängen: | -
Master (universitär) /
Angewandte Mathematik /
PO 2008
-
Master (universitär) /
Angewandte Mathematik /
PO 2019
-
Master (universitär) /
Elektrotechnik /
PO 2014
-
Master (universitär) /
Elektrotechnik /
PO 2019
-
Master (universitär) /
Elektrotechnik /
PO 2023
|
| Bemerkungen: | keine |
| Veranstaltungen zum Modul: | Vorlesung Quantenlogik
Seminar/Übung Quantenlogik |
| Veranstaltungen im aktuellen Semester: | - keine Zuordnung vorhanden
|
