15MAT

Ementa Tópicos em Matemática Básica. Teoria dos Conjuntos: definições, representação dos conjuntos, relações e operações. Funções de uma variável real. Inequações. Lógica proposicional. Proposições e conectivos. Operações lógicas sobre proposições. Construção de tabelas-verdade. Tautologias, contradições e contingências. Implicação lógica. Equivalência lógica. Álgebra das proposições. Métodos para determinação da validade de fórmulas da lógica proposicional. Árvores de refutação. Álgebra booleana.