The objective of this course is to introduce some basic theoretical tools to understand what is meant by “quantum information and computation”. After recalling the formalism of quantum mechanics, we will introduce the quantum circuit model, give some simple examples of quantum algorithms and present an introduction to the problem of quantum error corrections. Depending on the time remaining, we will try to address actual questions related to the experimental proof of quantum computational supremacy with noisy intermediate-scale quantum device.