Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Ciência da Computação
Matemática Discreta (IF670)
Descrição:
De que se trata?
Diferentemente de Cálculo que estuda as chamadas estruturas
matemáticas contínuas, aqui estudaremos a
matemática que envolve apenas estruturas matemáticas
discretas e/ou finitas: números inteiros, recorréncias, grafos,
árvores. A idéia é prover ferramentas básicas
para o projeto e a análise de algoritmos (veja também: Algorithm - Abu Ja'far Mohammed ibn-Musa al-Khwarizmi was an Arab..."), e para isso
é preciso saber contar e estimar muito bem.
Importância para o profissional da Informática
Ferramentas básicas para o estudo de algoritmos, termo que
tem origem no nome do criador dos primeiros métodos de cáculo
baseados em algarismos arábicos: Abu Ja'far Muhammad ibn Musa Al-Khwarizmi.
.
Conteúdo do Curso
Estudaremos:
1. Noções básicas: proposições, provas/demonstrações
2. Indução e recursão. Aplicações
3. Conjuntos, cardinalidade, funções, relações
4. Estruturas algébricas: ordens, reticulados
5. Álgebras booleanas
6. Noções básicas de lógica proposicional
7. Algoritmos aritméticos: mdc, teste de primos, modularidade, criptografia
8. Noções básicas de combinatória: permutações, combinações,
inclusão-exclusão
9. Grafos e Árvores
Bibliografia Básica
Livros-texto
Livro complementar
Matemática Concreta - Fundamentos para a Ciência da Computação, R. Graham, D. Knuth & O. Patashnik.
Livros Ténicos e Científicos Editora, 1995.
(Tradução de Concrete Mathematics - A Foundation for
Computer Science, Addison-Wesley, 1994.)
Última atualização: 7 de Abril de 2005, 09:33:57hs