Lógica para Computação -

Flávio Soares C. da Silva, Marcelo Finger, Ana C. V. de Melo

Thomson Learning

2006

244 páginas

8h 8m

ISBN-10: 8522105170

Português Brasileiro

O livro apresenta um texto original em português que, sem perder a abordagem introdutória, expõe rigor matemático e profundidade adequados para o público-alvo. A obra apresenta os fundamentos e métodos da lógica matemática para estudantes de Ciência da Computação, permitindo-lhes apreciar os benefícios e as dificuldades advindos da aplicação de métodos formais - e mais especificamente dos métodos fundamentados em lógica formal - para as diversas facetas e ramificações da Ciência da Computação.

Resenhas (1)

5 (Perfeito)

Um bom livro para iniciantes

Este é o livro que uso como base para meus cursos de "Lógica para Computação" na UTFPR. Vai direto ao ponto sem deixar de ser matematicamente preciso.

Falha:
- Alguns (talvez até demais) erros de digitação. E não há errata disponível no site do livro.