Can I read Introdução à Lógica Matemática on EtoBox?

Introdução à Lógica Matemática by Carlos Alberto F. Bispo, Luiz B. Castanheira, Oswaldo Melo S. Filho is a nonfiction available to read on EtoBox.

What is Introdução à Lógica Matemática about?

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.

Who reads Introdução à Lógica Matemática?

Author

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

Publisher

Cengage Learning Edições Ltda

Published

2011

Language

PT

ISBN

9788522115952

Category

nonfiction

Subjects

Mathematics, Logic, Stem