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

ISBN-10: 852210851X

ISBN-13: 9788522108510

© 2006

244 Páginas

Preço: Sob consulta

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.

Parte I – Lógica Proposicional.
1. Lógica Proposicional: Linguagem e Semântica.
2. Sistemas Dedutivos.
3. Aspectos Computacionais.

Parte II – Lógica de Predicados.
4. Lógica de Predicados Monádicos.
5. Lógica de Predicados Poliádicos.

Parte III – Verificação de Programas.
6. Especificação de Programas.
7. Verificação de Programas.

Livro-texto para as disciplinas lógica e métodos formais nos cursos de graduação e pós-graduação em Ciências 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.