Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos
La computación cuántica plantea un nuevo modelo de computación que incorpora formas inéditas de pensar los problemas. Conceptos claves para ello son el enredo cuántico, el paralelismo y el no clonado. Si bien estos conceptos no tienen un correlativo en la computación clásica, su estudio puede tener...
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Online |
| Language: | Spanish |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://ridaa.unq.edu.ar/handle/20.500.11807/935 |
| _version_ | 1866439087951446016 |
|---|---|
| author | Díaz Caro, Alejandro Martínez López, Pablo |
| author2 | Sawady, Federico |
| author_facet | Sawady, Federico Díaz Caro, Alejandro Martínez López, Pablo |
| author_sort | Díaz Caro, Alejandro |
| collection | Secretaría de Investigación - UNQ |
| description | La computación cuántica plantea un nuevo modelo de computación que incorpora formas inéditas de pensar los problemas. Conceptos claves para ello son el enredo cuántico, el paralelismo y el no clonado. Si bien estos conceptos no tienen un correlativo en la computación clásica, su estudio puede tener consecuencias en el estudio del comportamiento probabilista y no-determinista de programas clásicos. Asimismo, la simple observación de estas nuevas formas de pensar los problemas es fuente de inspiración para resolver problemas clásicos. Este proyecto se centra en el diseño de lenguajes de programación cuántica como fin en sí mismo, y como medio para el desarrollo de lenguajes de programación clásica con características novedosas. |
| format | Online info:eu-repo/semantics/other |
| id | ir-20.500.11807-935 |
| institution | RIDAA-UNQ |
| language | spa |
| publishDate | 2015 |
| record_format | dspace |
| spelling | ir-20.500.11807-9352019-02-07T05:00:30Z Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos Díaz Caro, Alejandro Martínez López, Pablo Sawady, Federico Viso, Andrés Computación cuántica Cálculo Lambda Teoría de tipos Lenguajes de programación Diseño Quantum computing Lambda calculus Theory of types Programming languajes Design Computação quântica Teoria dos tipos Linguagem de programação Desenho La computación cuántica plantea un nuevo modelo de computación que incorpora formas inéditas de pensar los problemas. Conceptos claves para ello son el enredo cuántico, el paralelismo y el no clonado. Si bien estos conceptos no tienen un correlativo en la computación clásica, su estudio puede tener consecuencias en el estudio del comportamiento probabilista y no-determinista de programas clásicos. Asimismo, la simple observación de estas nuevas formas de pensar los problemas es fuente de inspiración para resolver problemas clásicos. Este proyecto se centra en el diseño de lenguajes de programación cuántica como fin en sí mismo, y como medio para el desarrollo de lenguajes de programación clásica con características novedosas. 2015-05-01 info:eu-repo/semantics/other info:ar-repo/semantics/proyecto de investigación info:eu-repo/semantics/publishedVersion http://ridaa.unq.edu.ar/handle/20.500.11807/935 spa UNQ info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by/2.5/ar/ application/pdf |
| spellingShingle | Computación cuántica Cálculo Lambda Teoría de tipos Lenguajes de programación Diseño Quantum computing Lambda calculus Theory of types Programming languajes Design Computação quântica Teoria dos tipos Linguagem de programação Desenho Díaz Caro, Alejandro Martínez López, Pablo Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos |
| title | Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos |
| title_full | Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos |
| title_fullStr | Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos |
| title_full_unstemmed | Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos |
| title_short | Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos |
| title_sort | fundamentos de lenguajes de programacion cuantica y sus consecuencias en sistemas clasicos |
| topic | Computación cuántica Cálculo Lambda Teoría de tipos Lenguajes de programación Diseño Quantum computing Lambda calculus Theory of types Programming languajes Design Computação quântica Teoria dos tipos Linguagem de programação Desenho |
| url | http://ridaa.unq.edu.ar/handle/20.500.11807/935 |
| work_keys_str_mv | AT diazcaroalejandro fundamentosdelenguajesdeprogramacioncuanticaysusconsecuenciasensistemasclasicos AT martinezlopezpablo fundamentosdelenguajesdeprogramacioncuanticaysusconsecuenciasensistemasclasicos |