Fundamentos matemáticos para a ciência da computação: Matemática Discreta e Suas Aplicações

Description

Assim como a representação binária é o fundamento matemático do próprio computador, as ideias da matemática discreta são os fundamentos matemáticos da ciência da computação. Esta sétima edição continua a abordagem amigável das edições anteriores dirigida ao estudante, com explicações claras, muitos exemplos e auxílios para sua aprendizagem, como problemas práticos, lembretes, objetivos dos capítulos, revisões das seções e revisões dos capítulos. Foram adicionadas muitas características novas, e uma lista completa delas pode ser encontrada no prefácio deste livro. Uma inovação desta edição de Fundamentos Matemáticos para a Ciência da Computação – Matemática Discreta e Suas Aplicações é que, no final do livro, são dadas as respostas de todos os exercícios ímpares, em vez de apenas as respostas de alguns exercícios selecionados. Quando o exercício pede uma demonstração, é dada a demonstração completa. Em outros casos, é dada apenas uma resposta, não necessariamente a solução. O Guia de Estudos Online, disponível no site da LTC Editora – GEN | Grupo Editorial Nacional, mediante cadastro, contém amostras de problemas com soluções passo a passo que correspondem a muitas das técnicas nos finais das seções do livro. Cada técnica que tem uma página correspondente na internet está marcada com um ícone no texto. Prefácio Nota ao Estudante CAPÍTULO 1 Lógica Formal CAPÍTULO 2 Demonstrações, Indução e Teoria dos Números CAPÍTULO 3 Recursividade, Relações de Recorrência e Análise de Algoritmos CAPÍTULO 4 Conjuntos, Combinatória e Probabilidade CAPÍTULO 5 Relações, Funções e Matrizes CAPÍTULO 6 Grafos e Árvores CAPÍTULO 7 Algoritmos para Grafos CAPÍTULO 8 Álgebra de Boole e Lógica Computacional CAPÍTULO 9 Modelagem Aritmética, Computação e Linguagens APÊNDICE A Regras de Dedução para a Lógica Proposicional e para a Lógica de Predicados APÊNDICE B Notações de Somatório e de Produtório APÊNDICE C A Função Logaritmo Respostas dos Problemas Práticos Respostas dos Exercícios Ímpares Respostas dos Autotestes