Biblioteca Laura Manzo

Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica

Fil: Díaz-Caro, Alejandro. Universidad Nacional de Quilmes; Argentina.

Saved in:

Main Authors:	Díaz-Caro, Alejandro, Martínez López, Pablo E.
Other Authors:	Rodas Bonjour, Alan
Format:	info:eu-repo/semantics/other
Language:	spa
Published:	2019
Subjects:	Computación cuántica Lenguajes de programación Sistemas de pruebas Cálculo Lambda Quantum computing Programming languajes Test systems Lambda calculus Computação quântica Linguagem de programação Sistemas de teste
Online Access:	http://ridaa.unq.edu.ar/handle/20.500.11807/2911
Tags:	Add Tag No Tags, Be the first to tag this record!

id	ir-20.500.11807-2911
recordtype	dspace
spelling	ir-20.500.11807-29112021-04-09T19:57:39Z Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica Díaz-Caro, Alejandro Martínez López, Pablo E. Rodas Bonjour, Alan Sottile, Cristian. Computación cuántica Lenguajes de programación Sistemas de pruebas Cálculo Lambda Quantum computing Programming languajes Test systems Lambda calculus Computação quântica Linguagem de programação Sistemas de teste Fil: Díaz-Caro, Alejandro. Universidad Nacional de Quilmes; Argentina. Fil: Martínez López, Pablo E. Universidad Nacional de Quilmes; Argentina. La mecánica cuántica es el conjunto de construcciones matemáticas que dan predicciones sobre el comportamiento de las partículas. Desde sus inicios, hubo estudios matemáticos (y filosóficos) sobre qué sería una lógica cuántica, ya que no pareciera ir de la mano de la lógica clásica. En efecto, en lógica clásica, podemos considerar que una proposición es o bien verdadera, o bien falsa; sin embargo, debido a características intrínsecas de la mecánica cuántica, en una lógica cuántica deberíamos poder considerar proposiciones que son verdaderas y falsas a la vez. Esto llevó a Birkhoff y von Neumann a definir, en 1936, una "lógica cuántica" que pueda describir este tipo de "superposiciones". La computación cuántica aparece a principios de los 80s como una manera estructurada de pensar a la mecánica cuántica. Básicamente cualquier proceso cuántico tiene un estado inicial, un estado final, y una evolución entre uno y otro. Por lo tanto, esta evolución, puede ser considerada como un proceso de cómputo. El cálculo lambda es una manera de describir procesos de cómputo, y el cálculo lambda tipado es isomorfo a un sistema de pruebas lógico, donde los tipos son las proporciones, y los términos lambda, sus pruebas. Por lo tanto, desde hace más de una década, que se estudia la lógica cuántica (o "lógica cuántica computacional", para distinguirla de aquella de Birkhoff y von Neumann) desde un punto de vista formal utilizando técnicas de las ciencias de la computación. Así, de la mecánica cuántica pasamos a la computación cuántica como formalismo matemático, de allí al cálculo lambda tipado como método de formalizar los "programas" cuánticos, y finalmente a la lógica, utilizando el isomorfismo antes mencionado. Por ejemplo, estudiando la semántica categórica de ciertos cálculos cuánticos, se derivó una construcción dual de la lógica lineal, que puede describir la superposición cuántica, entre otras propiedades. En este proyecto proponemos por un lado, un desarrollo teórico, que consiste en explorar diversas líneas de extensiones al cálculo lambda para computación cuántica, y también de sistemas de pruebas novedosos, que puedan facilitar los modelos de lógica cuántica a los que se quiere arribar, y por otro lado, una parte más aplicada, de desarrollar prototipos de simuladores de computación cuántica, al implementar los lenguajes obtenidos a partir del cálculo lambda. 2019-05-02 info:eu-repo/semantics/other info:ar-repo/semantics/proyecto de investigación info:eu-repo/semantics/acceptedVersion http://ridaa.unq.edu.ar/handle/20.500.11807/2911 spa info:eu-repo/grantAgreement/UNQ/PUNQ I+D/2019-1342/AR. Buenos Aires. Bernal/Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ application/pdf
institution	RIDAA UNQ
collection	DSpace
language	spa
topic	Computación cuántica Lenguajes de programación Sistemas de pruebas Cálculo Lambda Quantum computing Programming languajes Test systems Lambda calculus Computação quântica Linguagem de programação Sistemas de teste
spellingShingle	Computación cuántica Lenguajes de programación Sistemas de pruebas Cálculo Lambda Quantum computing Programming languajes Test systems Lambda calculus Computação quântica Linguagem de programação Sistemas de teste Díaz-Caro, Alejandro Martínez López, Pablo E. Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica
description	Fil: Díaz-Caro, Alejandro. Universidad Nacional de Quilmes; Argentina.
author2	Rodas Bonjour, Alan
author_facet	Rodas Bonjour, Alan Díaz-Caro, Alejandro Martínez López, Pablo E.
format	info:eu-repo/semantics/other
author	Díaz-Caro, Alejandro Martínez López, Pablo E.
author_sort	Díaz-Caro, Alejandro
title	Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica
title_short	Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica
title_full	Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica
title_fullStr	Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica
title_full_unstemmed	Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica
title_sort	fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica
publishDate	2019
url	http://ridaa.unq.edu.ar/handle/20.500.11807/2911
_version_	1796766402225373184
score	10.276636

Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica

Similar Items