Métodos Formales en Ingeniería Informática (Con UAM y UPM)

Máster. Curso 2022/2023.

COMPUTACIÓN CUÁNTICA - 609035

Curso Académico 2022-23

Datos Generales

SINOPSIS

COMPETENCIAS

Generales
CG_MF1-Capacidad para proyectar, calcular y diseñar productos, procesos e instalaciones en todos los ámbitos de la Ingeniería Informática.
CG_MF5-Capacidad para la aplicación de los conocimientos adquiridos para resolver problemas en entornos nuevos o poco conocidos dentro de contextos amplios y multidisciplinares, siendo capaces de integrar dichos conocimientos.
CG_MF7-Capacidad para comprender trabajos de investigación y para crear nuevo conocimiento en el área de los métodos formales aplicados a la Ingeniería Informática.
Transversales
CB_MF6-Poseer y comprender conocimientos que aporten una base u oportunidad de ser originales en el desarrollo y/o aplicación de ideas, a menudo en un contexto de investigación.
CB_MF10-Que los estudiantes posean las habilidades de aprendizaje que les permitan continuar estudiando de un modo que habrá de ser en gran medida autodirigido o autónomo.
CT_MF1-Capacidad para trabajar en equipo, ya sea como un miembro más o realizando la labor de dirección del mismo, promoviendo el libre intercambio de ideas.
CT_MF2-Capacidad para fomentar la creatividad tanto propia como la de los restantes miembros del equipo.
CT_MF3-Capacidad de razonamiento crítico como vía para mejorar la generación y desarrollo de ideas en un contexto profesional o de investigación.
Específicas
CE_MF6-Capacidad para utilizar modelos de cómputo alternativos a los convencionales, tales como la computación cuántica, los sistemas de reescritura, las máquinas abstractas, la programación con restricciones o los algoritmos bio-inspirados.
CE_MF10-Capacidad para la modelización matemática, el cálculo y la simulación en centros tecnológicos y de ingeniería de empresa, particularmente en tareas de investigación, desarrollo e innovación en todos los ámbitos relacionados con la Ingeniería en Informática.

ACTIVIDADES DOCENTES

Clases teóricas
Los contenidos del curso serán explicados en clases teóricas.
Clases prácticas
En las clases prácticas los alumnos resolverán una selección de ejercicios y problemas.
Presentaciones
Los alumnos realizarán un trabajo final por grupos y una presentación en clase del mismo.

Presenciales

6

No presenciales

0

Semestre

2

Breve descriptor:

 El objetivo de la asignatura es introducir al alumno en el área de la computación cuántica

Requisitos

Ninguno específico

Objetivos

Comprender los postulados de la mecánica cuántica y su uso en el procesado de información.
Comprender los fundamentos de la computación cuántica y sus principales algoritmos.
Comprender los fundamentos de la cirptografía cuántica y el algoritmo BB84 de intercambio de clave.


Contenido

 Fundamentos de información cuántica: 
Postulados de la mecánica cuántica y notación.
Teleportación y codificación superdensa. 

Computación cuántica:
Circuitos cuánticos.
Algoritmos cuánticos. 
Algoritmos básicos de búsqueda.

Algoritmo de Shor:
Transformada de Fourier cuántica. 
Algoritmo de Shor.

Criptografía cuántica: 
Fundamentos.
Principio de incertidumbre. 
Teorema de no clonación.

Algoritmo BB84:
El algoritmo.
Prueba simplificada de seguridad.

Evaluación

Exámenes presenciales: 30%
Evaluación continua (entregas de problemas): 30%
Trabajo final colaborativo y su presentación: 40%

Bibliografía

M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.

Otras referencias de interés:
J. Preskill, Quantum computation: lecture notes. Available at: http://www.theory.caltech.edu/%7Epreskill/ph219/index.html#lecture
R. de Wolf, Quantum Computing: lecture notes. Available at: https://homepages.cwi.nl/~rdewolf/qcnotes.pdf
M.M. Wilde, From Classical to Quantum Shannon Theory. Available at: https://arxiv.org/pdf/1106.1445.pdf

Otra información relevante

La ficha detallada se puede consultar en la sección de información docente de la Web de Facultad de Informática.

https://informatica.ucm.es/informacion-docente

Estructura

MódulosMaterias
No existen datos de módulos o materias para esta asignatura.

Grupos

Clases teóricas y/o prácticas
GrupoPeriodosHorariosAulaProfesor
Grupo A23/01/2023 - 14/04/2023LUNES 17:00 - 19:00Aula 12ANGELO LUCIA
JUEVES 17:00 - 19:00Aula 12ANGELO LUCIA