Lógica Quântica 2017/18

Mestrado Integrado em Engenharia Física

Dep. Informática, Universidade do Minho

Objectivos e Resultados de Aprendizagem

O desenvolvimento da informação e computação quânticas requer ferramentas formais que permitam raciocinar rigorosamente sobre sistemas quânticos. Esta unidade curricular explora a ligação entre a computação (quântica) e as lógicas (sensíveis aos recursos) dada pela correspondência de Curry-Howard — que identifica proposições com tipos e provas com programas — e a ligação à semântica formalizada como uma categoria (monoidal). Assim, no final, os alunos serão capazes de aplicar ao desenvolvimento de programas quânticos um conhecimento sólido e operativo em

Programa

Apoio

Notas de Apoio (2017-18)
Exercícios
Bibliografia base
Bibliografia complementar
Links

Funcionamento

Docente
Avaliação
Contacto