Lógica para ciência da computação (Português)

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áginas
Editora: Elsevier; Edição: 3ª (17 de dezembro de 2014)
Idioma: Português
ISBN-10: 8535278249
ISBN-13: 978-8535278248
Dimensões do produto: 23,6 x 16,5 x 2 cm
Peso de envio: 581 g