Sind Sie sich sicher?
BA-KulT FW 4
MA-PHIL FW 25
MA-PHIL 3
MA-TGWT PHIL 1
Kernmodul Nebenfach Philosophie für Mathematiker/Innen
SE/HS Einführung in die Quantenlogik
Do. 14-16 Uhr
Online-Seminar
Beginn: 21.10.2021
Im Unterschied zu den Auslösern zur Entwicklung der klassischen Berechenbarkeitstheorie entsteht das Quantum Computing als Anwendung einer physikalischen Theorie (Quantenmechanik) auf die Berechenbarkeitstheorie. Das physische Mittel (die mikrophysischen Eigenschaften des Rechners) kommt nun in den Vordergrund. Das Quantum Computing fügt der klassischen Berechenbarkeitstheorie und Komplexitätstheorie nichts hinzu; sein Ziel ist nicht, den klassischen Berechenbarkeitsbegriff zu erweitern. Der Kurs beinhaltet: (a) Einführung und Motivation in die Quantenberechenbarkeit; (b) Klassische Gatter und Quantengatter; (c) Irreversible und Reversible Berechnungen; (d) Eine logische Sicht auf Quanteninformationen; (e) Qubits, Quregister, Qumixes Quantum Logical Gates; (f) Das Toffoli-Gatter; (g) das Nicht-Gatter; (h) Das Hadamard-Gatter; (i) Universelle Quantengatter und ihre algebraische Struktur.
Literaturverweis:
Matthias Homeister: Quantum Computing verstehen. Grundlagen – Anwendungen – Perspektiven. Springer 2015.