Aula 1
19/09/12

Apresentação da disciplina: programa, avaliação, plano das aulas, atendimento aos alunos, página da disciplina.
0. Introdução: o que é a Matemática Discreta? Problemas motivadores: existência, contagem e optimização.
1. Fundamentos
1.1. Introdução à Lógica. Cálculo Proposicional. 

Sintaxe e semântica da lógica proposicional.