Sumários
Lógica dos conectivos booleanos
25 Setembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 8, 9, 13 alíneas (1)-(10) e 14.
T3
24 Setembro 2019, 10:30 • Mário Jorge Edmundo
Exemplos de interpretações de LPOs; notação prefixa e infixa para sentenças atómicas. Os conectivos booleanos da negação, conjunção e disjunção (inclusiva); nota sobre a colocação dos parênteses. Valor lógico de uma sentença com conectivos booleanos; tabelas de verdade.
Comparação da expressividade de duas linguagens e gramática
24 Setembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 10,11, 12 e 8.