Difference between revisions of "User:Dabacon:Teaching"
From Quantum Computing Theory Group
(→Teaching) |
|||
(4 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
[[Image:Socrates.jpg|frame|The real nature of education is at variance with the account given of it by certain of its professors - Socrates]] | [[Image:Socrates.jpg|frame|The real nature of education is at variance with the account given of it by certain of its professors - Socrates]] | ||
*Summer 2005: [http://www.cs.washington.edu/education/courses/csep590tu/05su/ CSEP 590] Quantum Computing | *Summer 2005: [http://www.cs.washington.edu/education/courses/csep590tu/05su/ CSEP 590] Quantum Computing | ||
+ | *Summer 2005: [http://www.cs.washington.edu/homes/dabacon/teaching/siena/index.html Summer School] in Siena, Italy. August 30-September 2, 2005. | ||
*Winter 2006: [http://www.cs.washington.edu/education/courses/cse599d/06wi/ CSE 599] Quantum Computing | *Winter 2006: [http://www.cs.washington.edu/education/courses/cse599d/06wi/ CSE 599] Quantum Computing | ||
*Spring 2006: [http://www.cs.washington.edu/education/courses/cse370/06sp/ CSE 370] Introduction to Digital Design | *Spring 2006: [http://www.cs.washington.edu/education/courses/cse370/06sp/ CSE 370] Introduction to Digital Design | ||
*Winter 2007: [http://www.cs.washington.edu/education/courses/cse326/07wi/ CSE 326] Data Structures | *Winter 2007: [http://www.cs.washington.edu/education/courses/cse326/07wi/ CSE 326] Data Structures | ||
*Fall 2007: [http://www.cs.washington.edu/education/courses/cse321/07au/ CSE 321] Discrete Structures | *Fall 2007: [http://www.cs.washington.edu/education/courses/cse321/07au/ CSE 321] Discrete Structures | ||
− | *Spring 2008: CSE 322 Introduction to Formal Methods in Computer Science | + | *Spring 2008: [http://www.cs.washington.edu/education/courses/cse322/08sp/ CSE 322] Introduction to Formal Methods in Computer Science |
+ | *Fall 2008: [http://www.cs.washington.edu/education/courses/cse322/08au/ CSE 322] Introduction to Formal Methods in Computer Science | ||
+ | *Spring 2009: [http://www.cs.washington.edu/education/courses/cse322/09sp/ CSE 322] Introduction to Formal Methods in Computer Science | ||
==Lecture Notes for Quantum Computing== | ==Lecture Notes for Quantum Computing== |
Latest revision as of 16:59, 14 April 2009
Teaching
- Summer 2005: CSEP 590 Quantum Computing
- Summer 2005: Summer School in Siena, Italy. August 30-September 2, 2005.
- Winter 2006: CSE 599 Quantum Computing
- Spring 2006: CSE 370 Introduction to Digital Design
- Winter 2007: CSE 326 Data Structures
- Fall 2007: CSE 321 Discrete Structures
- Spring 2008: CSE 322 Introduction to Formal Methods in Computer Science
- Fall 2008: CSE 322 Introduction to Formal Methods in Computer Science
- Spring 2009: CSE 322 Introduction to Formal Methods in Computer Science
Lecture Notes for Quantum Computing
Lecture notes for CSE 599 Quantum Computing
- Introduction and Basics of Quantum Theory (updated 1/4/06)
- Dirac Notation and Basic Linear Algebra for Quantum Computing (updated 1/6/06)
- One qubit, Two qubit (updated 1/10/06)
- The No-Cloning Theorem, Classical Teleportation and Quantum Teleportation, Superdense Coding (updated 1/11/06)
- The Quantum Circuit Model and Universal Quantum Computation (updated 1/20/06)
- Reversible Classical Circuits and the Deutsch-Jozsa Algorithm (updated 1/20/06)
- The Recursive and Nonrecursive Bernstein-Vazirani Algorithmm (updated 1/23/06)
- Simon's Algorithm (updated 1/26/06)
- The Quantum Fourier Transform (updated 1/26/06)
- Quantum Phase Estimation and Arbitrary Size Quantum Fourier Transforms (updated 1/26/06)
- Shor's Algorithm (updated 1/30/06)
- Grover's Algorithm (updated 1/31/06)
- Mixed States and Open Quantum Systems (update 2/8/06)
- Quantum Entanglement and Bell's Theorem (updated updated 2/8/06)
- When Quantum Computers Fall Apart (updated 2/8/06)
- Introduction to Quantum Error Correction (updated 2/10/06)
- The Quantum Error Correcting Criteria (updated 2/13/06)
- Stabilizer Quantum Error Correcting Codes (updated 2/12/06)
- Fault-Tolerant Quantum Computation and the Threshold Theorem (updated 2/12/06)