Título
[pt] ALGORITMOS QUÂNTICOS PARA BUSCA DE PROVAS EM LÓGICA LINEAR
Título
[en] QUANTUM ALGORITHMS FOR PROOF SEARCH IN LINEAR LOGIC
Autor
[pt] LORENZO PALERMO SARAIVA
Vocabulário
[pt] CALCULO DE SEQUENTES
Vocabulário
[pt] LOGICA LINEAR TENSORIAL
Vocabulário
[pt] ALGORITMO DE GROVER
Vocabulário
[pt] CIRCUITOS QUANTICOS
Vocabulário
[en] SEQUENT CALCULUS
Vocabulário
[en] TENSORIAL LINEAR LOGIC
Vocabulário
[en] GROVER ALGORITHM
Vocabulário
[en] QUANTUM CIRCUITS
Resumo
[pt] Neste projeto foram desenvolvidos algoritmos quânticos para busca de provas em cálculo de sequentes para a Lógica Linear Conjuntiva Multiplicativa, que é um fragmento da Lógica Linear. Os algoritmo resultantes são todos baseados no algoritmo de Grover, com pequenas diferenças que refletem diferentes formas de abordar a questão. Neste trabalho iremos apresentar e analisar as soluções criadas.
Resumo
[en] In this project were developed three quantum algorithms for proof search in sequent calculus for Multiplicative Conjunctive Linear Logic, which is a fragment of Linear Logic. The resulting algorithms are all based on the Grover Search Algorithm, with small differences that reflect the different ways to approach the question. We will present and analyze the resulting solutions.
Orientador(es)
EDWARD HERMANN HAEUSLER
Banca
SERGIO COLCHER
Banca
EDUARDO SANY LABER
Banca
EDWARD HERMANN HAEUSLER
Banca
LUIZ CARLOS PINHEIRO DIAS PEREIRA
Banca
VASTON GONCALVES DA COSTA
Catalogação
2022-10-25
Apresentação
2022-09-09
Tipo
[pt] TEXTO
Formato
application/pdf
Idioma(s)
INGLÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=60941@1
Referência [en]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=60941@2
Arquivos do conteúdo
NA ÍNTEGRA PDF