SE Einführung in die Quantenlogik.

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.mit Maria Luisa Dalla Chiara (Prof. Em. Universität Florenz) als "special Guest"