Fundamentos Matemáticos para a Ciência da Computaçã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 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

# (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.