How quantum computational systems work, what makes them different from classical systems, and challenges to realizing scalable quantum advantage. Quantum notions of information, noise, complexity, security, and learning.
By the end of the class, students should be able to follow research papers and talks in quantum information, identify next steps to research in the field, and anticipate impacts of quantum on other areas of computer science.
Propositional and predicate logic, sets, and numbers. Strategies of proof, such as induction, contradiction, etc.