Sacola
Descrição
Encadernação: Brochura
Páginas: 240
Edição: 2
Peso: 363 g
ISBN: 9788522127184
Medidas: 230 x 160
ID: 1677621
Ano: 2017
Conservação: Muito bom. Lombada e capas com pouco desgaste poucos sinais de manuseio e de oxidação no conteúdo impresso.
Tags
Mais Detalhes
Resenha
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.
