Fundamentos matematicos para a ciencia da computacao um tratamento moderno de matemática discreta

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. Diversos assuntos 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; e muito mais. Foram adicionados mais de duzentos 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.