Lógica matemática - uma introdução - 1ª Edição | 2020
R$73,00
2x de R$36,50    
1x R$73,00 sem juros 2x R$36,50 sem juros

Modelo:: Livro
Produto em estoque


Calcule o frete para sua região

Edição: 1ª Edição
Autor: José Carlos Magossi
Acabamento: Brochura
ISBN: 9786586253351
Ano de Publicação: 2020
Formato: 23 x 16 x 2 cm
Páginas: 232
Peso: 0.36kg


Sinopse

Lógica matemática é um assunto presente em muitos ramos do conhecimento: computação, engenharia, linguística, inteligência artificial, filosofia, matemática, eletrônica entre outros. Neste livro os principais conceitos da lógica clássica são apresentados com um adequado equilíbrio entre intuição, motivação e abordagem formal. Serve como uma boa introdução à argumentação matemática, desmistificando a temida palavra “demonstração”. Inicia com cálculo proposicional clássico e finaliza com cálculo de predicados de primeira ordem, sempre com a utilização do sistema de tableaux como método dedutivo alternativo ao axiomático, também apresentado na obra. Em linguagem acessível e didática, o texto traz bons exemplos e, sempre que possível, aproxima-se de questões do dia a dia. Em todos os capítulos, além de aplicações à matemática, há uma seção final com excelentes exercícios de fixação de conteúdo, seguidos por outros, mais sofisticados, indicados como atividade de pesquisa. Esta obra destina-se não apenas a alunos de graduação de diferentes cursos, mas também a leitores interessados em raciocínio lógico em geral. José Carlos Magossi é professor de matemática em ensino superior há mais de 30 anos. Na nicamp, fez mestrado em Lógica no Instituto de Filosofia e Ciências Humanas (IFCH), Doutorado em Engenharia Elétrica na Faculdade de Engenharia Elétrica e de Computação (FEEC), e é professor na Faculdade de Tecnologia (FT), Campus de Limeira. Suas linhas de pesquisa são análise matemática e seus fundamentos lógicos, ensino de matemática e teoria da informação.
Nota: HTML não suportado.
Avaliação
Ruim Bom

Etiquetas: Lógica, Matemática, Lógica Matemática, Cálculo Proposicional, Cálculo De Quantificadores, Tableaux Analíticos, Regras De Inferência.