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.


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 4;
• 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.



Todo material aqui disponibilizado, ou foi obtido na Internet, ou foi desenvolvido por mim. Sempre que materiais de outros forem disponibilizados haverá a devida identificação do autor, a não ser que não haja qualquer referência a este no Site onde foi encontrado.

© Layout desenvolvido por Josiane Lima de Oliveira, todos os direitos reservados.