Sinopse: Lógica para Ciência da Computação apresenta, de forma concisa, os primeiro e principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas afins como: Lógica para Concursos, Argumentação Lógica, Matemática, Engenharias, Filosofia e Direito. Para estudar seu conteúdo não é necessário nenhum pré-requisito, nem mesmo maturidade matemática. Porém, mesmo sendo uma obra introdutória, temos o cuidado com a apresentação matemática rigorosa e com a demonstração dos resultados mais elementares. O livro pode ser utilizado em disciplinas de graduação ou pós-graduação, em cursos das áreas de Computação, Matemática e Engenharia. Outra aplicação é na fundamentação de requisitos necessários à Lógica para Concursos e Argumentação Lógica para Advogados.
Capa comum: 362 páginasEditora: Elsevier; Edição: 3ª (17 de dezembro de 2014)Idioma: PortuguêsISBN-10: 8535278249ISBN-13: 978-8535278248Dimensões do produto: 23,6 x 16,5 x 2 cmPeso de envio: 581 g
Biografia: João Olavo Soares de Souza, mais conhecido como Feijão, é um ex-tenista profissional do Brasil. Ele já foi número 69 em simples e 70 em duplas no ranking da ATP.
