Ementa/Descrição: |
Lógica elementar (Estrutura das Proposições, Métodos de
demonstrações). Sentenças e seus conectivos. Raciocínio dedutivo. Conjuntos.
Operações entre conjuntos. Paradoxo de Russel. Famílias indexadas. Relações e
funções. Partições e relações de equivalência. Conjuntos enumeráveis, não
enumeráveis, finitos e infinitos. Equipotência. Números cardinais e aritmética
cardinal. |