Disciplina: Introdução à Lógica

Código: MATL005

Carga horária: 80h

Pré-requisito: Não

Objetivos:

Compreensão dos fundamentos da matemática dedutiva nos fundamentos da lógica formal. Conceitos básicos de Lógica e da teoria intuitiva dos conjuntos, bem como da moderna teoria dos conjuntos (pós Cantor). Linguagem da teoria dos conjuntos.

Conteúdo Programático:

Relação dos fundamentos da lógica matemática com a lógica formal. A lógica da argumentação. O cálculo de proposições e a linguagem matemática. A álgebra das proposições, a álgebra da teoria dos conjuntos. Estrutura de textos matemáticos e Métodos de demonstrações. Sentenças e seus conectivos. Raciocínios dedutivo e indutivo. Conjuntos. Operações entre conjuntos. Paradoxo de Russel. Famílias indexadas. Relações e funções. Partições e relações de equivalência.

Referências Bibliográficas:

1. LIPSCHUTZ, Seymour. Teoria dos conjuntos. Coleção Schaum. Rio de Janeiro: McGraw-Hill, 1973.
2. LOCIKS, Júlio. Raciocínio Lógico e Matemático. Brasília: Vestcon, 2004
3. OLIVEIRA, Augusto J. Franco de. Lógica e Aritmética. Brasília: UnB, 2004.