TELEVENDAS:
WHATSAPP
(31)
3612-2067
9 9819-5913
Meu Carrinho
0

Lógica para Computação - 2ª Edição

Cengage Learning
107692
0 avaliações

Lógica para Computação - 2ª Edição

Cengage Learning
107692
0 avaliações
Parcelas e formas de pagamento
Visa
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92
MasterCard
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92
Amex
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92
Elo
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92
Aura
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92
Jcb
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92
Diners
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92
Discover
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92
Hipercard
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92
Hiper
1 x R$ 88,90 (Sem Juros) Total Parcelado: R$ 88,90 2 x R$ 44,45 (Sem Juros) Total Parcelado: R$ 88,90 3 x R$ 29,63 (Sem Juros) Total Parcelado: R$ 88,90 4 x R$ 22,23 (Sem Juros) Total Parcelado: R$ 88,92

Gostaria de receber notificação quando este produto estiver disponível?

Calcular frete e prazo
Entrega Frete Prazo
Digite um CEP e clique no botão OK.

Sinopse:

A obra 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 matemáticos rigorosos para a resolução de problemas e, acima de tudo, a enorme 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 exercícios e sugestões de ferramentas de apoio aos temas apresentados.

 

Ficha Técnica:

2ª Edição

Autores: Flávio Soares Corrêa da Silva, Marcelo Finger, Ana Cristina Vieira de Melo

ISBN: 9788522127184

Ano: 2017

Páginas: 256

 

Capítulo 1 Lógica Proposicional: Linguagem e Semântica
Capítulo 2 Sistemas dedutivos
Capítulo 3 Aspectos Computacionais
Capítulo 4 Lógica de Predicados Monádicos
Capítulo 5 Lógica de predicados poliádicos
Capítulo 6 Especificação de programas
Capítulo 7 Verificação de Programas

Até o momento não há avaliações para esse produto.

Lógica para Computação - 2ª Edição

R$ 88,90

Newsletter

Cadastre seu e-mail e receba novidades e promoções.
Livraria UFV
-
livraria@ufv.br Avenida Peter Henry Rolfs, s/n, Caixa postal 334, Centro | 36570-900-Viçosa-MG | CNPJ: 02.414.568/0003-46