Difference between revisions of "User:Dabacon:Teaching"
From Quantum Computing Theory Group
| Line 10: | Line 10: | ||
*Spring 2008: [http://www.cs.washington.edu/education/courses/cse322/08sp/ 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 | *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
The real nature of education is at variance with the account given of it by certain of its professors - Socrates
- 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)
