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, Eng enharias, 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.

Autor	DE, SOUZA
Editora	LTC - GEN
ISBN	8535278249
EAN	9788535278248
Categoria	Computação e Informática / Geral
Assunto	Engenharia de Computação
Páginas	362
Número da Edição	3
Ano da Edição	2014