Sumários
TP13 - aula 2
6 Outubro 2021, 12:30 • Maria da Purificação Antunes Coelho
Exercícios 1, 3, 4, 6 e 9 da secção 1.1
TP13 - aula 1
4 Outubro 2021, 13:30 • Maria da Purificação Antunes Coelho
Apresentação.
Discussão dos exercícios propostos como atividades iniciais na secção 1.1 do manual seguido na disciplina. Outros exemplos de asserções e respetivos valores de verdade.
Tabela de verdade da implicação.
TP 1
4 Outubro 2021, 11:00 • Fernando Ferreira
Breve apresentação.
Os sistemas numéricos principais e suas notações (naturais, naturais com zero, inteiros, racionais e reais). Propriedades de fechamento.
Asserções, asserções condicionais, asserções condicionais gerais. Antecedente e consequente duma asserção condicional. A tabela de verdade para o condicional (implicação) e para a disjunção.
Exercícios.
TP14 - aula 1
4 Outubro 2021, 11:00 • Maria da Purificação Antunes Coelho
Apresentação.
Discussão dos exercícios propostos como atividades iniciais na secção 1.1 do manual seguido na disciplina. Outros exemplos de asserções e respetivos valores de verdade.
Tabela de verdade da implicação.