1ª SEMANA - APRESENTAÇÃO DA DISCIPLINA/INTRODUÇÃO AO PENSAMENTO MATEMÁTICO
Programa da disciplina
Introdução ao Pensamento Matemático
Lógica Matemática (texto básico)
Livro:
Teoria Elementar dos Conjuntos, Edgard de Alencar Filho
2ª SEMANA - DEFINIÇÃO DO CÁLCULO PROPOSICIONAL: PROPOSIÇÕES E OPERADORES LÓGICOS; CONSTRUÇÃO DE TABELAS-VERDADE
3ª SEMANA - TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS; RELAÇÃO DE CONSEQUÊNCIA LÓGICA; REGRA DA SUBSTITUIÇÃO E ESQUEMAS DE TAUTOLOGIAS; LEIS DA LÓGICA
4ª SEMANA - MÉTODO DEDUTIVO DA LÓGICA SENTENCIAL; REGRAS NÃO-HIPOTÉTICAS E HIPOTÉTICAS
5ª SEMANA - ESTRATÉGIAS DE PROVA/PROVAS DE TEOREMAS
Soluções dos exercícios da lista 4
6ª SEMANA - PROVAS DE EQUIVALÊNCIAS
Soluções dos exercícios da lista 5
7ª SEMANA - LÓGICA DE PREDICADOS: PREDICADOS E QUANTIFICADORES; MÉTODO DEDUTIVO DO CÁLCULO DE PREDICADOS (REGRAS IU, EU)
8ª SEMANA - MÉTODO DEDUTIVO DO CÁLCULO DE PREDICADOS (REGRAS IE, EE)
9ª SEMANA - PROVA
10ª SEMANA - CONJUNTOS: DEFINIÇÃO; RELAÇÃO DE PERTINÊNCIA; E CONJUNTOS ESPECIAIS
11ª SEMANA - CONJUNTOS: IGUALDADE; INCLUSÃO; COMPLEMENTAR; SUBCONJUNTOS
12ª SEMANA - CONJUNTOS: OPERAÇÕES E PROPRIEDADES
13ª SEMANA - GRAFOS
14ª SEMANA - RELAÇÕES BINÁRIAS: DEFINIÇÃO; OPERAÇÕES; E PROPRIEDADES
15ª SEMANA - RELAÇÕES BINÁRIAS: DEFINIÇÃO; OPERAÇÕES; E PROPRIEDADES
16ª SEMANA - RELAÇÕES BINÁRIAS, FUNÇÕES
Propriedades das relações de um conjunto e funções
17ª SEMANA - RELAÇÕES BINÁRIAS, FUNÇÕES
18ª SEMANA - PROVA