Mostrar el registro sencillo del ítem

dc.date.accessioned2021-04-06T13:54:50Z
dc.date.available2021-04-06T13:54:50Z
dc.date.issued2019-05-02
dc.identifier.citationDiaz-Caro, A. (Dir.) (2019). Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica. Bernal, Argentina: Universidad Nacional de Quilmes.es
dc.identifier.urihttp://ridaa.unq.edu.ar/handle/20.500.11807/2911
dc.descriptionFil: Díaz-Caro, Alejandro. Universidad Nacional de Quilmes; Argentina.es
dc.descriptionFil: Martínez López, Pablo E. Universidad Nacional de Quilmes; Argentina.es
dc.formatapplication/pdfes
dc.languagespaes
dc.relationinfo: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ánticaes
dc.rightshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/es
dc.subjectComputación cuánticaes
dc.subjectLenguajes de programaciónes
dc.subjectSistemas de pruebases
dc.subjectCálculo Lambdaes
dc.subjectQuantum computinges
dc.subjectProgramming languajeses
dc.subjectTest systemses
dc.subjectLambda calculuses
dc.subjectComputação quânticaes
dc.subjectLinguagem de programaçãoes
dc.subjectSistemas de testees
dc.titleFundamentos de lenguajes de programación : sistemas de pruebas y computación cuánticaes
dc.typeinfo:ar-repo/semantics/proyecto de investigaciónes
unq.versioninfo:eu-repo/semantics/acceptedVersiones
unq.proyecto.tipoPUNQ I+D (Proyecto)es
unq.proyecto.final2022-04-30
unq.proyecto.estadoEn cursoes
unq.proyecto.directorDíaz-Caro, Alejandro
unq.proyecto.codirectorMartínez López, Pablo E.
unq.proyecto.integranteRodas Bonjour, Alan
unq.proyecto.integranteSottile, Cristian.
unq.departamentoDepartamento de Ciencia y Tecnologíaes
unq.tipo.snrdinfo:eu-repo/semantics/otheres
unq.accesoinfo:eu-repo/semantics/openAccesses
unq.proyecto.areaInformáticaes
unq.proyecto.resumenLa 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.es


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem