- Main
- Mathematics - Logic
- Introdução à lógica matemática
Introdução à lógica matemática
Carlos Alberto F. Bispo, Luiz B. Castanheira, Oswaldo Melo S. FilhoQuanto Você gostou deste livro?
Qual é a qualidade do ficheiro descarregado?
Descarregue o livro para avaliar a sua qualidade
De que qualidade são os ficheiros descarregados?
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.
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.
Categorias:
Ano:
2011
Edição:
1st
Editora:
Cengage Learning
Idioma:
portuguese
ISBN 10:
8522115958
ISBN 13:
9788522115952
Arquivo:
PDF, 1.84 MB
As suas tags:
IPFS:
CID , CID Blake2b
portuguese, 2011
O arquivo será enviado para o email durante 1-5 minutos.
O arquivo será enviado a você através do Messenger Telegram. Pode levar de 1 a 5 minutos antes de recebê-lo.
NOTA: Verifique se você ligou a sua conta ao Telegram Bot da Z-Library.
O arquivo será enviado para sua conta do Kindle. Pode levar de 1 a 5 minutos antes de recebê-lo.
Nota: Você precisa verificar cada livro que envia para o Kindle. Verifique sua caixa de e-mail para um e-mail de confirmação do Amazon Kindle Support.
A converter para
Conversão para falhou
Benefícios do estatuto premium
- Envie para leitores eletrónicos
- Limite aumentado de download
- Converter ficheiros
- Mais resultados de pesquisa
- Outros benefícios