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 desuprir 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.
Peso: | 0,22 kg |
Número de páginas: | 138 |
Ano de edição: | 2011 |
ISBN 10: | 852211126X |
ISBN 13: | 9788522111268 |
Altura: | 23 |
Largura: | 16 |
Comprimento: | 1 |
Edição: | 1 |
Idioma : | Português |
Tipo de produto : | Livro |
Assuntos : | Matemática |
Nós usamos cookies para melhorar a sua experiência no site e, ao continuar navegando, você concorda com essas condições. Acesse o nosso Portal de Privacidade para visualizar nossas Política de Privacidade, Política de Cookies e Termo de Compromisso e Uso do Site.
Avaliações