Sumários
Não houve aulas
2 dezembro 2021, 11:00 • Luísa Coheur
As aulas práticas começam na segunda semana de aulas
Sistema de Dedução Natural do CP
2 dezembro 2021, 09:00 • Luísa Coheur
Regras do Sistema de Dedução Natural do CP
Não houve aulas
30 novembro 2021, 14:00 • Luísa Coheur
As aulas práticas começam na segunda semana de aulas
Apresentação e Conceitos Básicos
30 novembro 2021, 10:00 • Luísa Coheur
Apresentação da cadeira.
As aulas práticas começam na segunda semana de aulas
29 novembro 2021, 12:00 • Luísa Coheur
Não houve aulas