Introdução à Lógica Matemática -

Carlos Alberto F. Bispo, Luiz B. Castanheira, Oswaldo Melo S. Filho

Cengage Learning

2012

208 páginas

6h 56m

ISBN-10: 852211126X

Português Brasileiro

Esta obra foi escrita por docentes da Academia da Força Aérea (AFA), responsáveis pela disciplina Lógica Matemática, e tem por objetivo dar ao leitor o fundamento introdutório necessário para o estudo aprofundado da Lógica e suas aplicações, além de suprir uma deficiência bibliográfica de textos mais acessíveis e didáticos. Para tanto, este livro é composto de uma parte inicial, em que o Cálculo Proposicional é apresentado com conectivos, tabelas-verdade, tautologias mais relevantes, formalização de argumentos e prova de sua validade ou invalidade. Na segunda parte é apresentado o Cálculo de Predicados com a prova de validade de argumentos usando o quantificador universal e o existencial. Em cada capítulo, o conteúdo é ilustrado com exemplos esclarecedores, seguidos por exercícios resolvidos, cuja finalidade é levar o aluno a entender a lógica matemática, além dos exercícios propostos, os quais o leitor deverá resolver e conferir com a resolução apresentada pelos autores.

Resenhas (1)

5 (Perfeito)

Introdução a lógica matemática

Ótimo livro! Utilizei para estudar para a matéria de lógica do meu curso de engenharia da computação como principal fonte de estudo. Explicação perfeita e ótimos exercícios. Recomendo para quem tenha o mesmo objetivo!