IF240 - Álgebra Aplicada à Computação

 

Pré-requisitos

Não há

Ementa

1. Conjuntos
2. Relações e funções
3. Restrição
4. Fecho
5. Contar
6. Indução e recursão
7. Sistemas algébricos e relacionais
8. Reticulados
9. Álgebras Booleanas.

Referências

1. Paul Halmos, TEORIA INGfENUA DOS CONJUNTOS, Editora Polígono, 1970.
2. Kenneth Ross and Charles Wright, DISCRETE MATHEMATICS, Prentice-Hall, 1988
3. J. P. Tremblay and R. Monohar, DISCRETE MATHEMATICAL STRUCTURE WITH APPLICATIONS TO COMPUTER SCIENCE McGraw-Hill, 1975
4. Bobrow and Arbib, DISCRETE MATHEMATICS APPLIED ALGEBRA FOR COMPUTER AND INFORMATION SCIENCE, W. B. Saunders Co., 1974