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

ISBN-10: 8522127182

ISBN-13: 9788522127184

© 2017

256 Páginas

Preço: R$ 85,90

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.

  • Livro-texto para as disciplinas lógica e métodos formais nos cursos de graduação e pós-graduação em Ciência da Computação, Matemática e Filosofia. Leitura complementar para a disciplina fundamentos matemáticos da computação. Leitura recomendada também para profissionais e todos aqueles que, direta ou indiretamente, lidam com métodos formais e matemáticos para a resolução de problemas.
  • Nesta nova edição foram acrescentados novos exercícios e sugestões de ferramentas, disponíveis gratuitamente na internet, desenvolvidas por diversos grupos de pesquisas em muitos países.

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