- 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. FilhoAvez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
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.
Catégories:
Année:
2011
Edition:
1st
Editeur::
Cengage Learning
Langue:
portuguese
ISBN 10:
8522115958
ISBN 13:
9788522115952
Fichier:
PDF, 1.84 MB
Vos balises:
IPFS:
CID , CID Blake2b
portuguese, 2011
Le fichier sera envoyé à votre adresse de courriel dans 1 à 5 minutes.
Dans 1-5 minutes, le fichier sera delivré à votre compte Telegram.
Note : Assurez-vous que vous avez lié votre compte au bot Telegram de Z-Library.
Dans 1-5 minutes, le fichier sera delivré à votre appareil Kindle.
Remarque: vous devez valider chaque livre avant de l'envoyer à Kindle. Veuillez vérifier votre messagerie pour voir le mail avec la confirmation par Amazon Kindle Support.
La conversion en est effectuée
La conversion en a échoué
Avantages du statut Premium
- Envoyez aux e-lecteurs
- Limite de téléchargement augmentée
- Convertissez des fichiers
- Plus de résultats de recherche
- Autres avantages