A obra 'Lógica para Computação' apresenta de forma original e introdutória os fundamentos da lógica matemática para estudantes de Ciência da Computação, destacando a importância dos métodos formais na resolução de problemas. Em sua segunda edição, inclui novos exercícios e ferramentas de apoio.
LÓGICA PARA COMPUTAÇÃO
TÍTULO: LÓGICA PARA COMPUTAÇÃO
AUTOR: FLÁVIO SOARES CORRÊA DA SILVA; MARCELO FINGER; ANA CRISTINA VIEIRA DE MELO
EDITORA: EDITORA CENGAGE
ISBN-13: 978-85-2212-718-4
ISBN-10: 85-2212-718-2
ANO DA EDIÇÃO: 2017
EDIÇÃO:2
PÁGINAS: 256
DIMENSÕES: 23 x 16 x 1.5 cm
PESO: 360 g
ENCADERNAÇÃO: BROCHURA
ASSUNTO: Ciências Exatas - Matemática
















