LÓGICA PARA CIÊNCIA DA COMPUTAÇÃO

Este livro apresenta os principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas correlatas. São apresentadas a Lógica Proposicional e a de Predicados, que são essenciais na formação de profissionais de Ciência da Computação e também daqueles que se interessam pelo conhecimento da Lógica, como filósofos, matemáticos, físicos, engenheiros advogados, administradores, etc. O livro não requer nenhum pré-requisito, nem mesmo maturidade matemática. Mas, mesmo sendo introdutório, há uma ênfase na apresentação matemática rigorosa e no desenvolvimento de demonstrações mais elementares. Ele pode ser utilizado como livro-texto em diversos tipos de cursos de Lógica.