Registro:
| Documento: | Tesis de Grado |
| Título: | Operador de medición en un cálculo lambda con control cuántico |
| Autor: | San Martín, Nicolás |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2023 |
| Fecha en portada: | 2023 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Díaz-Caro, Alejandro |
| Director Asistente: | Martínez López, Pablo Ernesto |
| Jurado: | Barenbaum, Pablo; Melgratti, Hernán Claudio; Romero, Lucas Rafael |
| Idioma: | Español |
| Palabras clave: | CALCULO LAMBDA; COMPUTACION CUANTICA; MEDICION CUANTICA; COMPUERTAS CUANTICAS; COMPUERTAS CUANTICAS |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000542_SanMartin |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000542_SanMartin.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000542_SanMartin |
| Ubicación: | Dep.COM 000542 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. San Martín, Nicolás. (2023). Operador de medición en un cálculo lambda con control cuántico. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000542_SanMartin |
Resumen:
En los últimos años, se han desarrollado distintas extensiones al cálculo lambda buscando lenguajes de programación cuánticos siguiendo el modelo de “control cuántico”. Este modelo, a diferencia del de “control clásico”, describe las operaciones cuánticas de manera explícita, incorporando conceptos de la computación cuántica como el de las superposiciones al cálculo. Ejemplos de tales lenguajes son Lambda-S y Lambda-S1. El primero enfocado principalmente en incorporar la medición cuántica a los cálculos anteriores, donde todas las operaciones son lineales. El segundo asegura que las superposiciones se mantienen en la esfera de módulo 1 haciendo que las operaciones sean isometrías, lo que es también un requisito para la computación cuántica. En esta tesis se define Lambda-S π 1, que es un cálculo que preserva la norma de las superposiciones, asegura que las operaciones son isometrías, y a la vez incorpora la medición cuántica. Se define el lenguaje, se prueban la propiedad de subject reduction, progreso, preservación de la normal y un resultado de expresividad
Citación:
---------- APA ----------
San Martín, Nicolás. (2023). Operador de medición en un cálculo lambda con control cuántico. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000542_SanMartin
---------- CHICAGO ----------
San Martín, Nicolás. "Operador de medición en un cálculo lambda con control cuántico". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2023.https://hdl.handle.net/20.500.12110/seminario_nCOM000542_SanMartin
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000542_SanMartin.pdf
Distrubución geográfica
