CONTEUDO
1. PROPOSIÇÕES E CONECTIVOS. (20 horas/aula)
2. ÁLGEBRA DE CONJUNTOS (06 horas/aula)
3. ÁLGEBRA DE BOOLE (06 horas/aula)
4. ARGUMENTOS LOGICAS
5. CIRCUITOS, ÁRVORES DE REFUTAÇÃO,
6. CÁLCULO DE PREDICADOS, DECIDIBILIDADE
REFERENCIAS:
[1]. Elliott Mendelson. Theory and problems of Boolean algebra and switching circuits.
Schaum's outline series, McGraw-Hill Book Company, New York etc. 1970.
[2]. Judith L. Gersting. “Fundamentos matemáticos para a ciência da computação": Matemática Discreta e Suas Aplicações- 7º Ed., 2016.
[3] Alencar Filho, Edgard “Iniciação à Lógica Matemática” – Editora Nobel. 1913