MATEMÁTICA DISCRETA PARA COMPUTAÇÃO E INFORMÁTICA

Matemática Discreta para Computação e Informática apresenta os principais conceitos e resultados de Matemática Discreta, usando uma linguagem simples e acessível a qualquer aluno de graduação, mas sem descuidar do desenvolvimento do raciocínio, nem dos aspectos teórico-formais. Sempre que possível, as construções apresentadas são instanciadas em casos aplicados a Computação e Informática, nas mais variadas matérias e disciplinas, como, por exemplo, Sistemas Operacionais, Bancos de Dados, Compiladores, Estruturas de Dados, Técnicas Digitais, Algoritmos, Complexidade de Algoritmos, Teoria da Computação, Linguagens Formais e Autómatos, Modelos para Concorrência, Semântica Formal, Teoria das Categorias, Programação, Paradigmas de Linguagens de Programação, etc. Este é um livro-texto para disciplinas dos cursos de graduação em Computação e Informática, de acordo com as Diretrizes Curriculares do MEC, bem como um livro de referência para diversos aspectos da computação em geral.