Sumários
Comparação da expressividade de duas linguagens e gramática
23 Setembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 7, 10,11 e 12.
T2
20 Setembro 2019, 09:30 • Mário Jorge Edmundo
Exemplos de LPO e termos fechados (conclusão); notação prefixa e infixa para termos fechados. O símbolo de igualdade e o seu papel semântico. Sentenças atómicas e o seu papel semântico; sentenças, valor lógico, princípio da não contradição. Interpretações de LPO's.
Símbolos funcionais
20 Setembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 4, 5, 6 e 7.