Resumen: Empezaremos con la axiomática de la mecánica cuántica basada en espacios de Hilbert a través de la regla de Bohr y la ecuación de Schrödinger, de las cuales deduciremos las propiedades básicas de los sistemas cuánticos que son necesarias para una máquina cuántica universal de acuerdo con los requisitos de DiVicenzo. Luego veremos como programar estas máquinas (o simuladores) usando Qiskit e IBM Quantum. La idea es estudiar algoritmos como el de Deutsch-Jocza, el de Bernstein-Vazirani y el de Simon, que dan una ventaja exponencial sobre algoritmos clásicos. Por último, veremos el algoritmo de Shor para factorizar enteros, basado en la transformada discreta de Fourier cuántica, que representa una amenaza para casi todos los protocolos criptográficos de clave pública utilizados actualmente. Si nos da tiempo, veremos el algoritmo de Grover, el teorema de Bell y el protocolo de intercambio de claves utilizando un canal cuántico.