Lógica Para Computação

Editora: Cengage (veja mais livros desta editora)
Autor(es): Flávio Soares Corrêa Da Silva (veja mais livros deste autor)

por: R$ 79,90 Em 3x de: R$ 26,63 No boleto: R$ 79,90 para Associados CAASC
por: R$ 63,92

Comprar
Em estoque: Previsão de postagem em até 1 dia útil após a confirmação do pagamento, mais o tempo de transporte.
Consulte aqui o valor do frete e prazo de entrega do produto
Opção de parcelamento via cartão de crédito
  • 1x de R$ 79,90 sem juros
  • 2x de R$ 39,95 sem juros
  • 3x de R$ 26,63 sem juros
Avalie:

Ficha técnica

Código de barras:
9788522127184
Dimensões:
1.50cm x 16.00cm x 23.00cm
Edição:
2
Editora:
Cengage
ISBN:
8522127182
ISBN13:
9788522127184
Número de páginas:
256
Peso:
360 gramas
Encadernação:
Brochura

Sinopse

Lógica para computação apresenta um texto original em português que, sem perder a abordagem introdutória, expõe rigor matemático e profundidade ade¬quados 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 ma¬temáticos rigorosos para a resolução de problemas e, acima de tudo, a enor¬me importância dos 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. Em sua segunda edição, a obra apresenta novos exer¬cícios e sugestões de ferramentas de apoio aos temas apresentados.