Lógica para Ciência Da Computação

Este livro apresenta, de forma concisa, os primeiros e principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas correlatas como Matemática, Filosofia, Engenharias e Direito. Para estudar seu conteúdo não é necessário 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 disciplinas de Lógica. Em uma disciplina de dois semestres para alunos do início da graduação, ou semestral no final da graduação. Outra possibilidade é utilizá-lo na pós-graduação, caso em que todas as demonstrações e exercícios devem ser considerados em detalhe.