Lógica Quântica 2018/19

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 (2018-19)
Artigos de referência
Bibliografia base
Bibliografia complementar
Links

Funcionamento

Docente
Avaliação
Contacto