AUTOR : Gersting, Judith L.
Universidade do Havaí em Hilo
Descrição
Esta quinta edição de "Fundamentos Matemáticos para a Ciência da
Computação" cobre todos os tópicos contidos no núcleo de estruturas
discretas do CC2001 e muitos outros. Todos os tópicos sugeridos para uma versão
de um semestre e praticamente tudo sugerido para uma versão de dois semestres
de uma disciplina na área de estruturas discretas estão cobertos neste livro.
As novidades desta edição incluem:
- uma nova seção sobre probabilidade no Cap. 3
- uma nova subseção sobre valores nulos e lógica ternária na Seção 4.3
- uma nova subseção sobre aplicações dos códigos de Huffman na Seção 5.4
- uma nova subseção sobre circuitos seqüenciais e máquinas de estado finito
na Seção 8.2
A seção sobre pontos de articulação e redes de computadores foi retirada do
Cap. 6; o algoritmo não está entre os algoritmos mais conhecidos sobre gráficos
e muitos revisores indicaram que não costumam cobrir esse material. Diversos
novos tópicos interessantes foram introduzidos através de discussões,
exemplos ou exercícios, incluindo:
- conectivos lógicos em pesquisas na Internet
- lógica ternária e com diversos valores possíveis
- paradoxo lógico
- utilização de relação de recorrência para encontrar o tempo de busca médio
em um disco
- números de Catalan
- Torres de Hanói
- análise do caso médio da busca seqüencial
- contagem de padrões de malabarismo
- contagem de endereços IP
- código ISBN como aplicação da função módulo n
- sistemas criptográficos como aplicação da função módulo n
- algoritmo de Strassen para a multiplicação de matrizes
- árvore B de ordem 5
- Document Type Definition (Definição do Tipo de Documento) como gramática
para um documento XML
Foram adicionados mais de 200 exemplos, problemas práticos e exercícios novos.
São dadas respostas para todos os problemas práticos no final do livro, assim
como para os exercícios assinalados.
Sumário
1. LÓGICA FORMAL
2. DEMONSTRAÇÕES, RECORRÊNCIA E ANÁLISE DE ALGORITMOS
3. CONJUNTOS, COMBINATÓRIA E PROBABILIDADE
4. RELAÇÕES, FUNÇÕES E MATRIZES
5. GRAFOS E ÁRVORES
6. ALGORITMOS PARA GRAFOS
7. ÁLGEBRA DE BOOLE E LÓGICA COMPUTACIONAL
8. MODELAGEM ARITMÉTICA, COMPUTAÇÃO E LINGUAGENS
Apêndice A: Notação de Somatório
Apêndice B: A Função Logaritmo
