TEMA ESTUDO DIRIGIDO

CURSO: ESCOLA DE COMPUTAÇÃO

DISCIPLINA: LÓGICA APLICADA À COMPUTAÇÃO

TEMA 1:
1. Cálculo proposicional
1.1 - Proposição.
1.2 - Operações lógicas (conectivos).
1.3 - Construção de tabelas verdade.
1.4 - Relação de implicação e equivalência lógica.

2. Argumentos válidos.
2.1 - Regras de inferência.
2.2 - Tradução e interpretação de argumentos verbais.
2.3 - Métodos de dedução de argumentos: prova direta e indireta.

TEMA 2:
2. Argumentos válidos.
2.3 - Métodos de dedução de argumentos: prova direta e indireta.
3.Operação
3.1 - Conceito de operação
3.2 - Propriedades das operações
TEMA 3:
4. Estrutura algébrica.
4.1 - Conceito.
4.2 - Operação booleana.
4.2 - Definição de álgebra de Boole: axiomas booleanos
4.3 - Circuitos digitais: otimização e simplificação de circuitos pelo método booleano.
4.4 – Relações de Consequência, Completude, Corretude, Compacidade.

BIBLIOGRAFIA:

Básica
• Daghlian, Jacob. LÓGICA E ÁLGEBRA DE BOOLE. 4.ed. SAO PAULO: ATLAS, 1995. 155p. ISBN 85-224-1256-
1. Editora Atlas. 517.11 D127L
• Filho, Edgard de Alencar. INICIAÇÃO À LÓGICA MATEMÁTICA. SAO PAULO: NOBEL, 1999. 203p. ISBN 85-
213- 0403-X. 517.11 A353i
• Gersting, Judith L.. FUNDAMENTOS MATEMÁTICOS PARA A CIÊNCIA DA COMPUTAÇÃO. 3.ED. RIO DE
JANEIRO: LTC, 1995. 517P. ISBN 85-216-1041-6. 005.131 G328f
Complementar
• Menezes, Paulo Blauth. HAEUSLER, EDWARD HERMANN. TEORIA DAS CATEGORIAS PARA CIENCIA DA
COMPUTACAO. PORTO ALEGRE: SAGRA-DC LUZZATTO, 2001. 324P. ISBN 85-241-0662-X.512.58 M512t
• Souza, João Nunes. LOGICA PARA CIENCIA DA COMPUTACAO: FUNDAMENTOS DE LINGUAGEM,
SEMANTICA E SISTEMA DE DEDUCAO. RIO DE JANEIRO: CAMPUS, 2002. 308P. ISBN 85-352-1093-8. 005.131
S715L