Lógica Quântica
MSc Engenharia Física, Universidade do Minho
2º Semestre, 2022/2023
Avisos
☞ Resultados de avaliação disponíveis abaixo.
12.06. Nova versão do exercício para avaliação: erro corrigido na Def. 6.
Aula extra para discutir exercício 2 e trabalhos na segunda 5 Jun às 11.00 @ DI 0.04.
Reposição de aula na quinta 25 Mai às 16.00 @ DI 0.08.
Reposição de aulas na sexta 21 Abr às 16.00 e na quinta 27 Abr às 16.00 @ DI 0.08.
Aulas TP de terça 11 Abr e T de quarta 12 Abr adiadas; reposta na terça 7 Mar às 14.00 @ CP1 1.20.
Aula TP de terça 28 Fev adiada; reposta na terça 7 Mar às 14.00 @ CP1 1.20.
Aula TP de quarta 15 Fev será reposta na quinta, 23 Fev às 16.00 @ DI 0.05.
Material das aulas e exercícios
5. The Curry--Howard--Lambek correspondance
6. Multiplicative linear logic
7. Categorical quantum mechanics
Referências bibliográficas
S. Abramsky and N. Tzevelekos, Introduction to categories and categorical logic, in New Structures for Physics (B. Coecke ,ed.), Lecture Notes in Physics vol. 813, Ch. 1, pages 3–94, Springer, 2011. arXiv:1102.1313 [math.CT]
J. C. Baez and M. Stay, Physics, topology, logic and computation: A Rosetta stone, in New Structures for Physics (B. Coecke ,ed.), Lecture Notes in Physics vol. 813, Ch. 2, pages 95–174, Springer, 2011. arXiv:0903.0340 [quant-ph]
C. Heunen and J. Vicary, Categories for quantum theory: An Introduction, Oxford Graduate Texts in Mathematics vol. 28, Oxford University Press, 2019.
B. Coecke and A. Kissinger, Picturing quantum processes: A first course in quantum theory and diagrammatic reasoning, Cambridge University Press, 2017.
S. Awodey, Category theory, Oxford Logic Guides vol. 52, Oxford University Press, 2006.
nLab, a collaborative wiki with lots of useful entries on category theory and applications.
Aspectos Práticos
T: Wed 11–13
TP: Tue 9–11
Avaliação
Exercícios de resolução individual (60) e trabalho (40).