Ementa Oficial - Introdução à lógica. Álgebra de variáveis lógica. Diagrama de Venn. Implementação de sistema Lógico. Operações lógicas sobre proposições. Tabelas-Verdade para proposição compostas. Relação de implicação e equivalência. Argumentos válidos. A Álgebra dos conjuntos com a lógica proposicional. Álgebra de Boole. Simplificação de funções lógicas.
Conteúdo Programático
- Parte A – Lógica Proposicional
- Argumento x Conteúdo;
- Proposições;
- Equivalências Lógicas.
- Parte B – Álgebra de Boole
- Álgebra Booleana;
- Simplificação por postulado da Álgebra;
- Simplificação por mapa de Karnaugh.
Processo de Avaliação
- Conceito final será obtido através da média ponderada das notas obtidas nas seguintes atividades:
- Exercícios Individuais e Trabalhos Práticos Individuais e/ou em Equipe - Divulgados em sala de aula, ou através da lista de discussão e/ou Web Site e Blog - Peso 3;
- Provas Escritas Individuais - Qualquer data a partir do dia 31 de outubro - Peso 5;
- Freqüência efetiva em aula - Peso 2.
- ALENCAR FILHO, Edgard de. Iniciação à Lógica Matemática. São Paulo: Editora Nobel, 2002.
- DAGHLIAN, Jacob. Lógica e álgebra Boole. São Paulo: Editora Atlas, 1990.
- EDERTON, H.B.A Mathematical Introduction to Logic, Academic Press, 2201.
- GALLIER, J.H, Logic for Computer Science: Fooundation fo Automatic Theorem Proving, Wiley, 1987.
- NOLT, Jonh; ROHATYN, Dennis. Lógica. São paulo: Makron Books, 1991.
- SOARES CORRÊA DA SILVA, Flávio. FINGER, Marcelo. CRISTINA VIEIRA DE MELO, Ana. Lógica para Computação. São Paulo: Editora Thompson, 2006.
