Aula teórica 1
18 Setembro 2018, 09:30 • Maria da Purificação Antunes Coelho
Apresentação. Objetivos e programa da disciplina. Descrição do método de avaliação. Asserções e seus valores lógicos - alguns exemplos. Introdução ao estudo das operações lógicas sobre asserções.