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.