Faculdades Integradas Espírito-Santenses
Unidade de Computação e Sistemas
Curso de Ciência da Computação
Disciplina: Lógica Matemática - 2009/2
Prof. Henrique Monteiro Cristovão

Roteiro de Estudos através de Exercícios

Avaliações

Prova
Conteúdo
Referência livro texto
Exercícios
1ª prova
Representação simbólica cap 1: seções 1.1 e 1.2

1 a 19

Tabela verdade

Equiv. Notáveis e regras de dedução

2ª prova
Quantificadores, predicados e validade cap 1: seção 1.3, 1.4 e 1.5

20 a 32

Lógica de predicados

Programação lógica com Prolog

3ª prova
Minimização pelo método algébrico cap 7: seções 7.1, 7.2 e 7.3

33 a 50

Forma normal disjuntiva

Minimização pelo Mapa de Karnaugh

Circuitos com portas lógicas

Bibliografia básica

GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática discreta. 5. ed. Rio de Janeiro: LTC, 2004. Capítulos 1 e 7.

Exercícios referentes à primeira avaliação: 1 a 19.

1. Classifique os argumentos abaixo em ( I ) para indutivo e ( D ) para dedutivo.
( ) Premissa : "Todo homem é mortal."
Premissa : "João é homem." Conclusão : "João é mortal."

( ) Premissa : "É comum após a chuva ficar nublado."
Premissa : "Está chovendo."
Conclusão: "Ficará nublado."

( ) Premissa : "As aves tem penas."
Premissa : "Urubu é um animal que tem bico."
Premissa : "Animal que tem bico é uma ave."
Conclusão: "Urubu tem pena."

( ) Premissa : "A maioria das aves voam."
Premissa : "Galinha é uma