Sumários
20 Setembro 2022, 09:30
•
Maria da Purificação Antunes Coelho
Apresentação.
Objetivos e método de avaliação na disciplina.
Tabela de verdade da implicação; antecedente e consequente de uma implicação.
Método direto para demonstrar uma implicação - explicação do método e exemplo ilustrativo.
20 Setembro 2022, 08:00
•
Maria da Purificação Antunes Coelho
Exercício 5 e algumas alíneas do exercício 4.
Tabelas de verdade da conjunção, da disjunção, da negação, da implicação e da equivalência. Exemplos de fórmulas logicamente equivalentes. Exemplos de tautologias.
19 Setembro 2022, 13:30
•
Maria da Purificação Antunes Coelho
Apresentação. Resolução parcial dos exercícios 1, 2 e 3.
19 Setembro 2022, 13:30
•
Mário João de Jesus Branco
Breve apresentação da disciplina e modo de funcionamento das aulas. Divisão inteira. Resolução do Exerc. 1.
Sistemas de numeração. Exemplos.
19 Setembro 2022, 11:00
•
Mário João de Jesus Branco
Breve apresentação da disciplina e modo de funcionamento das aulas. Divisão inteira. Resolução do Exerc. 1.
Sistemas de numeração. Exemplos. Resolução parcial do Exerc. 2.