Defesa de Dissertação de Mestrado do aluno Lorenzo Palermo Saraiva

Defesa de Dissertação de Mestrado do aluno Lorenzo Palermo Saraiva

Título da dissertação: Quantum algorithms for proof search in linear logic

Resumo: 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 algoritmos 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.

Orientador: Prof. Dr. Edward Hermann Haeusler

Banca: 

Prof. Dr. Vaston Gonçalves da Costa

Prof. Dr. Eduardo Sany Laber

Prof. Dr. Marcos Kalinowski

Prof. Dr. Luiz Carlos Pinheiro Dias Pereira

Prof. Dr. Sérgio Colcher

Acompanhe-nos pelo link: https://puc-rio.zoom.us/j/94260680168?pwd=eE41VFpuMEsrdUNjYXFVZ0FuTXR0UT09