Dissertação
Quantum Dynamic Logic EVALUATED
A primeira menção a uma lógica baseada em Mecânica Quântica foi feita no artigo de Birkhoff e Neumann em 1936. Aí, os conectivos da lógica quântica (~, ∧, ⊔) refletem as operações do reticulado de todos os subespaços fechados de um espaço de Hilbert. Como consequência, essa lógica não é uma extensão da lógica clássica. Nomeadamente, algumas propriedades da lógica clássica como a distributividade de ∧ e ⊔ já não são válidas. Atualmente existem muitas variantes da lógica quântica, algumas delas seguindo o paradigma de Birkhoff e von Neumann e outras onde as características quânticas são adicionadas à lógica clássica. Nesta tese, iremos nos focar na lógica dinâmica quântica para programas quânticos, que é da segunda variante. Lógica dinâmica quântica tem o mesmo papel para programas quânticos que a lógica dinâmica tem para programas clássicos. O papel desta última foi muito importante para a criação de técnicas de verificação para programação. Espera-se que a lógica quântica dinâmica faça o mesmo para programas quânticos, isto é, lidando com medições quânticas ,evoluções unitárias e entrelaçamento em sistemas quânticos compostos.
dezembro 21, 2021, 11:0
Publicação
Obra sujeita a Direitos de Autor
Orientação
ORIENTADOR
Maria Cristina De Sales Viana Serôdio Sernadas
Departamento de Matemática (DM)
Colaborador Docente