Fundamentos matemáticos para computação: lógica e álgebra

Esta obra trata de dois fundamentos da Ciência da Computação: A Lógica Matemática e a Álgebra Superior. Ambas suportam o desenvolvimento da Computação das últimas décadas e se tornam, assim, obrigatórias à perfeita compreensão dos conteúdos específicos dessa ciência e a pesquisa acadêmica nessa área. Ao estudar a Lógica Matemática, além do Cálculo Proposicional e do Cálculo de Quantificadores, estudamos também as regras de raciocínio. A Teoria dos Conjuntos decorre como consequência natural da Lógica Matemática, em particular do Cálculo Proposicional e do Cálculo de Quantificadores, e por isso também é tratada nesta obra. Como opção ao processo de simplificação de fórmulas do Cálculo Proposicional, realizado em um primeiro momento pela aplicação de equivalências lógicas, apresentamos os Diagramas de Karnaugh, que sistematizam este processo. Ao tratar da Álgebra Superior, estudamos os monoides, grupos, anéis e corpos, ou de forma geral, as diversas estruturas algébricas, entre elas a álgebra Booleana, em particular, a álgebra mínima ou álgebra dos computadores, a famosa álgebra dos zeros e uns.