Lógica

Horários das aulas

MORAIS FILHO, Daniel Cordeiro de. Um convite à Matemática. 2. ed. Campina Grande: EDUFCG, 2007.
MENDELSON, E. Álgebra Booleana e Circuitos de Chaveamento. São Paulo: MacGraw Hill.
CASTRUCCI, B. Introdução à Lógica Matemática. GEEM, 1982.
SANT’ANNA, Adonai Schlup. O que e uma definicão. Barueri, SP: Manole, 2005.

Prova 1
- Conteúdo: Proposições: Conectivos; Operações sobre proposições; Tabelas-verdade; Tautologias, contradições e contingências; Implicação e equivalência (CAPÍTULOS 1 AO 6 DO LIVRO TEXTO)
- Valor: 10,0 pontos
- Data: 31/05/22 (terça-feira)
Prova 2
- Conteúdo: Álgebra das proposições; Formas normais, dualidade; Argumentos; Técnicas de demonstração (CAPÍTULOS 7 AO 13 DO LIVRO TEXTO)
- Valor: 10,0 pontos
- Data: 19/07/22 (terça-feira)
Avaliação 3
- Conteúdo: Sentenças abertas; Operações sobre sentenças abertas; Quantificadores (CAPÍTULOS 14 AO 17 DO LIVRO TEXTO) + Resumo sobre escrita matemática
- Tarefas a serem realizadas
- Valor: 10,0 pontos
- Data limite para entrega: 18/08/22 (quinta-feira)
PROVA FINAL
- Conteúdo: toda a matéria
- Valor: 10,0 pontos
- Data: 23/08/22 (terça-feira)

Média aritmética entre P1, P2 e P3 >= 7,0 —–> aprovado(a) (desde que não reprovado(a) por falta)
Média aritmética entre P1, P2 e P3 < 7,0 —–> Prova final (desde que não reprovado(a) por falta). Neste caso, média final >= 5,0 —–> aprovado(a).