Livro Usado
LÓGICA PARA COMPUTAÇÃO
FLÁVIO SOARES CORREA DA SILVA, MARCELO FINGER E ANA CRISTINA VIEIRA DE MELO
Quantidade limitada no estoque. Envio imediato.
Editora thomson
Área COMPUTAÇÃO
Idioma Português
Número de páginas 244
Edição 2006
ISBN 8522105170
EAN 9788522105175
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