Quantencomputer. Tobias Wallner. seisfjvjd0. erfsfvr
|
|
- Heinz Giese
- vor 6 Jahren
- Abrufe
Transkript
1 Quantencomputer Tobias Wallner erfsfvr seisfjvjd0
2 Inhaltsverzeichnis: 1.Vergleich zwischen normalen Computer und Quantencomputer:.. 2 a)der normale Computer:... 2 b)der Quantencomputer: Historischer Hintergrund von Quantencomputern: Quantencomputer Physikalische Realisierung:... 5 a)bedingungen an einen Quantencomputer:... 5 b) NMR Quantencomputer:... 6 c) Festkörper Quantencomputer: D Wave Systems:... 7 Seite 1 von 8
3 Der Quantencomputer: 1.Vergleich zwischen normalen Computer und Quantencomputer: a)der normale Computer: Ein universeller klassischer Rechner besteht aus einem Register, in dem beliebig viele Bits gespeichert sind. Ein Bit an Information entspricht einer Entscheidung zwischen zwei Möglichkeiten wie ja oder nein, 1 oder 0, wahr oder falsch. In einem Digitalrechner ist ein Bit an Information beispielsweise die Ladung eines Kondensators: Ein geladener Kondensator bezeichnet eine 1, ein entladener Kondensator eine 0. Ein weiteres Merkmal des klassischen Computers ist das Programm, das aus einer frei wählbaren und teilweise auch wiederholten Abfolge logischer Verknüpfungen besteht, die auf die Bits des Registers wirken. Üblicherweise wählt man als elementare Operationen die aus der mathematischen Logik bekannten Verknüpfungen AND, OR und NOT. Die NOT Verknüpfung ist eine einwertige Abbildung 1: Normaler Computer Grundfunktion, das heißt dass sie auf ein Eingangsbit wirkt. Das Eingangsbit wird invertiert: ist es 1, dann wird das Ausgangsbit 0 und umgekehrt. Das AND und das OR sind zweiwertige Grundfunktionen, also Verknüpfungen, die auf zwei Eingangsbits wirken. Das AND bewirkt, dass das Ausgangsbit nur dann 1 wird, wenn beide Eingangsbits 1 sind und in den sonstigen Fällen zu 0 wird. Bei der OR Verknüpfung ist das Ausgangsbit 1, wenn mindestens ein Eingangsbit 1 ist. Aus diesen drei elementaren Operationen können alle logischen Verknüpfungen erzeugt werden. Ein klassischer Rechner kann jede arithmetische Aufgabe bewältigen, wenn er über eine geeignete Auswahl von Gattern verfügt. b)der Quantencomputer: Auch in einem Quantencomputer wird Information in der Regel binär dargestellt. Dazu bedient man sich eines physikalischen Systems mit zwei Basiszuständen eines zweidimensionalen komplexen Raums, wie er in der Quantenmechanik auftritt. Ein Basiszustand repräsentiert den quantenmechanischen Zustandsvektor, der andere den Zustandsvektor. Dabei benutzt man die in der Quantenphysik gebräuchliche Dirac Notation. Bei diesen Zwei Niveau Systemen der Quantenmechanik kann es sich z. B. um den Spin eines Elektrons handeln, der entweder nach oben oder nach unten zeigt. Andere Implementierungen nutzen das Energieniveau in Atomen oder Molekülen oder die Flussrichtung eines Stroms in einem ringförmigen Supraleiter. Die Bezeichnung Qubit soll den quantenmechanischen Charakter der auf diese Weise dargestellten Bits betonen und leitet sich aus Quanten Bit ab. Eine wichtige Eigenschaft quantenmechanischer Zustandsvektoren ist in diesem Zusammenhang, dass diese eine Überlagerung anderer Zustände sein können. Dies wird auch Superposition genannt. Im konkreten Fall bedeutet dies, dass ein Qubit nicht entweder oder sein muss, wie dies für die Bits des klassischen Computers der Fall ist. Vielmehr ergibt sich der Zustand eines Qubits in dem oben erwähnten zweidimensionalen komplexen Raum allgemein zu, Seite 2 von 8
4 wobei wie in der kohärenten Optik beliebige Überlagerungszustände zugelassen sind. Der Unterschied zwischen klassischem und quantenmechanischem Computing ist also analog dem zwischen inkohärenter bzw. kohärenter Optik (im ersten Fall werden Intensitäten addiert, im zweiten direkt die Feldamplituden, wie etwa in der Holographie). Hierbei sind und beliebige komplexe Zahlen. Zur Normierung fordert man aber ohne Beschränkung der Allgemeinheit noch. Die Betragsquadrate der komplexen Zahlen und geben die Wahrscheinlichkeit dafür an, als Resultat einer Messung am Zustand den Wert 0 bzw. 1 zu erhalten. Beispielsweise ist also die Wahrscheinlichkeit, eine 0 zu messen. Man darf dieses probabilistische Verhalten allerdings nicht so interpretieren, dass sich das Qubit mit einer bestimmten Wahrscheinlichkeit im Zustand und mit einer anderen Wahrscheinlichkeit im Zustand Abbildung 2: D Wave 2x befindet, während andere Zustände nicht zugelassen sind. Ein solches ausschließendes Verhalten könnte man auch mit einem klassischen Computer erzielen, der einen Zufallsgenerator verwendet, um beim Auftreten von überlagerten Zuständen zu entscheiden, ob er mit 0 oder 1 weiterrechnet. In der theoretischen Physik kommt ein entsprechendes ausschließendes Verhalten in der sog. Statistischen Physik vor, die also im Gegensatz zur Quantenmechanik inkohärent ist. Bei Berücksichtigung der kohärenten Überlagerung erhält man dagegen allgemein wobei den Realteil der komplexen Zahl bedeutet, die konjugiert komplexe Zahl zu ist und das quantenmechanische Skalarprodukt der betreffenden Zustände ist. 2. Historischer Hintergrund von Quantencomputern: Mit dem Begriff Quantencomputer sind heute viele atemberaubende Vorstellungen verbunden, wie: 1. Exponentieller Zuwachs der Rechengeschwindigkeit gegenüber klassischen Computern 2. Erzeugung von echten Zufallszahlen 3. Effizientes Kryptoanalyse Abbildung 3: Moore's law Und viele mehr Seite 3 von 8
5 Doch neben all diesen vielversprechenden Eigenschaften, die einen Quantencomputer auszeichnen werden, muss v. a. auch auf die dringende Notwendigkeit von Quantencomputern in nicht allzu ferner Zukunft hingewiesen werden. Die historischen Ursprünge der Informatik im Allgemeinen, und des Quantum Computing im Speziellen, sollen nun im folgenden Abschnitt näher erläutert werden. In den letzten 50 Jahren fand eine dramatische Miniaturisierung in der Computertechnologie statt. In den 70 er Jahren des letzten Jahrhunderts entdeckte Gordon Moore, einer der Gründer von Intel, dass sich die Speicherkapazität eines Chips bei gleichbleibender Größe ungefähr alle anderhalb Jahre verdoppelt. Dies ist gleichbedeutend damit, dass ca. alle 18 Monate nur noch halb so viele Atome benötigt werden um ein Bit an Information zu speichern. Und wenn dieser seit 1950 bestehende exponentielle Trend anhält, wurden die Speichereinheiten eines Computers spätestens im Jahre 2020 die Größe von einzelnen Atomen besitzen. Im Bereich dieser Größenordnung spielen Quanteneffekte eine entscheidende Rolle und müssen dementsprechend bei der Konstruktion von Hardware als auch beim Design von Algorithmen berucksichtigt werden. Aus dieser, zukünftig unumgänglichen Symbiose von Computerwissenschaft und Quantenphysik tat sich ein völlig neues Gebiet der Informationstheorie auf, das heute als Quanteninformatik oder Quantum Computing bezeichnet wird. Während sich die Ursprunge der Computerwissenschaft im allgemeinem nicht genau zurück verfolgen lassen, ist die Geburt der Theoretischen Informatik hingegen eng mit den Namen Alan Turing, Alonso Church und Kurt Gödel verbunden. Sie waren die ersten, die unabhängig voneinander mathematische Modelle zur Beschreibung von Rechenprozessen entwickelten, ohne diese an eine direkte Implentierung von Computern zu knüpfen. Unter ihnen war es Alan Turing, der das bis heute wohl einflussreichste Modell entwarf. Der Hintergrund für Abbildung 4: Turingmaschine dieses Modell liegt im sogenannten Entscheidungsproblem begründet, das von dem deutschen Mathematiker David Hilbert im Jahre 1928 formulierte wurde. Hilbert fragte, ob es möglich sei einen Algorithmus zu konstruieren, der entscheiden könnte, ob eine mathematische Vermutung wahr oder falsch ist. Es stellte sich heraus, dass die Antwort auf die Frage nein lautete. Um dies zu beweisen konstruierte Turing jenes Modell, das ihm zu Ehren heute als Turing Maschine bezeichnet wird. Unter einer Turing Maschine versteht man ein idealisiertes mathematische Modell eines Computers, das von Turing eingeführt wurde, um das Konzept des Algorithmus auf eine formal strenge Basis zu stellen. Sie besteht aus einem unendlich langen Band mit unendlich vielen Feldern, in die jeweils genau ein Zeichen gespeichert werden kann, entweder 0 oder 1. Ein endliche Tabelle von Instruktionen steuert einen Lese /Schreib Kopf mit dem die Eingabe modifiziert wird. Abhängig von seinem Zustand, dem Befehl aus der Instruktionstabelle und dem Inhalt des Feldes schreibt er entweder 0 oder 1. Turing gelang es zu zeigen, dass die Turingmaschine alle Operationen durchführen kann, die innerhalb eines Axiomensystems existieren. Church kam unabhängig davon zum gleichen Ergebnis und gelangte Seite 4 von 8
6 sogar zu einer noch stärkeren Aussage. Diese ist heute als Church Turing These (1936) bekannt und besagt: Jede Funktion, die intuitive berechenbar ist, kann auch mit einer Turing Maschine berechnet werden. Eine Turingmaschine kann damit ganz allgemein dafür eingesetzt werden, um Entscheidungsprobleme zu lösen, d. h. Fragen, die mit ja oder nein zu beantworten sind. Dabei wird das Anhalten der Turing Maschine als ja und das Nicht Anhalten als nein interpretiert. Unentscheidbare (also nicht beweis oder widerlegbare) Aussagen sind damit äquivalent, dass eine Turingmaschine unendlich lange braucht, um sie zu bearbeiten. Darüber hinaus lässt sich zeigen, dass jedes mathematische Problem als Entscheidungsproblem formulierbar ist, indem man fragt, ob ein bestimmter Wert eine Lösung für ein konkretes Problem ist. Somit ist jede mögliche Funktion durch eine Turing Maschine simulierbar. Doch mit einer Turingmaschine kann man weit mehr, als nur eine Vielzahl an Funktionen berechnen. Überaschenderweise lässt sich zeigen, dass man mit einer Turing Maschine, trotz ihrer Einfachheit, alle Operationen simulieren kann, die auf einem hochmodernen Rechner laufen. Eine weniger abstrakte Formulierung der Church Turing These lautet daher: Jedes algorithmische Problem, das in irgendeiner Programmiersprache programmiert und auf irgendeinem dafür geeigneten Computer ausgeführt werden kann (sogar auf Computern, die noch nicht gebaut sind, aber prinzipiell gebaut werden könnten), und selbst wenn es unbeschränkt viel Zeit und Speicherplatz für immer größere Eingaben benötigt jedes solche Programm ist auch durch eine TuringMaschine lösbar. Die Church Turing These gilt als die vielleicht wichtigste These in der Theoretischen Informatik ist bis zum heutigen Tag gültig. Mit dem Bau eines Quantencomputers könnte diese These jedoch erstmals widerlegt werden. 3. Quantencomputer Physikalische Realisierung: a)bedingungen an einen Quantencomputer: Zur Realisierung eines Quantencomputers müssen eine Reihe von Bedingungen erfüllt sein: 1. Identifikation einzelner Qubits 2. Adressierbarkeit und Auslesen der Bits 3. Implementierung von Quanten Gates 4. Schwache Dekohärenz 5. Effiziente Implementierung von Fehlerkorrektur 6. Skalierbarkeit von wenigen auf viele Qubits Ein entscheidender Punkt bei der Realisierung eines Quantencomputers ist, dass der Satz der möglichen Zustände endlich sein muss. Darüber hinaus ist es wünschenswert ein symmetrisches System zu haben, um die Auswirkungen der Dekohärenz auf ein Minimum zu reduzieren. Betrachten wir beispielsweise ein Spin 1/2 Teilchen. Es lebt in einem zweidimensionalen Hilbert Raum, der von den Zuständen +i und i aufgespannt ist und kann keine Zustände außerhalb dieses Vektorraums annehmen. Ausreichend isoliert wäre es daher ein nahezu perfektes Qubit. Es kann jede unitäre Transformation durch einen Satz von One Qubit Gates kombiniert mit CNOT Gates erzeugt. Seite 5 von 8
7 Das oberste Ziel für angewandte Quantenrechnungen ist daher diese beiden Formen von logischen Gates zu realisieren. Eine der größten Herausforderungen, um vernünftige Rechnungen durchzufuhren, ist die möglichst exakte Preparation des Anfangszustands. Dies kann im Fall von Qubits äußerst aufwendig sein, abhängig vom gewählten System. Obwohl Qubits, die sich in zufälligen Superpositionen befinden, für relativ lange Zeit stabil bleiben, ist es aufgrund von thermischer Erwärmung äußerst schwierig alle Qubits eines Systems in dem selben Zustand zu halten. Des weiteren gibt es jedoch auch Probleme, die mit dem Meßprozeß des Outputs einer Quantenrechnung verbunden sind. Beispielsweise können ineffiziente Photonenzähler und thermisches Rauschen aufgrund des Verstärkers zu einem erheblichen Verlust der gemessenen Information führen. Selbst wenn die Theorie schon einigermaßen fortgeschritten ist, so steckt die Realisierung von Quantencomputern doch noch in den Kinderschuhen und stellt Techniker vor ungeahnte Herausforderungen. So liefert die Theorie des fehlerhaften Quantenrechnens einen Wert in der Größenordnung von 10 5 als relative Ungenauigkeit pro Rechenschritt bzw. Gate Operation. Mit anderen Worten, von Operationen darf höchstens eine Operation fehlerhaft sein, damit der Quantencomputer noch funktioniert. Andererseits sollte auch nicht vergessen werden, welch enorme Fortschritte in der klassischen Informationsverarbeitung innerhalb eines halben Jahrhunderts erzielt worden sind. b) NMR Quantencomputer: Ein vollkommen anderes Konzept wird mit Quantencomputern verfolgt, die auf NMR Effekten basieren. Hier besteht der Computer aus einer Flüssigkeit, wobei jedes Molekül der Flüssigkeit als individuelles Quantum Memory Register fungiert. Jedes Qubit wird durch den Kernspin eines Atoms innerhalb eines jeden Moleküls realisiert. Somit ist die Anzahl der Qubits pro Quantum Memory Register gleich der Anzahl der Atome pro Molekül. Da aber jedes einzelne Molekül der Flüssigkeit einen Quantencomputer für sich darstellt, wäre die Gesamtzahl der, bei einem Rechenprozess involvierten, Qubits bedeutend höher. Bei einer Anzahl von ²³ Molelülen pro mol besäße ein auf NMR basierender Quantencomputer somit enorme Redundanz. Diese große Anzahl von einzelnen Quantencomputern erfordert wiederum eine völlig andere Herangehensweise beim Extrahieren des Outputs. Während das Ergebnis bei vorher genannten Modellen dadurch ausgelesen wurde, dass man durch einen Meßprozess den Wert einer Observablen bestimmte, ist dies bei einem NMR Quantencomputer nicht möglich. Um dessen Zustand zu messen, musste man den Mittelwert einer bestimmten Observablen über das ganze Ensemble bilden. Ein erhebliches Problem bei der Realisierung eines derartigen NMR Quantencomputers liegt jedoch in den hohen veranschlagten Kosten, sowie in der immensen Größe dafür benötigter Apparaturen. c) Festkörper Quantencomputer: Für künftige praktische Anwendungen mit technologischem Potential kommt der Festkörperphysik eine besondere Bedeutung zu. Denn hier gibt es ein wissenschaftliches Umfeld mit Erfahrung in der Erzeugung von immer kleineren geordneten Strukturen (Mikrochips, Nanotechnologie), auf die man aufbauen kann. Für Quantenspeicher und operationen in Festkörpern ist allerdings die Dekohärenz in vielen Fällen ein vorrangiges Problem. Als Beispiel zur Realisierung eines Quanten Gates ist auf Experimente von Yasunobu Nakamura und Irinel Chiorescu mit Cooper Paaren in Josephson Kontakten hinzuweisen. Nakamura verwendeten kleine Kästchen eines supraleitenden Materials, die über einen Kondensator mit einem Josephson Kontakt verbunden wurden. Unter einem Cooper Paar von Elektronen versteht man zwei über Gitterschwingungen gekoppelte Elektronen mit gemeinsamer Wellenfunktion. Diese können durch den Isolator in das Kästchen tunneln. Das Seite 6 von 8
8 Kästchen selbst repräsentiert hier das Qubit, da es in zwei Zuständen existieren kann: In einem gibt es einen Überschuss an Cooper Paaren, im anderen nicht. Die Qubits werden nun über den Kondensator zur Wechselwirkung gebracht. Damit wird ein verschränktes Qubit Paar erzeugt. Das Team um Nakamura konnte nun nachweisen, dass das Qubit Paar verschränkt ist. Damit scheint es also tatsächlich möglich zu sein, ein logisches Quanten Gate aus Festkörper Einheiten aufzubauen. Viele solcher gekoppelter Einheiten wurden dann die Bausteine eines Quantencomputers bilden. Einen anderen experimentellen Weg ging das Team um Chiorescu: Hier wurden drei Josephson Kontakten zu einem Ring vereinigt. In diesem System bilden makroskopische Ströme aus Milliarden von Cooper Paaren, die den Ring in entgegengesetzten Richtungen durchlaufen, die Quantenzustände. Das Qubit wird hier durch einen supraleitender Aluminiumring mit einem Durchmesser von 2 Tausendstel Millimeter repräsentiert. Der Vorteil dieses Ansatzes ist die relativ günstige Produktionstechnik, so dass die Autoren glauben, hier den ersten überzeugenden Kandidaten für den Bau eines Quantencomputers gefunden zu haben. Bisher bereitet es aber noch experimentelle Probleme, zwei mit dieser Technik erzeugte Qubits zu verschränken. Für einen funktionierenden Quantencomputer mussten hunderte bis tausende solcher Qubits verschränkt werden. Zumindest die Größe der Schaltkreise macht aber keine Probleme: Ein 1000 Qubit Quantencomputer wäre nicht größer als ein Daumennagel. 4. D Wave Systems: D Wave Systems Inc. ist ein Hardwarehersteller mit Hauptsitz in Burnaby, British Columbia, Kanada. Das Unternehmen wurde 1999 gegründet und am 11. Mai 2011 durch die Entwicklung des nach ihren Angaben ersten kommerziellen Quantencomputers bekannt. D Wave wurde von Haig Farris, Geordie Rose, Bob Wiens und Alexandre Zagoskin 1999 gegründet. Sie verkauften 2011 einen Computer mit nach eigenen Angaben 128 Qubits an Lockheed Martin und erhielten daraufhin eine Finanzierung von 30 Millionen Dollar von Jeff Bezos, dem Gründer von Amazon, und dem Unternehmen In Q Tel, das dem amerikanischen Geheimdienst CIA zugeordnet wird. Im Mai 2013 wurde der Kauf eines Quantencomputers von der NASA und Google bekanntgegeben. Dieser Computer soll auf 512 Qbits rechnen können, wobei jedes Qbit durch die Flussrichtung von Strom durch supraleitende Schleifen auf einem Chip dargestellt wird. Abbildung 5: D Wave Systems Inc. Seite 7 von 8
9 Abbildungsverzeichnis: Abbildung 1: Normaler Computer... 2 Abbildung 2: D Wave 2x... 3 Abbildung 3: Moore's law... 3 Abbildung 4: Turingmaschine... 4 Abbildung 5: D Wave Systems Inc Quellenverweis: Seite 2 bis 3: muenchen.de/~milq/quantencomp/quantencomputer.pdf Seite 3 bis 7: regensburg.de/forschung/schwarz/qoptik/bauernfeind.pdf Seite 7: Wave_Systems Seite 8 von 8
Quantencomputer: Einführung
Quantencomputer: Einführung Martin Lange Institut für Informatik Ludwig-Maximilians-Universität München Quantencomputer: Einführung p.1/29 Einleitung Quantencomputer: Einführung p.2/29 Geschichte Computer
MehrProseminar CiS November Quantencomputer. Tom Petersen
Proseminar CiS November 2011 Quantencomputer Tom Petersen Die Idee des Quantencomputers - Fortschreitende Miniaturisierung - Es existieren technische Grenzen, auch wenn sie durch neue Verfahren immer weiter
MehrMit Quanten kann gerechnet werden
Christina KRAUS Max-Planck-Institut für Quantentechnik 1 Einleitung Quantenmechanik ist ein Meilenstein der modernen Physik. Die Theorie, die in den letzten hundert Jahren unter anderem von Dirac und Heisenberg
MehrQuanteninformation/ Quantencomputer
Quanteninformation/ Quantencomputer Jonas Heinze Proseminar SS 2013 Jonas Heinze (University of Bielefeld) Quanteninformation/ Quantencomputer 2013 1 / 20 Übersicht 1 Kurzer Einstieg in die Informatik
Mehr1936 von Alan Turing zum theoretischen Studium der Berechenbarkeit eingeführt Besteht aus
//5 Abstrakte Maschinenmodelle: Turingmaschine (TM) 96 von Alan Turing zum theoretischen Studium der Berechenbarkeit eingeführt Besteht aus einem festen Teil ( "Hardware ) einem variablen Teil ( "Software
MehrEinführung in Quantencomputer
Einführung in Quantencomputer Literatur M. Homeister, (jetzt FB Informatik und Medien an der Fachhochschule Brandenburg) Quantum Computing verstehen, Springer Vieweg Verlag (25) E. Rieffel und W. Polak,
MehrSeminar zur Nanoelektronik 2008: Quantencomputer. Jan-Philip Gehrcke. Julius-Maximilians-Universität Würzburg. 17. Juli 2008
Seminar zur Nanoelektronik 2008: Quantencomputer Jan-Philip Gehrcke Julius-Maximilians-Universität Würzburg 17. Juli 2008 Übersicht 1 Motivation Quantencomputer 2 Logische Operationen 3 Anforderungen bei
MehrSimulating Physics with Computers
Simulating Physics with Computers Richard P. Feynman Streckenzugverfahren nach Euler Feynman will über Computer nachdenken, die die Natur nicht nur imitieren sondern sie exakt nachahmen/emulieren. Da die
MehrQuanteninformation und mögliche Anwendungen in der Kommunikationstechnik
Quanteninformation und mögliche Anwendungen in der Kommunikationstechnik David Hellmers, 14. Juni 2016 Übersicht Motivation Quanteninformatik Qubits Quanten-Gates Quantenkommunikation Quantenkanal Quantenkryptographie
MehrQuantum Computing. Seminar: Informatikanwendungen in Nanotechnologien. Wladislaw Debus
Seminar: Informatikanwendungen in Nanotechnologien 20.06.2006 Inhalt 1 Einführung 2 Aufbau eines Quantencomputers Qubits Quantenregister Schaltkreise 3 Komplexitätsklassen 4 Quantenalgorithmen Faktorisierung
MehrDer Quantencomputer. Unterschiede zum Digitalrechner und Nutzungsmöglichkeiten. Dresden, Simon Willeke
Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architketur Der Quantencomputer Unterschiede zum Digitalrechner und Nutzungsmöglichkeiten Simon
MehrInhalt. Quantenbits, -gatter, -register. Einleitung. Seminar über Quantencomputer. Klassische Betrachtungsweise. Klassisches Modell
Quantenbits -gatter -register Seminar über Quantencomputer Jörg Meltzer & Axel Steinacker Inhalt Klassisches Modell Vektorielle Zustandsbeschreibung klassischer Register Einfache Gatter Was sind Qubits
MehrÜbungsaufgaben Quantum-Computing
Departement Informatik Open Class Sieben Wunder der Informatik Prof. Dr. Juraj Hromkovič Übungsaufgaben Quantum-Computing Zürich, 30. Oktober 007 Zusammenfassung Die erste und sehr gut geschriebene deutschsprachige
MehrQuantencomputer. Tobias Tyborski HU Berlin
Quantencomputer Tobias Tyborski HU Berlin Quantencomputer Vortragsübersicht 1. allgemeine Informationen - Stand der Technik, Definitionen 2. Wie rechnet der QC? - single-qubit-gate, two-qubit-gate 3. physikalische
MehrQuantencomputer mit supraleitenden Systemen
Quantencomputer mit supraleitenden Systemen von Steven Weitemeyer E KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz Gemeinschaft www.kit.edu Gliederung Supraleitung
MehrClevere Algorithmen programmieren
ClevAlg 2017 Theoretische Informatik Clevere Algorithmen programmieren Dennis Komm, Jakub Závodný, Tobias Kohn 06. Dezember 2017 Die zentralen Fragen sind... Was kann man mit einem Computer nicht machen?
MehrEinführung in die Informatik Turing Machines
Einführung in die Informatik Turing Machines Eine abstrakte Maschine zur Präzisierung des Algorithmenbegriffs Wolfram Burgard 1 Motivation und Einleitung Bisher haben wir verschiedene Programmiersprachen
MehrVortrag über QUANTENCOMPUTER. gehalten von Marcus HARRINGER, Gregor KÖNIG, Michael POBER, Klaus WERDENICH
Vortrag über QUANTENCOMPUTER gehalten von Marcus HARRINGER, Gregor KÖNIG, Michael POBER, Klaus WERDENICH 24.01.2002 Einleitung massive Parallelrechner und absolut sichere Kodierungssyteme Erweiterung der
MehrUniverselle Quantengatter
Universelle Quantengatter Physik des Quantencomputers Alexander Jakub Kwiatkowski Fakultät für Physik, KIT 24. April 2012 A.J.Kwiatkowski (Fakultät für Physik, KIT) Universelle Quantengatter 24.04.12 1
MehrSimulation eines Quantencomputers
Simulation eines Quantencomputers J. Metzner, M. Schmittfull Simulation eines Quantencomputers p.1/34 Ziele des Projekts Entwicklung einer leistungsfähigen und effizienten Simulation eines Quantencomputers
MehrDrei mal fünf ist fünfzehn Neue Bestleistung bei Quantencomputern
Quanten.de Newsletter März/April 2002, ISSN 1618-3770 Drei mal fünf ist fünfzehn Neue Bestleistung bei Quantencomputern Günter Sturm, ScienceUp Sturm und Bomfleur GbR, Camerloherstr. 19, D-85737 Ismaning
MehrEinführung in die Informatik Turing Machines
Einführung in die Informatik Turing Machines Eine abstrakte Maschine zur Präzisierung des Algorithmenbegriffs Wolfram Burgard Cyrill Stachniss 1/14 Motivation und Einleitung Bisher haben wir verschiedene
MehrGrundlagen des Quantencomputers
Grundlagen des Quantencomputers KIT Karlsruher Institut für Technologie Christian Tesch Gliederung 1. Qubit und Quantenregister 2. Quantengatter 3. Mögliche Anwendungen für Quantencomputer 4. Praktische
MehrQuantenrechner. Ideen der Informatik Kurt Mehlhorn
Quantenrechner Ideen der Informatik Kurt Mehlhorn Übersicht Vorteile von Quantenrechnern Qbits und Überlagerungen Quantenrechner Grovers Algorithmus Technische Realisierung Zusammenfassung Quantenrechner
Mehr20 2 Vom Bit zum Quantenregister
0 Vom Bit zum Quantenregister zweier Zustände. Wir können aber niemals erkennen, welchen Wert diese Anteile α und β genau haben. Wollen wir die Drehrichtung bestimmen, müssen wir sie messen. Dabei wird
MehrSeminar: Quantenmechanik und Quantencomputer Vortrag 9: Optische Photonen Inhaltsverzeichnis
Seminar: Quantenmechanik und Quantencomputer Vortrag 9: Optische Photonen Inhaltsverzeichnis 1 Einführung 1.1 Vorteile der Photonen als Träger des Qubits: 1. Qubit Repräsentation 1. Erzeugung und Messung
MehrTheoretische Informatik für Wirtschaftsinformatik und Lehramt
Theoretische Informatik für Wirtschaftsinformatik und Lehramt Universelle Turingmaschinen und Church sche These Priv.-Doz. Dr. Stefan Milius stefan.milius@fau.de Theoretische Informatik Friedrich-Alexander
MehrQuantenrechner. Ideen der Informatik
Quantenrechner Ideen der Informatik Kurt Mehlhorn Adrian Neumann 16. Januar 2014 Übersicht Vorteile von Quantenrechnern Qbits und Überlagerungen Quantenrechner Grovers Algorithmus Technische Realisierung
MehrDie Unentscheidbarkeit extensionaler Eigenschaften von Turingmaschinen: der Satz von Rice
Die Unentscheidbarkeit extensionaler Eigenschaften von Turingmaschinen: der Satz von Rice Holger Arnold Dieser Text befasst sich mit der Frage, unter welchen Bedingungen das Problem, zu bestimmen, ob die
MehrDekohärenz und Grundprinzip der Quantenfehlerkorrektur
Dekohärenz und Grundprinzip der Quantenfehlerkorrektur Bachelorarbeit Gregor Wurm, Betreuer: Prof. E. Arrigoni Institut für Theoretische Physik der Technischen Universiät Graz 24. Sept. 2010 Übersicht
MehrP, NP und NP -Vollständigkeit
P, NP und NP -Vollständigkeit Mit der Turing-Maschine haben wir einen Formalismus kennengelernt, um über das Berechenbare nachdenken und argumentieren zu können. Wie unsere bisherigen Automatenmodelle
MehrBellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich?
Kapitel 1 Bellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich? Hier betrachten wir ein Gedankenexperiment, das bereits in unterschiedlichster Weise realisiert wurde, und uns
MehrWir suchen Antworten auf die folgenden Fragen: Was ist Berechenbarkeit? Wie kann man das intuitiv Berechenbare formal fassen?
Einige Fragen Ziel: Wir suchen Antworten auf die folgenden Fragen: Wie kann man das intuitiv Berechenbare formal fassen? Was ist ein Algorithmus? Welche Indizien hat man dafür, dass ein formaler Algorithmenbegriff
MehrVorlesungsmitschrift. Quantencomputer. 2002/2003 Prof. Dr. Grädel. Jan Möbius,David Bommes. 9. Dezember 2002
Vorlesungsmitschrift Quantencomputer WS /3 Prof. Dr. Grädel Jan Möbius,David Bommes 9. Dezember Inhaltsverzeichnis Einleitung. Historischer Überblick......................................... Experiment................................................
MehrAngewandte Mathematik am Rechner 1
Angewandte Mathematik am Rechner 1 SOMMERSEMESTER 2017 Kapitel 3 [Bildquellen: Wikipedia User David Madore, Inductiveload ] Grundlagen 2: Funktionen, Berechenbarkeit und emergente Komplexität Michael Wand
MehrBellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich?
Kapitel 1 Bellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich? 1.1 Worum gehts? In vielen Experimenten mit verschiedensten Teilchen ist nun gezeigt worden, dass Verschränkung
MehrStichworte zur Quantentheorie
Stichworte zur Quantentheorie Franz Embacher 1 und Beatrix Hiesmayr Unterlagen zum Workshop Quantenkryptographie und Quantencomputer im Rahmen der 58. Fortbildungswoche Physik/Chemie Institut für Theoretische
Mehr1 Algorithmische Grundlagen
1 Algorithmische Grundlagen Klocke/17.03.2003 1.1 1.1 Begriffsklärung Fragen Begriffsklärungen Abstraktionsebenen für Algorithmen und Datenstrukturen Algorithmus Qualität von Algorithmen Klocke/17.03.2003
MehrGierhardt. Einführung:
Informatik 13: Gierhardt Theoretische Informatik I Einführung: Neben den Problemen und Fragen der praktischen Informatik, wo es in erster Linie um die Wahl der geeigneten Algorithmen und Datenstrukturen
MehrCryptanalytic Attacks on RSA
Seminararbeit Cryptanalytic Attacks on RSA Quantum Computing Attack Eingereicht am: 5. Juni 2016 Eingereicht von: Rimbert Fischer Matrikelnummer: inf100606 E-Mail: inf100606 (at) fh-wedel.de Referent:
MehrTheoretische Physik fürs Lehramt: L2
Theoretische Physik fürs Lehramt: L2 Beatrix C. Hiesmayr Faculty of Physics, University Vienna Beatrix.Hiesmayr@univie.ac.at WS 2015 Kapitel 1 Bellsche Ungleichungen oder existiert Einstein s spukhafte
MehrPhysikalische Realisierung von Quantencomputern
Physikalische Realisierung von Quantencomputern 1. Institut für Theoretische Physik 26. 07. 2011 Übersicht Motivation Voraussetzungen Herausforderungen/Fehler/Dekohärenz Realisierungsmöglichkeiten Beispiel
MehrBerechenbarkeit. Script, Kapitel 2
Berechenbarkeit Script, Kapitel 2 Intuitiver Berechenbarkeitsbegriff Turing-Berechenbarkeit WHILE-Berechenbarkeit Church sche These Entscheidungsprobleme Unentscheidbarkeit des Halteproblems für Turingmaschinen
MehrQuantenfehlerkorrektur
korrektur korrektur 14. Juli 2005 Seminar: Quantencomputing korrektur Einleitung Ideales (fehlerfreies) Quantencomputing liefert schnelle Algorithmen Ideales Quantencomputing ohne Bedeutung für die Praxis
MehrQuantenkryptographie
Quantenkryptographie Tobias Mühlbauer Technische Universität München Hauptseminar Kryptographische Protokolle 2009 Outline 1 Motivation Klassische Kryptographie Alternativen zur klassischen Kryptographie
MehrVerschränkung. Kay-Sebastian Nikolaus
Verschränkung Kay-Sebastian Nikolaus 24.10.2014 Überblick 1. Definition und Allgemeines 2. Historische Hintergründe, Probleme 2.1 Einstein-Podolsky-Rosen-Paradoxon 2.2 Erklärung, Bell sche Ungleichungen
MehrGrundlagen der Theoretischen Informatik: Übung 10
Grundlagen der Theoretischen Informatik: Übung 10 Joachim Selke Fachgebiet Theoretische Informatik Universität Hannover 20. Januar 2005 Turing-Maschinen als Rechenmaschinen gegeben sei eine Funktion f
MehrDekohärenz und die Entstehung klassischer Eigenschaften aus der Quantenmechanik
Dekohärenz und die Entstehung klassischer Eigenschaften aus der Quantenmechanik G. Mahler Spezialvorlesung SS 006 7. 4. 006 Einführung und Übersicht Warum und in welchem Sinn ist Kohärenz»untypisch«? 04.
MehrWas sind Quantenobjekte?
Quantenobjekte Was sind Quantenobjekte? Die Quantentheorie beschreibt das Verhalten von Quantenobjekten in Raum und Zeit. Als Quantenobjekte oder Mikroteilchen werden in der Physik Objekte bezeichnet,
MehrAlgorithmen für Quantencomputer II Der Shor Algorithmus
Der Shor Algorithmus Hauptseminar Theoretische Physik Universität Stuttgart, SS 2011 Inhalte des Vortrags Motivation: wie findet man Primfaktoren auf klassischem Wege? Zwei Sätze der Zahlentheorie und
MehrSchatten des Geistes
Roger Penrose Schatten des Geistes Wege zu einer neuen Physik des Bewußtseins Aus dem Englischen übersetzt von Anita Ehlers Spektrum Akademischer Verlag Heidelberg Berlin Oxford Inhalt Vorwort Danksagungen
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 15.07.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
MehrKomplexitätstheorie bei klassischen und bei Quantencomputern
Komplexitätstheorie bei klassischen und bei Quantencomputern Andreas Haas 0421949 11.07.2007 Bakkalaureatsarbeit Erstellt im Rahmen der LV Bakkalaureatsseminar, SS 2007 LV-Leiter: Univ.-Prof. Dr. Wolfgang
MehrKryptografie und Quantenphysik. Messungen können Quantenzustände beeinflussen!
Kryptografie und Quantenphysik Messungen können Quantenzustände beeinflussen! Kryptografie und Quantenphysik Quantenkryptografie löst das Schlüsselverteilungsproblem Ch. Bennett 1984 G. Brassard Klassische
Mehr7. Übung TGI. Lorenz Hübschle-Schneider, Tobias Maier INSTITUT FÜR THEORETISCHE INFORMATIK, PROF. SANDERS. 1 Lorenz Hübschle-Schneider, Tobias Maier
7. Übung TGI Lorenz Hübschle-Schneider, Tobias Maier INSTITUT FÜR THEORETISCHE INFORMATIK, PROF. SANDERS 1 Lorenz Hübschle-Schneider, Tobias Maier KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft
MehrJürgen Audretsch (Hrsg.) Verschränkte Welt. Faszination der Quanten WILEY-VCH
Jürgen Audretsch (Hrsg.) Verschränkte Welt Faszination der Quanten WILEY-VCH Die Autoren Vorwort XI XIII 1 Blick in die Quantenwelt I: Grundlegende Phänomene und Konzepte 1 Jürgen Audretsch 1-1 Einleitung
MehrTuringmaschinen. und eine kleine Einführung in Bereiche der theoretischen Informatik
Turingmaschinen und eine kleine Einführung in Bereiche der theoretischen Informatik Gliederung Einführung Leben Alan Turing Theoretische Informatik Turingmaschine Aufbau, Definition Beispiele Game of Life
MehrAlgorithmen und Komplexität, Teil II: Berechenbarkeit und Komplexität
Algorithmen und Komplexität, Teil II: Berechenbarkeit und Komplexität Ralph Keusch 21. November 2017 Berechenbarkeitstheorie RAM-Maschine 1: M 1 1 2: M 0 1 3: M 0 M 0 M 1 4: M 2 M 2 M 1 5: GOTO 3 IF M
MehrQubits Interferenz Verschränkung Messung
Vortrag Nr. Qubits Interferenz Verschränkung Messung 4. November 00 Referent: Christoph Mühlich (muehlich@in.tum.de) Betreuer: Hanjo Täubig (taeubig@in.tum.de) Christoph Mühlich 4. November 00 Folie Einführung
MehrQuantum Computing verstehen
Computational Intelligence Quantum Computing verstehen Grundlagen - Anwendungen - Perspektiven Bearbeitet von Matthias Homeister 4. Auflage 2015. Buch. XI, 311 S. Kartoniert ISBN 978 3 658 10454 2 Format
MehrHerausforderung an die Zukun0. der Quantencomputer. Renato Renner Ins9tut für Theore9sche Physik ETH Zürich
Herausforderung an die Zukun0 der Quantencomputer Renato Renner Ins9tut für Theore9sche Physik ETH Zürich Was ist ein Quantencomputer? Was können wir damit tun? Können wir ihn bauen? Was ist ein Quantencomputer?
MehrKapitel 3: Berechnungstheorie Gliederung
Gliederung 0. Einführung und Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie 3.1. Algorithmische Probleme und Berechnungsmodelle 3.2. Das Berechnungsmodell
MehrAdiabatisches Quantencomputing
DLR.de Folie > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.205 Adiabatisches Quantencomputing Elisabeth Lobe, Tobias Stollenwerk Simulations- und Softwaretechnik HPCN Workshop,
MehrQuantencomputer. Der Shor-Algorithmus. Präsentation von Oleg Yuschuk
Quantencomputer Der Shor-Algorithmus Präsentation von Oleg Yuschuk Der Shor Algorithmus Peter W. Shor (* 14. August 1959 in New York) Algorithmus zum Faktorisieren von Zahlen auf dem Quantencomputer Besonderheit:
Mehr9.2 Die Klassen QP und BQP
Definition (r-universell): sei R eine Menge von reversieblen booleschen Funktionen, die auf einer konstanten Anzahl von Bits operieren. R heißt r-universell, falls jede reversible Funktion als Verknüpfung
MehrKlassische Informationstheorie: Berechenbarkeit und Komplexität
Klassische Informationstheorie: Berechenbarkeit und Komplexität Christian Slupina 1. Institut für Theoretische Physik Datum: 12.Juli 2011 Inhalt Gedankenexperiment: Die Turingmaschine Standard-Turingmaschinen
MehrZufälle gibt s, oder gibt s die nicht? Martin Köhler Science Café Hamburg, 25. Juni 2014
Zufälle gibt s, oder gibt s die nicht? Martin Köhler Science Café Hamburg, 25. Juni 2014 Grundfrage und Gliederung Gibt es einen echten Zufall, oder wissen wir einfach nicht genug für eine exakte Vorhersage?
MehrWintersemester 2007/2008 Helmut Seidl Institut für Informatik TU München
Informatik 1 Wintersemester 2007/2008 Helmut Seidl Institut für Informatik TU München 1 0 Allgemeines Inhalt dieser Vorlesung: Einführung in Grundkonzepte der Informatik; Einführung in Denkweisen der Informatik;
MehrWas ist Dekohärenz? Michael Hofmann. Seminar Grundlagen der Quantenphysik. Institut für Physik der Humboldt-Universität zu Berlin
Institut für Physik der Humboldt-Universität zu Berlin Seminar Grundlagen der Quantenphysik Gliederung 1 Fragestellung Interpretationen 2 Fragestellung Interpretationen Übergang vom Klassischen zur Quantenwelt
MehrWestfälische Wilhelms-Universität Münster Fachbereich Physik. Quantenlogik. Martin Kohn Münster,
Westfälische Wilhelms-Universität Münster Fachbereich Physik Quantenlogik Martin Kohn martin-kohn@gmx.de Münster, 14.09.2009 1 Einleitung Die Quantenlogik beschreibt die Anwendung der klassischen, alltäglichen
MehrZusammenfassung. Warum polynomielle Reduktionen? Definition NP-vollständig [K5.1.1] NP-Vollständigkeitstheorie [K5]
Warum polynomielle Reduktionen? erlauben feinere Unterteilungen von Komplexitätsklassen als Turing- Reduktionen, genügen für die betrachteten Probleme, für alle von uns betrachteten Komplexitätsklassen
MehrVerschränkte Zustände. - spukhafte Fernwirkungen-
I) Einführung:.) Klassische echanik: - Kausalität: Ursache Wirkung - relativistische Kausalität: kausale Einflüsse bewegen sich maximal mit Lichtgeschwindigkeit c keine instantane Fernwirkung lokale Wechselwirkung
MehrKapitel 3: Berechnungstheorie Gliederung
Gliederung 0. Einleitung und Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie 3.1. Algorithmische Probleme und Berechnungsmodelle 3.2. Das Berechnungsmodell
MehrDas Meßproblem in der Kopenhagener Deutung
Das Meßproblem in der Kopenhagener Deutung Angenommen, ein quantenmechanisches System kann nur zwei Werte annehmen, z.b. Spin oben oder Spin unten... Dieses Teilchen wird in Bezug auf den Spin durch eine
MehrTeil III. Komplexitätstheorie
Teil III Komplexitätstheorie 125 / 160 Übersicht Die Klassen P und NP Die Klasse P Die Klassen NP NP-Vollständigkeit NP-Vollständige Probleme Weitere NP-vollständige Probleme 127 / 160 Die Klasse P Ein
MehrEinführung in die Theoretische Informatik
Technische Universität München Fakultät für Informatik Prof. Tobias Nipkow, Ph.D. Sascha Böhme, Lars Noschinski Sommersemester 2011 Lösungsblatt 9 25. Juli 2011 Einführung in die Theoretische Informatik
MehrZur Idee der Quantenkryptographie: Abhörsicher kommunizieren?!
Zur Idee der Quantenkryptographie: Abhörsicher kommunizieren?! Institut für Theoretische Physik Universität Wien Quantenphysik: beschreibt das Verhalten von Teilchen, wie Elektronen, Protonen, Neutronen,
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 7.07.2016 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
MehrTheoretical Biophysics - Quantum Theory and Molecular Dynamics. 6. Vorlesung. Pawel Romanczuk WS 2016/17
Theoretical Biophysics - Quantum Theory and Molecular Dynamics 6. Vorlesung Pawel Romanczuk WS 2016/17 http://lab.romanczuk.de/teaching Zusammenfassung letzte VL Streuzustände Potentialschwelle Potentialbarriere/Tunneleffekt
MehrQU Darstellung durch 1-Partikel-System mit zwei Eigenzuständen 0 und 1. (z.b. Spin, Polarisierung, Grund- und erregter Zustand eines
1 Klassische vs. Quantencomputer 1.1 Bits und Qubits KL Darstellung durch gemeinsamen Zustand vieler Elektronen. Diskretisierung durch Schwellwert bezüglich einer Observablen. (z.b. Spannung am Kondensator).
MehrDeterministische Turing-Maschinen
Deterministische Turing-Maschinen Um 900 präsentierte David Hilbert auf einem internationalen Mathematikerkongress eine Sammlung offener Fragen, deren Beantwortung er von zentraler Bedeutung für die weitere
MehrEinführung in Quantenalgorithmen
Einführung in Quantenalgorithmen Inhalt: 1. Einleitung 2. Einteilung der Quantenalgorithmen 3. Vorteile von Quantenalgorithmen 4. Funktionsweise bzw. Aufbau von Quantenalgorithmen 5. Erste Beispiele: a.
MehrSignale und Logik (3)
Signale und Logik (3) Zwischenbilanz der bisherigen Erkenntnisse: Prof. Dr. A. Christidis SS 205 Energieformen (z.b. Elektrizität) können auch als Signale (=Informationsträger) genutzt werden (vgl. Telegraph).
MehrQuantentechnologien. Perspektiven und Möglichkeiten. für Österreich
Quantentechnologien Perspektiven und Möglichkeiten für Österreich Das Quanten-Manifest Das Quantum Manifest wurde formuliert wir wollen mit Überlagerung und Verschränkung! kommerzielle Anwendungen realisieren
MehrVom Doppelspalt zum Quantencomputer
Vom Doppelspalt zum Quantencomputer Aktuelle Physik in der Schule Herbert Rubin Aufbau der Lerneinheit Vorstellungen von Licht Huygens Newton Young 1704 1678 1804 Linienspektren Äusserer Photoeffekt Hallwachs-Effekt
MehrInterpretationen des quantenmechanischen Formalismus
Interpretationen des quantenmechanischen Formalismus Reinhold A. Bertlmann Philipp Köhler & VO Fallstudien zur naturwissenschaftlichen Erkenntnis Quantentheorie 6. Dezember 2010 Grundlegende Fragen Warum
MehrQuanteninformationstheorie
Quanteninformationstheorie Quanteninformationstheorie Die Quanteninformationstheorie nutzt quantenphysikalische Eigenschaften zur Manipulation von Information. Die dabei grundlegend verwendeten Eigenschaften
MehrTheoretische Informatik
Kapitel 22: Theoretische Informatik Einführung in die Informatik Wintersemester 2007/08 Prof. Bernhard Jung Übersicht Minimale Rechnermodelle Maschine mit wahlfreiem Zugriff Turing-Maschine Zeitkomplexität
MehrQuantenphysik aus klassischen Wahrscheinlichkeiten C. Wetterich. nicht
Quantenphysik aus klassischen Wahrscheinlichkeiten C. Wetterich Gott würfelt Gott würfelt nicht Quanten Teilchen und klassische Teilchen Quanten Teilchen klassische Teilchen Teilchen-Welle Dualität Unschärfe
MehrMotivation und Geschichte. Geschichte der Logik Logik und Informatik
Motivation und Geschichte Geschichte der Logik Logik und Informatik Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 2.1 Motivation und Geschichte Geschichte der Logik 13 Aufgaben der Logik
MehrBerechnungsmodelle. Mathias Hecht. April 29, 2010
Berechnungsmodelle Mathias Hecht April 29, 2010 1 Die Turingmaschine 1.1 Definition Eine Turingmaschine wird durch ein Tupel (Γ, Q, δ) beschrieben. Γ ein endliches Alphabet Q : eine endliche Menge an Zuständen
MehrEinführung in Quantencomputing
Einführung in Quantencomputing Proseminar v. F. Saphir..003 Zusammenfassung Dieser Teil der Einführung in Quantencomputing stellt die Vorteile gegenüber klassichen Computern vor, behandelt eine Reihe einfacher
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 25.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 25. Januar 2017 Gödels Unvollständigkeitssatz Unvollständigkeit von Axiomensystemen:
MehrQuanten-Fehler-Korrektur
Quanten-Fehler-Korrektur Hauptseminar Physik des Quantencomputers, SS 2013 Martin Koppenhöfer Institut für Theoretische Festkörperphysik (TFP) Correct Error M M 0 KIT 04.06.2013 Universität des M. Landes
MehrDie klassische Welt. Jochen Hub. Akademie Rot an der Rot, August Die klassische Welt p.1
Die klassische Welt Akademie Rot an der Rot, August 2004. Jochen Hub Die klassische Welt p.1 Quantenphysik klassische Physik klassische Physik als Grenzfall der Quantenphysik? Analog zu Relativistische
MehrWahrscheinlichkeitsrechnung und Quantentheorie
Physikalische Chemie II: Atombau und chemische Bindung Winter 2013/14 Wahrscheinlichkeitsrechnung und Quantentheorie Messergebnisse können in der Quantenmechanik ganz prinzipiell nur noch mit einer bestimmten
Mehr